grid size = 6 max robots = 18 obstacles = 0.2 3455 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=1 --obstacle-probability=0.2 --seed=3455 --cnf-level=12 --cnf-file=grid_6x6_r1_3455.cnf ================================================================ reLOC 0.09-vegas : Grid Instance Generator (C) Copyright 2011-2013 Pavel Surynek ---------------------------------------------------------------- Phase statistics (current phase = 'root_phase') [ Phase (name = 'root_phase') [ Total SAT solver calls = 0 Satisfiable SAT solver calls = 0 Unsatisfiable SAT solver calls = 0 Indeterminate SAT solver calls = 0 Move executions = 0 Produced CNF variables = 576 Produced CNF clauses = 257 Search steps = 0 Wall clock TIME (seconds) = 0.005 CPU/machine TIME (seconds) = 0.000 ] ] 12 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=1 --obstacle-probability=0.2 --seed=12 --cnf-level=12 --cnf-file=grid_6x6_r1_12.cnf ================================================================ reLOC 0.09-vegas : Grid Instance Generator (C) Copyright 2011-2013 Pavel Surynek ---------------------------------------------------------------- Phase statistics (current phase = 'root_phase') [ Phase (name = 'root_phase') [ Total SAT solver calls = 0 Satisfiable SAT solver calls = 0 Unsatisfiable SAT solver calls = 0 Indeterminate SAT solver calls = 0 Move executions = 0 Produced CNF variables = 502 Produced CNF clauses = 272 Search steps = 0 Wall clock TIME (seconds) = 0.004 CPU/machine TIME (seconds) = 0.000 ] ] 45 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=1 --obstacle-probability=0.2 --seed=45 --cnf-level=12 --cnf-file=grid_6x6_r1_45.cnf ================================================================ reLOC 0.09-vegas : Grid Instance Generator (C) Copyright 2011-2013 Pavel Surynek ---------------------------------------------------------------- Phase statistics (current phase = 'root_phase') [ Phase (name = 'root_phase') [ Total SAT solver calls = 0 Satisfiable SAT solver calls = 0 Unsatisfiable SAT solver calls = 0 Indeterminate SAT solver calls = 0 Move executions = 0 Produced CNF variables = 313 Produced CNF clauses = 312 Search steps = 0 Wall clock TIME (seconds) = 0.003 CPU/machine TIME (seconds) = 0.000 ] ] 78 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=1 --obstacle-probability=0.2 --seed=78 --cnf-level=12 --cnf-file=grid_6x6_r1_78.cnf ================================================================ reLOC 0.09-vegas : Grid Instance Generator (C) Copyright 2011-2013 Pavel Surynek ---------------------------------------------------------------- Phase statistics (current phase = 'root_phase') [ Phase (name = 'root_phase') [ Total SAT solver calls = 0 Satisfiable SAT solver calls = 0 Unsatisfiable SAT solver calls = 0 Indeterminate SAT solver calls = 0 Move executions = 0 Produced CNF variables = 550 Produced CNF clauses = 265 Search steps = 0 Wall clock TIME (seconds) = 0.005 CPU/machine TIME (seconds) = 0.000 ] ] 8546 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=1 --obstacle-probability=0.2 --seed=8546 --cnf-level=12 --cnf-file=grid_6x6_r1_8546.cnf ================================================================ reLOC 0.09-vegas : Grid Instance Generator (C) Copyright 2011-2013 Pavel Surynek ---------------------------------------------------------------- Phase statistics (current phase = 'root_phase') [ Phase (name = 'root_phase') [ Total SAT solver calls = 0 Satisfiable SAT solver calls = 0 Unsatisfiable SAT solver calls = 0 Indeterminate SAT solver calls = 0 Move executions = 0 Produced CNF variables = 702 Produced CNF clauses = 234 Search steps = 0 Wall clock TIME (seconds) = 0.006 CPU/machine TIME (seconds) = 0.000 ] ] 474 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=1 --obstacle-probability=0.2 --seed=474 --cnf-level=12 --cnf-file=grid_6x6_r1_474.cnf ================================================================ reLOC 0.09-vegas : Grid Instance Generator (C) Copyright 2011-2013 Pavel Surynek ---------------------------------------------------------------- Phase statistics (current phase = 'root_phase') [ Phase (name = 'root_phase') [ Total SAT solver calls = 0 Satisfiable SAT solver calls = 0 Unsatisfiable SAT solver calls = 0 Indeterminate SAT solver calls = 0 Move executions = 0 Produced CNF variables = 839 Produced CNF clauses = 208 Search steps = 0 Wall clock TIME (seconds) = 0.006 CPU/machine TIME (seconds) = 0.000 ] ] 188 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=1 --obstacle-probability=0.2 --seed=188 --cnf-level=12 --cnf-file=grid_6x6_r1_188.cnf ================================================================ reLOC 0.09-vegas : Grid Instance Generator (C) Copyright 2011-2013 Pavel Surynek ---------------------------------------------------------------- Phase statistics (current phase = 'root_phase') [ Phase (name = 'root_phase') [ Total SAT solver calls = 0 Satisfiable SAT solver calls = 0 Unsatisfiable SAT solver calls = 0 Indeterminate SAT solver calls = 0 Move executions = 0 Produced CNF variables = 930 Produced CNF clauses = 187 Search steps = 0 Wall clock TIME (seconds) = 0.007 CPU/machine TIME (seconds) = 0.000 ] ] 7899 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=1 --obstacle-probability=0.2 --seed=7899 --cnf-level=12 --cnf-file=grid_6x6_r1_7899.cnf ================================================================ reLOC 0.09-vegas : Grid Instance Generator (C) Copyright 2011-2013 Pavel Surynek ---------------------------------------------------------------- Phase statistics (current phase = 'root_phase') [ Phase (name = 'root_phase') [ Total SAT solver calls = 0 Satisfiable SAT solver calls = 0 Unsatisfiable SAT solver calls = 0 Indeterminate SAT solver calls = 0 Move executions = 0 Produced CNF variables = 883 Produced CNF clauses = 206 Search steps = 0 Wall clock TIME (seconds) = 0.007 CPU/machine TIME (seconds) = 0.000 ] ] 9 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=1 --obstacle-probability=0.2 --seed=9 --cnf-level=12 --cnf-file=grid_6x6_r1_9.cnf ================================================================ reLOC 0.09-vegas : Grid Instance Generator (C) Copyright 2011-2013 Pavel Surynek ---------------------------------------------------------------- Phase statistics (current phase = 'root_phase') [ Phase (name = 'root_phase') [ Total SAT solver calls = 0 Satisfiable SAT solver calls = 0 Unsatisfiable SAT solver calls = 0 Indeterminate SAT solver calls = 0 Move executions = 0 Produced CNF variables = 703 Produced CNF clauses = 231 Search steps = 0 Wall clock TIME (seconds) = 0.006 CPU/machine TIME (seconds) = 0.000 ] ] 774 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=1 --obstacle-probability=0.2 --seed=774 --cnf-level=12 --cnf-file=grid_6x6_r1_774.cnf ================================================================ reLOC 0.09-vegas : Grid Instance Generator (C) Copyright 2011-2013 Pavel Surynek ---------------------------------------------------------------- Phase statistics (current phase = 'root_phase') [ Phase (name = 'root_phase') [ Total SAT solver calls = 0 Satisfiable SAT solver calls = 0 Unsatisfiable SAT solver calls = 0 Indeterminate SAT solver calls = 0 Move executions = 0 Produced CNF variables = 1016 Produced CNF clauses = 567 Search steps = 0 Wall clock TIME (seconds) = 0.010 CPU/machine TIME (seconds) = 0.000 ] ] 3455 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=2 --obstacle-probability=0.2 --seed=3455 --cnf-level=12 --cnf-file=grid_6x6_r2_3455.cnf ================================================================ reLOC 0.09-vegas : Grid Instance Generator (C) Copyright 2011-2013 Pavel Surynek ---------------------------------------------------------------- Phase statistics (current phase = 'root_phase') [ Phase (name = 'root_phase') [ Total SAT solver calls = 0 Satisfiable SAT solver calls = 0 Unsatisfiable SAT solver calls = 0 Indeterminate SAT solver calls = 0 Move executions = 0 Produced CNF variables = 1489 Produced CNF clauses = 492 Search steps = 0 Wall clock TIME (seconds) = 0.010 CPU/machine TIME (seconds) = 0.000 ] ] 12 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=2 --obstacle-probability=0.2 --seed=12 --cnf-level=12 --cnf-file=grid_6x6_r2_12.cnf ================================================================ reLOC 0.09-vegas : Grid Instance Generator (C) Copyright 2011-2013 Pavel Surynek ---------------------------------------------------------------- Phase statistics (current phase = 'root_phase') [ Phase (name = 'root_phase') [ Total SAT solver calls = 0 Satisfiable SAT solver calls = 0 Unsatisfiable SAT solver calls = 0 Indeterminate SAT solver calls = 0 Move executions = 0 Produced CNF variables = 1601 Produced CNF clauses = 465 Search steps = 0 Wall clock TIME (seconds) = 0.011 CPU/machine TIME (seconds) = 0.010 ] ] 45 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=2 --obstacle-probability=0.2 --seed=45 --cnf-level=12 --cnf-file=grid_6x6_r2_45.cnf ================================================================ reLOC 0.09-vegas : Grid Instance Generator (C) Copyright 2011-2013 Pavel Surynek ---------------------------------------------------------------- Phase statistics (current phase = 'root_phase') [ Phase (name = 'root_phase') [ Total SAT solver calls = 0 Satisfiable SAT solver calls = 0 Unsatisfiable SAT solver calls = 0 Indeterminate SAT solver calls = 0 Move executions = 0 Produced CNF variables = 1206 Produced CNF clauses = 553 Search steps = 0 Wall clock TIME (seconds) = 0.009 CPU/machine TIME (seconds) = 0.000 ] ] 78 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=2 --obstacle-probability=0.2 --seed=78 --cnf-level=12 --cnf-file=grid_6x6_r2_78.cnf ================================================================ reLOC 0.09-vegas : Grid Instance Generator (C) Copyright 2011-2013 Pavel Surynek ---------------------------------------------------------------- Phase statistics (current phase = 'root_phase') [ Phase (name = 'root_phase') [ Total SAT solver calls = 0 Satisfiable SAT solver calls = 0 Unsatisfiable SAT solver calls = 0 Indeterminate SAT solver calls = 0 Move executions = 0 Produced CNF variables = 1593 Produced CNF clauses = 478 Search steps = 0 Wall clock TIME (seconds) = 0.011 CPU/machine TIME (seconds) = 0.010 ] ] 8546 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=2 --obstacle-probability=0.2 --seed=8546 --cnf-level=12 --cnf-file=grid_6x6_r2_8546.cnf ================================================================ reLOC 0.09-vegas : Grid Instance Generator (C) Copyright 2011-2013 Pavel Surynek ---------------------------------------------------------------- Phase statistics (current phase = 'root_phase') [ Phase (name = 'root_phase') [ Total SAT solver calls = 0 Satisfiable SAT solver calls = 0 Unsatisfiable SAT solver calls = 0 Indeterminate SAT solver calls = 0 Move executions = 0 Produced CNF variables = 1814 Produced CNF clauses = 429 Search steps = 0 Wall clock TIME (seconds) = 0.012 CPU/machine TIME (seconds) = 0.010 ] ] 474 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=2 --obstacle-probability=0.2 --seed=474 --cnf-level=12 --cnf-file=grid_6x6_r2_474.cnf ================================================================ reLOC 0.09-vegas : Grid Instance Generator (C) Copyright 2011-2013 Pavel Surynek ---------------------------------------------------------------- Phase statistics (current phase = 'root_phase') [ Phase (name = 'root_phase') [ Total SAT solver calls = 0 Satisfiable SAT solver calls = 0 Unsatisfiable SAT solver calls = 0 Indeterminate SAT solver calls = 0 Move executions = 0 Produced CNF variables = 1769 Produced CNF clauses = 449 Search steps = 0 Wall clock TIME (seconds) = 0.012 CPU/machine TIME (seconds) = 0.000 ] ] 188 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=2 --obstacle-probability=0.2 --seed=188 --cnf-level=12 --cnf-file=grid_6x6_r2_188.cnf ================================================================ reLOC 0.09-vegas : Grid Instance Generator (C) Copyright 2011-2013 Pavel Surynek ---------------------------------------------------------------- Phase statistics (current phase = 'root_phase') [ Phase (name = 'root_phase') [ Total SAT solver calls = 0 Satisfiable SAT solver calls = 0 Unsatisfiable SAT solver calls = 0 Indeterminate SAT solver calls = 0 Move executions = 0 Produced CNF variables = 2073 Produced CNF clauses = 382 Search steps = 0 Wall clock TIME (seconds) = 0.014 CPU/machine TIME (seconds) = 0.000 ] ] 7899 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=2 --obstacle-probability=0.2 --seed=7899 --cnf-level=12 --cnf-file=grid_6x6_r2_7899.cnf ================================================================ reLOC 0.09-vegas : Grid Instance Generator (C) Copyright 2011-2013 Pavel Surynek ---------------------------------------------------------------- Phase statistics (current phase = 'root_phase') [ Phase (name = 'root_phase') [ Total SAT solver calls = 0 Satisfiable SAT solver calls = 0 Unsatisfiable SAT solver calls = 0 Indeterminate SAT solver calls = 0 Move executions = 0 Produced CNF variables = 1820 Produced CNF clauses = 442 Search steps = 0 Wall clock TIME (seconds) = 0.013 CPU/machine TIME (seconds) = 0.010 ] ] 9 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=2 --obstacle-probability=0.2 --seed=9 --cnf-level=12 --cnf-file=grid_6x6_r2_9.cnf ================================================================ reLOC 0.09-vegas : Grid Instance Generator (C) Copyright 2011-2013 Pavel Surynek ---------------------------------------------------------------- Phase statistics (current phase = 'root_phase') [ Phase (name = 'root_phase') [ Total SAT solver calls = 0 Satisfiable SAT solver calls = 0 Unsatisfiable SAT solver calls = 0 Indeterminate SAT solver calls = 0 Move executions = 0 Produced CNF variables = 1603 Produced CNF clauses = 467 Search steps = 0 Wall clock TIME (seconds) = 0.011 CPU/machine TIME (seconds) = 0.010 ] ] 774 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=2 --obstacle-probability=0.2 --seed=774 --cnf-level=12 --cnf-file=grid_6x6_r2_774.cnf ================================================================ reLOC 0.09-vegas : Grid Instance Generator (C) Copyright 2011-2013 Pavel Surynek ---------------------------------------------------------------- Phase statistics (current phase = 'root_phase') [ Phase (name = 'root_phase') [ Total SAT solver calls = 0 Satisfiable SAT solver calls = 0 Unsatisfiable SAT solver calls = 0 Indeterminate SAT solver calls = 0 Move executions = 0 Produced CNF variables = 2267 Produced CNF clauses = 1141 Search steps = 0 Wall clock TIME (seconds) = 0.020 CPU/machine TIME (seconds) = 0.010 ] ] 3455 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=3 --obstacle-probability=0.2 --seed=3455 --cnf-level=12 --cnf-file=grid_6x6_r3_3455.cnf ================================================================ reLOC 0.09-vegas : Grid Instance Generator (C) Copyright 2011-2013 Pavel Surynek ---------------------------------------------------------------- Phase statistics (current phase = 'root_phase') [ Phase (name = 'root_phase') [ Total SAT solver calls = 0 Satisfiable SAT solver calls = 0 Unsatisfiable SAT solver calls = 0 Indeterminate SAT solver calls = 0 Move executions = 0 Produced CNF variables = 2331 Produced CNF clauses = 786 Search steps = 0 Wall clock TIME (seconds) = 0.015 CPU/machine TIME (seconds) = 0.010 ] ] 12 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=3 --obstacle-probability=0.2 --seed=12 --cnf-level=12 --cnf-file=grid_6x6_r3_12.cnf ================================================================ reLOC 0.09-vegas : Grid Instance Generator (C) Copyright 2011-2013 Pavel Surynek ---------------------------------------------------------------- Phase statistics (current phase = 'root_phase') [ Phase (name = 'root_phase') [ Total SAT solver calls = 0 Satisfiable SAT solver calls = 0 Unsatisfiable SAT solver calls = 0 Indeterminate SAT solver calls = 0 Move executions = 0 Produced CNF variables = 2175 Produced CNF clauses = 820 Search steps = 0 Wall clock TIME (seconds) = 0.014 CPU/machine TIME (seconds) = 0.010 ] ] 45 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=3 --obstacle-probability=0.2 --seed=45 --cnf-level=12 --cnf-file=grid_6x6_r3_45.cnf ================================================================ reLOC 0.09-vegas : Grid Instance Generator (C) Copyright 2011-2013 Pavel Surynek ---------------------------------------------------------------- Phase statistics (current phase = 'root_phase') [ Phase (name = 'root_phase') [ Total SAT solver calls = 0 Satisfiable SAT solver calls = 0 Unsatisfiable SAT solver calls = 0 Indeterminate SAT solver calls = 0 Move executions = 0 Produced CNF variables = 1933 Produced CNF clauses = 876 Search steps = 0 Wall clock TIME (seconds) = 0.013 CPU/machine TIME (seconds) = 0.000 ] ] 78 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=3 --obstacle-probability=0.2 --seed=78 --cnf-level=12 --cnf-file=grid_6x6_r3_78.cnf ================================================================ reLOC 0.09-vegas : Grid Instance Generator (C) Copyright 2011-2013 Pavel Surynek ---------------------------------------------------------------- Phase statistics (current phase = 'root_phase') [ Phase (name = 'root_phase') [ Total SAT solver calls = 0 Satisfiable SAT solver calls = 0 Unsatisfiable SAT solver calls = 0 Indeterminate SAT solver calls = 0 Move executions = 0 Produced CNF variables = 2817 Produced CNF clauses = 701 Search steps = 0 Wall clock TIME (seconds) = 0.019 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 = 2864 Produced CNF clauses = 682 Search steps = 0 Wall clock TIME (seconds) = 0.019 CPU/machine TIME (seconds) = 0.010 ] ] 474 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=3 --obstacle-probability=0.2 --seed=474 --cnf-level=12 --cnf-file=grid_6x6_r3_474.cnf ================================================================ reLOC 0.09-vegas : Grid Instance Generator (C) Copyright 2011-2013 Pavel Surynek ---------------------------------------------------------------- Phase statistics (current phase = 'root_phase') [ Phase (name = 'root_phase') [ Total SAT solver calls = 0 Satisfiable SAT solver calls = 0 Unsatisfiable SAT solver calls = 0 Indeterminate SAT solver calls = 0 Move executions = 0 Produced CNF variables = 2210 Produced CNF clauses = 830 Search steps = 0 Wall clock TIME (seconds) = 0.015 CPU/machine TIME (seconds) = 0.010 ] ] 188 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=3 --obstacle-probability=0.2 --seed=188 --cnf-level=12 --cnf-file=grid_6x6_r3_188.cnf ================================================================ reLOC 0.09-vegas : Grid Instance Generator (C) Copyright 2011-2013 Pavel Surynek ---------------------------------------------------------------- Phase statistics (current phase = 'root_phase') [ Phase (name = 'root_phase') [ Total SAT solver calls = 0 Satisfiable SAT solver calls = 0 Unsatisfiable SAT solver calls = 0 Indeterminate SAT solver calls = 0 Move executions = 0 Produced CNF variables = 2859 Produced CNF clauses = 689 Search steps = 0 Wall clock TIME (seconds) = 0.019 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 = 3161 Produced CNF clauses = 639 Search steps = 0 Wall clock TIME (seconds) = 0.021 CPU/machine TIME (seconds) = 0.010 ] ] 9 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=3 --obstacle-probability=0.2 --seed=9 --cnf-level=12 --cnf-file=grid_6x6_r3_9.cnf ================================================================ reLOC 0.09-vegas : Grid Instance Generator (C) Copyright 2011-2013 Pavel Surynek ---------------------------------------------------------------- Phase statistics (current phase = 'root_phase') [ Phase (name = 'root_phase') [ Total SAT solver calls = 0 Satisfiable SAT solver calls = 0 Unsatisfiable SAT solver calls = 0 Indeterminate SAT solver calls = 0 Move executions = 0 Produced CNF variables = 2676 Produced CNF clauses = 713 Search steps = 0 Wall clock TIME (seconds) = 0.017 CPU/machine TIME (seconds) = 0.010 ] ] 774 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=3 --obstacle-probability=0.2 --seed=774 --cnf-level=12 --cnf-file=grid_6x6_r3_774.cnf ================================================================ reLOC 0.09-vegas : Grid Instance Generator (C) Copyright 2011-2013 Pavel Surynek ---------------------------------------------------------------- Phase statistics (current phase = 'root_phase') [ Phase (name = 'root_phase') [ Total SAT solver calls = 0 Satisfiable SAT solver calls = 0 Unsatisfiable SAT solver calls = 0 Indeterminate SAT solver calls = 0 Move executions = 0 Produced CNF variables = 3698 Produced CNF clauses = 1735 Search steps = 0 Wall clock TIME (seconds) = 0.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 = 2702 Produced CNF clauses = 1242 Search steps = 0 Wall clock TIME (seconds) = 0.017 CPU/machine TIME (seconds) = 0.010 ] ] 12 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=4 --obstacle-probability=0.2 --seed=12 --cnf-level=12 --cnf-file=grid_6x6_r4_12.cnf ================================================================ reLOC 0.09-vegas : Grid Instance Generator (C) Copyright 2011-2013 Pavel Surynek ---------------------------------------------------------------- Phase statistics (current phase = 'root_phase') [ Phase (name = 'root_phase') [ Total SAT solver calls = 0 Satisfiable SAT solver calls = 0 Unsatisfiable SAT solver calls = 0 Indeterminate SAT solver calls = 0 Move executions = 0 Produced CNF variables = 3403 Produced CNF clauses = 1083 Search steps = 0 Wall clock TIME (seconds) = 0.021 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 = 3077 Produced CNF clauses = 1163 Search steps = 0 Wall clock TIME (seconds) = 0.019 CPU/machine TIME (seconds) = 0.020 ] ] 78 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=4 --obstacle-probability=0.2 --seed=78 --cnf-level=12 --cnf-file=grid_6x6_r4_78.cnf ================================================================ reLOC 0.09-vegas : Grid Instance Generator (C) Copyright 2011-2013 Pavel Surynek ---------------------------------------------------------------- Phase statistics (current phase = 'root_phase') [ Phase (name = 'root_phase') [ Total SAT solver calls = 0 Satisfiable SAT solver calls = 0 Unsatisfiable SAT solver calls = 0 Indeterminate SAT solver calls = 0 Move executions = 0 Produced CNF variables = 4373 Produced CNF clauses = 909 Search steps = 0 Wall clock TIME (seconds) = 0.027 CPU/machine TIME (seconds) = 0.020 ] ] 8546 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=4 --obstacle-probability=0.2 --seed=8546 --cnf-level=12 --cnf-file=grid_6x6_r4_8546.cnf ================================================================ reLOC 0.09-vegas : Grid Instance Generator (C) Copyright 2011-2013 Pavel Surynek ---------------------------------------------------------------- Phase statistics (current phase = 'root_phase') [ Phase (name = 'root_phase') [ Total SAT solver calls = 0 Satisfiable SAT solver calls = 0 Unsatisfiable SAT solver calls = 0 Indeterminate SAT solver calls = 0 Move executions = 0 Produced CNF variables = 4376 Produced CNF clauses = 892 Search steps = 0 Wall clock TIME (seconds) = 0.027 CPU/machine TIME (seconds) = 0.020 ] ] 474 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=4 --obstacle-probability=0.2 --seed=474 --cnf-level=12 --cnf-file=grid_6x6_r4_474.cnf ================================================================ reLOC 0.09-vegas : Grid Instance Generator (C) Copyright 2011-2013 Pavel Surynek ---------------------------------------------------------------- Phase statistics (current phase = 'root_phase') [ Phase (name = 'root_phase') [ Total SAT solver calls = 0 Satisfiable SAT solver calls = 0 Unsatisfiable SAT solver calls = 0 Indeterminate SAT solver calls = 0 Move executions = 0 Produced CNF variables = 4092 Produced CNF clauses = 963 Search steps = 0 Wall clock TIME (seconds) = 0.026 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 = 4716 Produced CNF clauses = 837 Search steps = 0 Wall clock TIME (seconds) = 0.029 CPU/machine TIME (seconds) = 0.020 ] ] 7899 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=4 --obstacle-probability=0.2 --seed=7899 --cnf-level=12 --cnf-file=grid_6x6_r4_7899.cnf ================================================================ reLOC 0.09-vegas : Grid Instance Generator (C) Copyright 2011-2013 Pavel Surynek ---------------------------------------------------------------- Phase statistics (current phase = 'root_phase') [ Phase (name = 'root_phase') [ Total SAT solver calls = 0 Satisfiable SAT solver calls = 0 Unsatisfiable SAT solver calls = 0 Indeterminate SAT solver calls = 0 Move executions = 0 Produced CNF variables = 4549 Produced CNF clauses = 880 Search steps = 0 Wall clock TIME (seconds) = 0.028 CPU/machine TIME (seconds) = 0.020 ] ] 9 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=4 --obstacle-probability=0.2 --seed=9 --cnf-level=12 --cnf-file=grid_6x6_r4_9.cnf ================================================================ reLOC 0.09-vegas : Grid Instance Generator (C) Copyright 2011-2013 Pavel Surynek ---------------------------------------------------------------- Phase statistics (current phase = 'root_phase') [ Phase (name = 'root_phase') [ Total SAT solver calls = 0 Satisfiable SAT solver calls = 0 Unsatisfiable SAT solver calls = 0 Indeterminate SAT solver calls = 0 Move executions = 0 Produced CNF variables = 4142 Produced CNF clauses = 933 Search steps = 0 Wall clock TIME (seconds) = 0.026 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 = 5845 Produced CNF clauses = 2246 Search steps = 0 Wall clock TIME (seconds) = 0.045 CPU/machine TIME (seconds) = 0.040 ] ] 3455 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=5 --obstacle-probability=0.2 --seed=3455 --cnf-level=12 --cnf-file=grid_6x6_r5_3455.cnf ================================================================ reLOC 0.09-vegas : Grid Instance Generator (C) Copyright 2011-2013 Pavel Surynek ---------------------------------------------------------------- Phase statistics (current phase = 'root_phase') [ Phase (name = 'root_phase') [ Total SAT solver calls = 0 Satisfiable SAT solver calls = 0 Unsatisfiable SAT solver calls = 0 Indeterminate SAT solver calls = 0 Move executions = 0 Produced CNF variables = 4066 Produced CNF clauses = 1523 Search steps = 0 Wall clock TIME (seconds) = 0.024 CPU/machine TIME (seconds) = 0.020 ] ] 12 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=5 --obstacle-probability=0.2 --seed=12 --cnf-level=12 --cnf-file=grid_6x6_r5_12.cnf ================================================================ reLOC 0.09-vegas : Grid Instance Generator (C) Copyright 2011-2013 Pavel Surynek ---------------------------------------------------------------- Phase statistics (current phase = 'root_phase') [ Phase (name = 'root_phase') [ Total SAT solver calls = 0 Satisfiable SAT solver calls = 0 Unsatisfiable SAT solver calls = 0 Indeterminate SAT solver calls = 0 Move executions = 0 Produced CNF variables = 4582 Produced CNF clauses = 1406 Search steps = 0 Wall clock TIME (seconds) = 0.027 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 = 4991 Produced CNF clauses = 1323 Search steps = 0 Wall clock TIME (seconds) = 0.029 CPU/machine TIME (seconds) = 0.020 ] ] 78 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=5 --obstacle-probability=0.2 --seed=78 --cnf-level=12 --cnf-file=grid_6x6_r5_78.cnf ================================================================ reLOC 0.09-vegas : Grid Instance Generator (C) Copyright 2011-2013 Pavel Surynek ---------------------------------------------------------------- Phase statistics (current phase = 'root_phase') [ Phase (name = 'root_phase') [ Total SAT solver calls = 0 Satisfiable SAT solver calls = 0 Unsatisfiable SAT solver calls = 0 Indeterminate SAT solver calls = 0 Move executions = 0 Produced CNF variables = 6326 Produced CNF clauses = 1078 Search steps = 0 Wall clock TIME (seconds) = 0.038 CPU/machine TIME (seconds) = 0.030 ] ] 8546 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=5 --obstacle-probability=0.2 --seed=8546 --cnf-level=12 --cnf-file=grid_6x6_r5_8546.cnf ================================================================ reLOC 0.09-vegas : Grid Instance Generator (C) Copyright 2011-2013 Pavel Surynek ---------------------------------------------------------------- Phase statistics (current phase = 'root_phase') [ Phase (name = 'root_phase') [ Total SAT solver calls = 0 Satisfiable SAT solver calls = 0 Unsatisfiable SAT solver calls = 0 Indeterminate SAT solver calls = 0 Move executions = 0 Produced CNF variables = 6153 Produced CNF clauses = 1090 Search steps = 0 Wall clock TIME (seconds) = 0.037 CPU/machine TIME (seconds) = 0.030 ] ] 474 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=5 --obstacle-probability=0.2 --seed=474 --cnf-level=12 --cnf-file=grid_6x6_r5_474.cnf ================================================================ reLOC 0.09-vegas : Grid Instance Generator (C) Copyright 2011-2013 Pavel Surynek ---------------------------------------------------------------- Phase statistics (current phase = 'root_phase') [ Phase (name = 'root_phase') [ Total SAT solver calls = 0 Satisfiable SAT solver calls = 0 Unsatisfiable SAT solver calls = 0 Indeterminate SAT solver calls = 0 Move executions = 0 Produced CNF variables = 5361 Produced CNF clauses = 1271 Search steps = 0 Wall clock TIME (seconds) = 0.032 CPU/machine TIME (seconds) = 0.030 ] ] 188 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=5 --obstacle-probability=0.2 --seed=188 --cnf-level=12 --cnf-file=grid_6x6_r5_188.cnf ================================================================ reLOC 0.09-vegas : Grid Instance Generator (C) Copyright 2011-2013 Pavel Surynek ---------------------------------------------------------------- Phase statistics (current phase = 'root_phase') [ Phase (name = 'root_phase') [ Total SAT solver calls = 0 Satisfiable SAT solver calls = 0 Unsatisfiable SAT solver calls = 0 Indeterminate SAT solver calls = 0 Move executions = 0 Produced CNF variables = 5759 Produced CNF clauses = 1186 Search steps = 0 Wall clock TIME (seconds) = 0.034 CPU/machine TIME (seconds) = 0.030 ] ] 7899 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=5 --obstacle-probability=0.2 --seed=7899 --cnf-level=12 --cnf-file=grid_6x6_r5_7899.cnf ================================================================ reLOC 0.09-vegas : Grid Instance Generator (C) Copyright 2011-2013 Pavel Surynek ---------------------------------------------------------------- Phase statistics (current phase = 'root_phase') [ Phase (name = 'root_phase') [ Total SAT solver calls = 0 Satisfiable SAT solver calls = 0 Unsatisfiable SAT solver calls = 0 Indeterminate SAT solver calls = 0 Move executions = 0 Produced CNF variables = 6156 Produced CNF clauses = 1119 Search steps = 0 Wall clock TIME (seconds) = 0.037 CPU/machine TIME (seconds) = 0.030 ] ] 9 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=5 --obstacle-probability=0.2 --seed=9 --cnf-level=12 --cnf-file=grid_6x6_r5_9.cnf ================================================================ reLOC 0.09-vegas : Grid Instance Generator (C) Copyright 2011-2013 Pavel Surynek ---------------------------------------------------------------- Phase statistics (current phase = 'root_phase') [ Phase (name = 'root_phase') [ Total SAT solver calls = 0 Satisfiable SAT solver calls = 0 Unsatisfiable SAT solver calls = 0 Indeterminate SAT solver calls = 0 Move executions = 0 Produced CNF variables = 5495 Produced CNF clauses = 1217 Search steps = 0 Wall clock TIME (seconds) = 0.033 CPU/machine TIME (seconds) = 0.030 ] ] 774 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=5 --obstacle-probability=0.2 --seed=774 --cnf-level=12 --cnf-file=grid_6x6_r5_774.cnf ================================================================ reLOC 0.09-vegas : Grid Instance Generator (C) Copyright 2011-2013 Pavel Surynek ---------------------------------------------------------------- Phase statistics (current phase = 'root_phase') [ Phase (name = 'root_phase') [ Total SAT solver calls = 0 Satisfiable SAT solver calls = 0 Unsatisfiable SAT solver calls = 0 Indeterminate SAT solver calls = 0 Move executions = 0 Produced CNF variables = 7655 Produced CNF clauses = 2869 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=6 --obstacle-probability=0.2 --seed=3455 --cnf-level=12 --cnf-file=grid_6x6_r6_3455.cnf ================================================================ reLOC 0.09-vegas : Grid Instance Generator (C) Copyright 2011-2013 Pavel Surynek ---------------------------------------------------------------- Phase statistics (current phase = 'root_phase') [ Phase (name = 'root_phase') [ Total SAT solver calls = 0 Satisfiable SAT solver calls = 0 Unsatisfiable SAT solver calls = 0 Indeterminate SAT solver calls = 0 Move executions = 0 Produced CNF variables = 6100 Produced CNF clauses = 1707 Search steps = 0 Wall clock TIME (seconds) = 0.035 CPU/machine TIME (seconds) = 0.030 ] ] 12 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=6 --obstacle-probability=0.2 --seed=12 --cnf-level=12 --cnf-file=grid_6x6_r6_12.cnf ================================================================ reLOC 0.09-vegas : Grid Instance Generator (C) Copyright 2011-2013 Pavel Surynek ---------------------------------------------------------------- Phase statistics (current phase = 'root_phase') [ Phase (name = 'root_phase') [ Total SAT solver calls = 0 Satisfiable SAT solver calls = 0 Unsatisfiable SAT solver calls = 0 Indeterminate SAT solver calls = 0 Move executions = 0 Produced CNF variables = 5976 Produced CNF clauses = 1733 Search steps = 0 Wall clock TIME (seconds) = 0.034 CPU/machine TIME (seconds) = 0.020 ] ] 45 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=6 --obstacle-probability=0.2 --seed=45 --cnf-level=12 --cnf-file=grid_6x6_r6_45.cnf ================================================================ reLOC 0.09-vegas : Grid Instance Generator (C) Copyright 2011-2013 Pavel Surynek ---------------------------------------------------------------- Phase statistics (current phase = 'root_phase') [ Phase (name = 'root_phase') [ Total SAT solver calls = 0 Satisfiable SAT solver calls = 0 Unsatisfiable SAT solver calls = 0 Indeterminate SAT solver calls = 0 Move executions = 0 Produced CNF variables = 6609 Produced CNF clauses = 1600 Search steps = 0 Wall clock TIME (seconds) = 0.037 CPU/machine TIME (seconds) = 0.030 ] ] 78 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=6 --obstacle-probability=0.2 --seed=78 --cnf-level=12 --cnf-file=grid_6x6_r6_78.cnf ================================================================ reLOC 0.09-vegas : Grid Instance Generator (C) Copyright 2011-2013 Pavel Surynek ---------------------------------------------------------------- Phase statistics (current phase = 'root_phase') [ Phase (name = 'root_phase') [ Total SAT solver calls = 0 Satisfiable SAT solver calls = 0 Unsatisfiable SAT solver calls = 0 Indeterminate SAT solver calls = 0 Move executions = 0 Produced CNF variables = 8572 Produced CNF clauses = 1232 Search steps = 0 Wall clock TIME (seconds) = 0.050 CPU/machine TIME (seconds) = 0.040 ] ] 8546 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=6 --obstacle-probability=0.2 --seed=8546 --cnf-level=12 --cnf-file=grid_6x6_r6_8546.cnf ================================================================ reLOC 0.09-vegas : Grid Instance Generator (C) Copyright 2011-2013 Pavel Surynek ---------------------------------------------------------------- Phase statistics (current phase = 'root_phase') [ Phase (name = 'root_phase') [ Total SAT solver calls = 0 Satisfiable SAT solver calls = 0 Unsatisfiable SAT solver calls = 0 Indeterminate SAT solver calls = 0 Move executions = 0 Produced CNF variables = 8330 Produced CNF clauses = 1259 Search steps = 0 Wall clock TIME (seconds) = 0.048 CPU/machine TIME (seconds) = 0.040 ] ] 474 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=6 --obstacle-probability=0.2 --seed=474 --cnf-level=12 --cnf-file=grid_6x6_r6_474.cnf ================================================================ reLOC 0.09-vegas : Grid Instance Generator (C) Copyright 2011-2013 Pavel Surynek ---------------------------------------------------------------- Phase statistics (current phase = 'root_phase') [ Phase (name = 'root_phase') [ Total SAT solver calls = 0 Satisfiable SAT solver calls = 0 Unsatisfiable SAT solver calls = 0 Indeterminate SAT solver calls = 0 Move executions = 0 Produced CNF variables = 7907 Produced CNF clauses = 1374 Search steps = 0 Wall clock TIME (seconds) = 0.046 CPU/machine TIME (seconds) = 0.040 ] ] 188 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=6 --obstacle-probability=0.2 --seed=188 --cnf-level=12 --cnf-file=grid_6x6_r6_188.cnf ================================================================ reLOC 0.09-vegas : Grid Instance Generator (C) Copyright 2011-2013 Pavel Surynek ---------------------------------------------------------------- Phase statistics (current phase = 'root_phase') [ Phase (name = 'root_phase') [ Total SAT solver calls = 0 Satisfiable SAT solver calls = 0 Unsatisfiable SAT solver calls = 0 Indeterminate SAT solver calls = 0 Move executions = 0 Produced CNF variables = 8025 Produced CNF clauses = 1332 Search steps = 0 Wall clock TIME (seconds) = 0.047 CPU/machine TIME (seconds) = 0.040 ] ] 7899 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=6 --obstacle-probability=0.2 --seed=7899 --cnf-level=12 --cnf-file=grid_6x6_r6_7899.cnf ================================================================ reLOC 0.09-vegas : Grid Instance Generator (C) Copyright 2011-2013 Pavel Surynek ---------------------------------------------------------------- Phase statistics (current phase = 'root_phase') [ Phase (name = 'root_phase') [ Total SAT solver calls = 0 Satisfiable SAT solver calls = 0 Unsatisfiable SAT solver calls = 0 Indeterminate SAT solver calls = 0 Move executions = 0 Produced CNF variables = 8587 Produced CNF clauses = 1249 Search steps = 0 Wall clock TIME (seconds) = 0.050 CPU/machine TIME (seconds) = 0.040 ] ] 9 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=6 --obstacle-probability=0.2 --seed=9 --cnf-level=12 --cnf-file=grid_6x6_r6_9.cnf ================================================================ reLOC 0.09-vegas : Grid Instance Generator (C) Copyright 2011-2013 Pavel Surynek ---------------------------------------------------------------- Phase statistics (current phase = 'root_phase') [ Phase (name = 'root_phase') [ Total SAT solver calls = 0 Satisfiable SAT solver calls = 0 Unsatisfiable SAT solver calls = 0 Indeterminate SAT solver calls = 0 Move executions = 0 Produced CNF variables = 7287 Produced CNF clauses = 1450 Search steps = 0 Wall clock TIME (seconds) = 0.042 CPU/machine TIME (seconds) = 0.030 ] ] 774 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=6 --obstacle-probability=0.2 --seed=774 --cnf-level=12 --cnf-file=grid_6x6_r6_774.cnf ================================================================ reLOC 0.09-vegas : Grid Instance Generator (C) Copyright 2011-2013 Pavel Surynek ---------------------------------------------------------------- Phase statistics (current phase = 'root_phase') [ Phase (name = 'root_phase') [ Total SAT solver calls = 0 Satisfiable SAT solver calls = 0 Unsatisfiable SAT solver calls = 0 Indeterminate SAT solver calls = 0 Move executions = 0 Produced CNF variables = 10280 Produced CNF clauses = 3396 Search steps = 0 Wall clock TIME (seconds) = 0.073 CPU/machine TIME (seconds) = 0.060 ] ] 3455 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=7 --obstacle-probability=0.2 --seed=3455 --cnf-level=12 --cnf-file=grid_6x6_r7_3455.cnf ================================================================ reLOC 0.09-vegas : Grid Instance Generator (C) Copyright 2011-2013 Pavel Surynek ---------------------------------------------------------------- Phase statistics (current phase = 'root_phase') [ Phase (name = 'root_phase') [ Total SAT solver calls = 0 Satisfiable SAT solver calls = 0 Unsatisfiable SAT solver calls = 0 Indeterminate SAT solver calls = 0 Move executions = 0 Produced CNF variables = 7438 Produced CNF clauses = 2103 Search steps = 0 Wall clock TIME (seconds) = 0.040 CPU/machine TIME (seconds) = 0.030 ] ] 12 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=7 --obstacle-probability=0.2 --seed=12 --cnf-level=12 --cnf-file=grid_6x6_r7_12.cnf ================================================================ reLOC 0.09-vegas : Grid Instance Generator (C) Copyright 2011-2013 Pavel Surynek ---------------------------------------------------------------- Phase statistics (current phase = 'root_phase') [ Phase (name = 'root_phase') [ Total SAT solver calls = 0 Satisfiable SAT solver calls = 0 Unsatisfiable SAT solver calls = 0 Indeterminate SAT solver calls = 0 Move executions = 0 Produced CNF variables = 7407 Produced CNF clauses = 2106 Search steps = 0 Wall clock TIME (seconds) = 0.040 CPU/machine TIME (seconds) = 0.040 ] ] 45 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=7 --obstacle-probability=0.2 --seed=45 --cnf-level=12 --cnf-file=grid_6x6_r7_45.cnf ================================================================ reLOC 0.09-vegas : Grid Instance Generator (C) Copyright 2011-2013 Pavel Surynek ---------------------------------------------------------------- Phase statistics (current phase = 'root_phase') [ Phase (name = 'root_phase') [ Total SAT solver calls = 0 Satisfiable SAT solver calls = 0 Unsatisfiable SAT solver calls = 0 Indeterminate SAT solver calls = 0 Move executions = 0 Produced CNF variables = 8236 Produced CNF clauses = 1931 Search steps = 0 Wall clock TIME (seconds) = 0.046 CPU/machine TIME (seconds) = 0.040 ] ] 78 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=7 --obstacle-probability=0.2 --seed=78 --cnf-level=12 --cnf-file=grid_6x6_r7_78.cnf ================================================================ reLOC 0.09-vegas : Grid Instance Generator (C) Copyright 2011-2013 Pavel Surynek ---------------------------------------------------------------- Phase statistics (current phase = 'root_phase') [ Phase (name = 'root_phase') [ Total SAT solver calls = 0 Satisfiable SAT solver calls = 0 Unsatisfiable SAT solver calls = 0 Indeterminate SAT solver calls = 0 Move executions = 0 Produced CNF variables = 10858 Produced CNF clauses = 1431 Search steps = 0 Wall clock TIME (seconds) = 0.061 CPU/machine TIME (seconds) = 0.060 ] ] 8546 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=7 --obstacle-probability=0.2 --seed=8546 --cnf-level=12 --cnf-file=grid_6x6_r7_8546.cnf ================================================================ reLOC 0.09-vegas : Grid Instance Generator (C) Copyright 2011-2013 Pavel Surynek ---------------------------------------------------------------- Phase statistics (current phase = 'root_phase') [ Phase (name = 'root_phase') [ Total SAT solver calls = 0 Satisfiable SAT solver calls = 0 Unsatisfiable SAT solver calls = 0 Indeterminate SAT solver calls = 0 Move executions = 0 Produced CNF variables = 9889 Produced CNF clauses = 1605 Search steps = 0 Wall clock TIME (seconds) = 0.055 CPU/machine TIME (seconds) = 0.050 ] ] 474 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=7 --obstacle-probability=0.2 --seed=474 --cnf-level=12 --cnf-file=grid_6x6_r7_474.cnf ================================================================ reLOC 0.09-vegas : Grid Instance Generator (C) Copyright 2011-2013 Pavel Surynek ---------------------------------------------------------------- Phase statistics (current phase = 'root_phase') [ Phase (name = 'root_phase') [ Total SAT solver calls = 0 Satisfiable SAT solver calls = 0 Unsatisfiable SAT solver calls = 0 Indeterminate SAT solver calls = 0 Move executions = 0 Produced CNF variables = 9494 Produced CNF clauses = 1715 Search steps = 0 Wall clock TIME (seconds) = 0.053 CPU/machine TIME (seconds) = 0.040 ] ] 188 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=7 --obstacle-probability=0.2 --seed=188 --cnf-level=12 --cnf-file=grid_6x6_r7_188.cnf ================================================================ reLOC 0.09-vegas : Grid Instance Generator (C) Copyright 2011-2013 Pavel Surynek ---------------------------------------------------------------- Phase statistics (current phase = 'root_phase') [ Phase (name = 'root_phase') [ Total SAT solver calls = 0 Satisfiable SAT solver calls = 0 Unsatisfiable SAT solver calls = 0 Indeterminate SAT solver calls = 0 Move executions = 0 Produced CNF variables = 10143 Produced CNF clauses = 1562 Search steps = 0 Wall clock TIME (seconds) = 0.058 CPU/machine TIME (seconds) = 0.050 ] ] 7899 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=7 --obstacle-probability=0.2 --seed=7899 --cnf-level=12 --cnf-file=grid_6x6_r7_7899.cnf ================================================================ reLOC 0.09-vegas : Grid Instance Generator (C) Copyright 2011-2013 Pavel Surynek ---------------------------------------------------------------- Phase statistics (current phase = 'root_phase') [ Phase (name = 'root_phase') [ Total SAT solver calls = 0 Satisfiable SAT solver calls = 0 Unsatisfiable SAT solver calls = 0 Indeterminate SAT solver calls = 0 Move executions = 0 Produced CNF variables = 10554 Produced CNF clauses = 1504 Search steps = 0 Wall clock TIME (seconds) = 0.059 CPU/machine TIME (seconds) = 0.050 ] ] 9 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=7 --obstacle-probability=0.2 --seed=9 --cnf-level=12 --cnf-file=grid_6x6_r7_9.cnf ================================================================ reLOC 0.09-vegas : Grid Instance Generator (C) Copyright 2011-2013 Pavel Surynek ---------------------------------------------------------------- Phase statistics (current phase = 'root_phase') [ Phase (name = 'root_phase') [ Total SAT solver calls = 0 Satisfiable SAT solver calls = 0 Unsatisfiable SAT solver calls = 0 Indeterminate SAT solver calls = 0 Move executions = 0 Produced CNF variables = 9293 Produced CNF clauses = 1702 Search steps = 0 Wall clock TIME (seconds) = 0.052 CPU/machine TIME (seconds) = 0.050 ] ] 774 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=7 --obstacle-probability=0.2 --seed=774 --cnf-level=12 --cnf-file=grid_6x6_r7_774.cnf ================================================================ reLOC 0.09-vegas : Grid Instance Generator (C) Copyright 2011-2013 Pavel Surynek ---------------------------------------------------------------- Phase statistics (current phase = 'root_phase') [ Phase (name = 'root_phase') [ Total SAT solver calls = 0 Satisfiable SAT solver calls = 0 Unsatisfiable SAT solver calls = 0 Indeterminate SAT solver calls = 0 Move executions = 0 Produced CNF variables = 12798 Produced CNF clauses = 3991 Search steps = 0 Wall clock TIME (seconds) = 0.087 CPU/machine TIME (seconds) = 0.080 ] ] 3455 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=8 --obstacle-probability=0.2 --seed=3455 --cnf-level=12 --cnf-file=grid_6x6_r8_3455.cnf ================================================================ reLOC 0.09-vegas : Grid Instance Generator (C) Copyright 2011-2013 Pavel Surynek ---------------------------------------------------------------- Phase statistics (current phase = 'root_phase') [ Phase (name = 'root_phase') [ Total SAT solver calls = 0 Satisfiable SAT solver calls = 0 Unsatisfiable SAT solver calls = 0 Indeterminate SAT solver calls = 0 Move executions = 0 Produced CNF variables = 8993 Produced CNF clauses = 2504 Search steps = 0 Wall clock TIME (seconds) = 0.048 CPU/machine TIME (seconds) = 0.040 ] ] 12 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=8 --obstacle-probability=0.2 --seed=12 --cnf-level=12 --cnf-file=grid_6x6_r8_12.cnf ================================================================ reLOC 0.09-vegas : Grid Instance Generator (C) Copyright 2011-2013 Pavel Surynek ---------------------------------------------------------------- Phase statistics (current phase = 'root_phase') [ Phase (name = 'root_phase') [ Total SAT solver calls = 0 Satisfiable SAT solver calls = 0 Unsatisfiable SAT solver calls = 0 Indeterminate SAT solver calls = 0 Move executions = 0 Produced CNF variables = 10523 Produced CNF clauses = 2159 Search steps = 0 Wall clock TIME (seconds) = 0.055 CPU/machine TIME (seconds) = 0.050 ] ] 45 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=8 --obstacle-probability=0.2 --seed=45 --cnf-level=12 --cnf-file=grid_6x6_r8_45.cnf ================================================================ reLOC 0.09-vegas : Grid Instance Generator (C) Copyright 2011-2013 Pavel Surynek ---------------------------------------------------------------- Phase statistics (current phase = 'root_phase') [ Phase (name = 'root_phase') [ Total SAT solver calls = 0 Satisfiable SAT solver calls = 0 Unsatisfiable SAT solver calls = 0 Indeterminate SAT solver calls = 0 Move executions = 0 Produced CNF variables = 10253 Produced CNF clauses = 2212 Search steps = 0 Wall clock TIME (seconds) = 0.056 CPU/machine TIME (seconds) = 0.050 ] ] 78 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=8 --obstacle-probability=0.2 --seed=78 --cnf-level=12 --cnf-file=grid_6x6_r8_78.cnf ================================================================ reLOC 0.09-vegas : Grid Instance Generator (C) Copyright 2011-2013 Pavel Surynek ---------------------------------------------------------------- Phase statistics (current phase = 'root_phase') [ Phase (name = 'root_phase') [ Total SAT solver calls = 0 Satisfiable SAT solver calls = 0 Unsatisfiable SAT solver calls = 0 Indeterminate SAT solver calls = 0 Move executions = 0 Produced CNF variables = 12617 Produced CNF clauses = 1778 Search steps = 0 Wall clock TIME (seconds) = 0.069 CPU/machine TIME (seconds) = 0.060 ] ] 8546 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=8 --obstacle-probability=0.2 --seed=8546 --cnf-level=12 --cnf-file=grid_6x6_r8_8546.cnf ================================================================ reLOC 0.09-vegas : Grid Instance Generator (C) Copyright 2011-2013 Pavel Surynek ---------------------------------------------------------------- Phase statistics (current phase = 'root_phase') [ Phase (name = 'root_phase') [ Total SAT solver calls = 0 Satisfiable SAT solver calls = 0 Unsatisfiable SAT solver calls = 0 Indeterminate SAT solver calls = 0 Move executions = 0 Produced CNF variables = 12686 Produced CNF clauses = 1734 Search steps = 0 Wall clock TIME (seconds) = 0.076 CPU/machine TIME (seconds) = 0.070 ] ] 474 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=8 --obstacle-probability=0.2 --seed=474 --cnf-level=12 --cnf-file=grid_6x6_r8_474.cnf ================================================================ reLOC 0.09-vegas : Grid Instance Generator (C) Copyright 2011-2013 Pavel Surynek ---------------------------------------------------------------- Phase statistics (current phase = 'root_phase') [ Phase (name = 'root_phase') [ Total SAT solver calls = 0 Satisfiable SAT solver calls = 0 Unsatisfiable SAT solver calls = 0 Indeterminate SAT solver calls = 0 Move executions = 0 Produced CNF variables = 12706 Produced CNF clauses = 1766 Search steps = 0 Wall clock TIME (seconds) = 0.073 CPU/machine TIME (seconds) = 0.060 ] ] 188 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=8 --obstacle-probability=0.2 --seed=188 --cnf-level=12 --cnf-file=grid_6x6_r8_188.cnf ================================================================ reLOC 0.09-vegas : Grid Instance Generator (C) Copyright 2011-2013 Pavel Surynek ---------------------------------------------------------------- Phase statistics (current phase = 'root_phase') [ Phase (name = 'root_phase') [ Total SAT solver calls = 0 Satisfiable SAT solver calls = 0 Unsatisfiable SAT solver calls = 0 Indeterminate SAT solver calls = 0 Move executions = 0 Produced CNF variables = 12920 Produced CNF clauses = 1711 Search steps = 0 Wall clock TIME (seconds) = 0.077 CPU/machine TIME (seconds) = 0.070 ] ] 7899 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=8 --obstacle-probability=0.2 --seed=7899 --cnf-level=12 --cnf-file=grid_6x6_r8_7899.cnf ================================================================ reLOC 0.09-vegas : Grid Instance Generator (C) Copyright 2011-2013 Pavel Surynek ---------------------------------------------------------------- Phase statistics (current phase = 'root_phase') [ Phase (name = 'root_phase') [ Total SAT solver calls = 0 Satisfiable SAT solver calls = 0 Unsatisfiable SAT solver calls = 0 Indeterminate SAT solver calls = 0 Move executions = 0 Produced CNF variables = 12850 Produced CNF clauses = 1738 Search steps = 0 Wall clock TIME (seconds) = 0.074 CPU/machine TIME (seconds) = 0.070 ] ] 9 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=8 --obstacle-probability=0.2 --seed=9 --cnf-level=12 --cnf-file=grid_6x6_r8_9.cnf ================================================================ reLOC 0.09-vegas : Grid Instance Generator (C) Copyright 2011-2013 Pavel Surynek ---------------------------------------------------------------- Phase statistics (current phase = 'root_phase') [ Phase (name = 'root_phase') [ Total SAT solver calls = 0 Satisfiable SAT solver calls = 0 Unsatisfiable SAT solver calls = 0 Indeterminate SAT solver calls = 0 Move executions = 0 Produced CNF variables = 11485 Produced CNF clauses = 1958 Search steps = 0 Wall clock TIME (seconds) = 0.067 CPU/machine TIME (seconds) = 0.060 ] ] 774 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=8 --obstacle-probability=0.2 --seed=774 --cnf-level=12 --cnf-file=grid_6x6_r8_774.cnf ================================================================ reLOC 0.09-vegas : Grid Instance Generator (C) Copyright 2011-2013 Pavel Surynek ---------------------------------------------------------------- Phase statistics (current phase = 'root_phase') [ Phase (name = 'root_phase') [ Total SAT solver calls = 0 Satisfiable SAT solver calls = 0 Unsatisfiable SAT solver calls = 0 Indeterminate SAT solver calls = 0 Move executions = 0 Produced CNF variables = 15634 Produced CNF clauses = 4576 Search steps = 0 Wall clock TIME (seconds) = 0.103 CPU/machine TIME (seconds) = 0.100 ] ] 3455 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=9 --obstacle-probability=0.2 --seed=3455 --cnf-level=12 --cnf-file=grid_6x6_r9_3455.cnf ================================================================ reLOC 0.09-vegas : Grid Instance Generator (C) Copyright 2011-2013 Pavel Surynek ---------------------------------------------------------------- Phase statistics (current phase = 'root_phase') [ Phase (name = 'root_phase') [ Total SAT solver calls = 0 Satisfiable SAT solver calls = 0 Unsatisfiable SAT solver calls = 0 Indeterminate SAT solver calls = 0 Move executions = 0 Produced CNF variables = 11687 Produced CNF clauses = 2696 Search steps = 0 Wall clock TIME (seconds) = 0.060 CPU/machine TIME (seconds) = 0.050 ] ] 12 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=9 --obstacle-probability=0.2 --seed=12 --cnf-level=12 --cnf-file=grid_6x6_r9_12.cnf ================================================================ reLOC 0.09-vegas : Grid Instance Generator (C) Copyright 2011-2013 Pavel Surynek ---------------------------------------------------------------- Phase statistics (current phase = 'root_phase') [ Phase (name = 'root_phase') [ Total SAT solver calls = 0 Satisfiable SAT solver calls = 0 Unsatisfiable SAT solver calls = 0 Indeterminate SAT solver calls = 0 Move executions = 0 Produced CNF variables = 12915 Produced CNF clauses = 2423 Search steps = 0 Wall clock TIME (seconds) = 0.067 CPU/machine TIME (seconds) = 0.060 ] ] 45 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=9 --obstacle-probability=0.2 --seed=45 --cnf-level=12 --cnf-file=grid_6x6_r9_45.cnf ================================================================ reLOC 0.09-vegas : Grid Instance Generator (C) Copyright 2011-2013 Pavel Surynek ---------------------------------------------------------------- Phase statistics (current phase = 'root_phase') [ Phase (name = 'root_phase') [ Total SAT solver calls = 0 Satisfiable SAT solver calls = 0 Unsatisfiable SAT solver calls = 0 Indeterminate SAT solver calls = 0 Move executions = 0 Produced CNF variables = 12354 Produced CNF clauses = 2547 Search steps = 0 Wall clock TIME (seconds) = 0.064 CPU/machine TIME (seconds) = 0.060 ] ] 78 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=9 --obstacle-probability=0.2 --seed=78 --cnf-level=12 --cnf-file=grid_6x6_r9_78.cnf ================================================================ reLOC 0.09-vegas : Grid Instance Generator (C) Copyright 2011-2013 Pavel Surynek ---------------------------------------------------------------- Phase statistics (current phase = 'root_phase') [ Phase (name = 'root_phase') [ Total SAT solver calls = 0 Satisfiable SAT solver calls = 0 Unsatisfiable SAT solver calls = 0 Indeterminate SAT solver calls = 0 Move executions = 0 Produced CNF variables = 15763 Produced CNF clauses = 1892 Search steps = 0 Wall clock TIME (seconds) = 0.085 CPU/machine TIME (seconds) = 0.080 ] ] 8546 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=9 --obstacle-probability=0.2 --seed=8546 --cnf-level=12 --cnf-file=grid_6x6_r9_8546.cnf ================================================================ reLOC 0.09-vegas : Grid Instance Generator (C) Copyright 2011-2013 Pavel Surynek ---------------------------------------------------------------- Phase statistics (current phase = 'root_phase') [ Phase (name = 'root_phase') [ Total SAT solver calls = 0 Satisfiable SAT solver calls = 0 Unsatisfiable SAT solver calls = 0 Indeterminate SAT solver calls = 0 Move executions = 0 Produced CNF variables = 14728 Produced CNF clauses = 2066 Search steps = 0 Wall clock TIME (seconds) = 0.079 CPU/machine TIME (seconds) = 0.070 ] ] 474 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=9 --obstacle-probability=0.2 --seed=474 --cnf-level=12 --cnf-file=grid_6x6_r9_474.cnf ================================================================ reLOC 0.09-vegas : Grid Instance Generator (C) Copyright 2011-2013 Pavel Surynek ---------------------------------------------------------------- Phase statistics (current phase = 'root_phase') [ Phase (name = 'root_phase') [ Total SAT solver calls = 0 Satisfiable SAT solver calls = 0 Unsatisfiable SAT solver calls = 0 Indeterminate SAT solver calls = 0 Move executions = 0 Produced CNF variables = 15044 Produced CNF clauses = 2047 Search steps = 0 Wall clock TIME (seconds) = 0.080 CPU/machine TIME (seconds) = 0.070 ] ] 188 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=9 --obstacle-probability=0.2 --seed=188 --cnf-level=12 --cnf-file=grid_6x6_r9_188.cnf ================================================================ reLOC 0.09-vegas : Grid Instance Generator (C) Copyright 2011-2013 Pavel Surynek ---------------------------------------------------------------- Phase statistics (current phase = 'root_phase') [ Phase (name = 'root_phase') [ Total SAT solver calls = 0 Satisfiable SAT solver calls = 0 Unsatisfiable SAT solver calls = 0 Indeterminate SAT solver calls = 0 Move executions = 0 Produced CNF variables = 15125 Produced CNF clauses = 1999 Search steps = 0 Wall clock TIME (seconds) = 0.081 CPU/machine TIME (seconds) = 0.080 ] ] 7899 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=9 --obstacle-probability=0.2 --seed=7899 --cnf-level=12 --cnf-file=grid_6x6_r9_7899.cnf ================================================================ reLOC 0.09-vegas : Grid Instance Generator (C) Copyright 2011-2013 Pavel Surynek ---------------------------------------------------------------- Phase statistics (current phase = 'root_phase') [ Phase (name = 'root_phase') [ Total SAT solver calls = 0 Satisfiable SAT solver calls = 0 Unsatisfiable SAT solver calls = 0 Indeterminate SAT solver calls = 0 Move executions = 0 Produced CNF variables = 15293 Produced CNF clauses = 2003 Search steps = 0 Wall clock TIME (seconds) = 0.082 CPU/machine TIME (seconds) = 0.070 ] ] 9 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=9 --obstacle-probability=0.2 --seed=9 --cnf-level=12 --cnf-file=grid_6x6_r9_9.cnf ================================================================ reLOC 0.09-vegas : Grid Instance Generator (C) Copyright 2011-2013 Pavel Surynek ---------------------------------------------------------------- Phase statistics (current phase = 'root_phase') [ Phase (name = 'root_phase') [ Total SAT solver calls = 0 Satisfiable SAT solver calls = 0 Unsatisfiable SAT solver calls = 0 Indeterminate SAT solver calls = 0 Move executions = 0 Produced CNF variables = 14166 Produced CNF clauses = 2155 Search steps = 0 Wall clock TIME (seconds) = 0.076 CPU/machine TIME (seconds) = 0.060 ] ] 774 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=9 --obstacle-probability=0.2 --seed=774 --cnf-level=12 --cnf-file=grid_6x6_r9_774.cnf ================================================================ reLOC 0.09-vegas : Grid Instance Generator (C) Copyright 2011-2013 Pavel Surynek ---------------------------------------------------------------- Phase statistics (current phase = 'root_phase') [ Phase (name = 'root_phase') [ Total SAT solver calls = 0 Satisfiable SAT solver calls = 0 Unsatisfiable SAT solver calls = 0 Indeterminate SAT solver calls = 0 Move executions = 0 Produced CNF variables = 18719 Produced CNF clauses = 5167 Search steps = 0 Wall clock TIME (seconds) = 0.119 CPU/machine TIME (seconds) = 0.110 ] ] 3455 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=10 --obstacle-probability=0.2 --seed=3455 --cnf-level=12 --cnf-file=grid_6x6_r10_3455.cnf ================================================================ reLOC 0.09-vegas : Grid Instance Generator (C) Copyright 2011-2013 Pavel Surynek ---------------------------------------------------------------- Phase statistics (current phase = 'root_phase') [ Phase (name = 'root_phase') [ Total SAT solver calls = 0 Satisfiable SAT solver calls = 0 Unsatisfiable SAT solver calls = 0 Indeterminate SAT solver calls = 0 Move executions = 0 Produced CNF variables = 14184 Produced CNF clauses = 2972 Search steps = 0 Wall clock TIME (seconds) = 0.071 CPU/machine TIME (seconds) = 0.060 ] ] 12 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=10 --obstacle-probability=0.2 --seed=12 --cnf-level=12 --cnf-file=grid_6x6_r10_12.cnf ================================================================ reLOC 0.09-vegas : Grid Instance Generator (C) Copyright 2011-2013 Pavel Surynek ---------------------------------------------------------------- Phase statistics (current phase = 'root_phase') [ Phase (name = 'root_phase') [ Total SAT solver calls = 0 Satisfiable SAT solver calls = 0 Unsatisfiable SAT solver calls = 0 Indeterminate SAT solver calls = 0 Move executions = 0 Produced CNF variables = 16140 Produced CNF clauses = 2554 Search steps = 0 Wall clock TIME (seconds) = 0.083 CPU/machine TIME (seconds) = 0.080 ] ] 45 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=10 --obstacle-probability=0.2 --seed=45 --cnf-level=12 --cnf-file=grid_6x6_r10_45.cnf ================================================================ reLOC 0.09-vegas : Grid Instance Generator (C) Copyright 2011-2013 Pavel Surynek ---------------------------------------------------------------- Phase statistics (current phase = 'root_phase') [ Phase (name = 'root_phase') [ Total SAT solver calls = 0 Satisfiable SAT solver calls = 0 Unsatisfiable SAT solver calls = 0 Indeterminate SAT solver calls = 0 Move executions = 0 Produced CNF variables = 14844 Produced CNF clauses = 2834 Search steps = 0 Wall clock TIME (seconds) = 0.076 CPU/machine TIME (seconds) = 0.070 ] ] 78 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=10 --obstacle-probability=0.2 --seed=78 --cnf-level=12 --cnf-file=grid_6x6_r10_78.cnf ================================================================ reLOC 0.09-vegas : Grid Instance Generator (C) Copyright 2011-2013 Pavel Surynek ---------------------------------------------------------------- Phase statistics (current phase = 'root_phase') [ Phase (name = 'root_phase') [ Total SAT solver calls = 0 Satisfiable SAT solver calls = 0 Unsatisfiable SAT solver calls = 0 Indeterminate SAT solver calls = 0 Move executions = 0 Produced CNF variables = 17638 Produced CNF clauses = 2308 Search steps = 0 Wall clock TIME (seconds) = 0.092 CPU/machine TIME (seconds) = 0.090 ] ] 8546 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=10 --obstacle-probability=0.2 --seed=8546 --cnf-level=12 --cnf-file=grid_6x6_r10_8546.cnf ================================================================ reLOC 0.09-vegas : Grid Instance Generator (C) Copyright 2011-2013 Pavel Surynek ---------------------------------------------------------------- Phase statistics (current phase = 'root_phase') [ Phase (name = 'root_phase') [ Total SAT solver calls = 0 Satisfiable SAT solver calls = 0 Unsatisfiable SAT solver calls = 0 Indeterminate SAT solver calls = 0 Move executions = 0 Produced CNF variables = 18128 Produced CNF clauses = 2167 Search steps = 0 Wall clock TIME (seconds) = 0.095 CPU/machine TIME (seconds) = 0.080 ] ] 474 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=10 --obstacle-probability=0.2 --seed=474 --cnf-level=12 --cnf-file=grid_6x6_r10_474.cnf ================================================================ reLOC 0.09-vegas : Grid Instance Generator (C) Copyright 2011-2013 Pavel Surynek ---------------------------------------------------------------- Phase statistics (current phase = 'root_phase') [ Phase (name = 'root_phase') [ Total SAT solver calls = 0 Satisfiable SAT solver calls = 0 Unsatisfiable SAT solver calls = 0 Indeterminate SAT solver calls = 0 Move executions = 0 Produced CNF variables = 17124 Produced CNF clauses = 2426 Search steps = 0 Wall clock TIME (seconds) = 0.091 CPU/machine TIME (seconds) = 0.090 ] ] 188 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=10 --obstacle-probability=0.2 --seed=188 --cnf-level=12 --cnf-file=grid_6x6_r10_188.cnf ================================================================ reLOC 0.09-vegas : Grid Instance Generator (C) Copyright 2011-2013 Pavel Surynek ---------------------------------------------------------------- Phase statistics (current phase = 'root_phase') [ Phase (name = 'root_phase') [ Total SAT solver calls = 0 Satisfiable SAT solver calls = 0 Unsatisfiable SAT solver calls = 0 Indeterminate SAT solver calls = 0 Move executions = 0 Produced CNF variables = 18030 Produced CNF clauses = 2210 Search steps = 0 Wall clock TIME (seconds) = 0.095 CPU/machine TIME (seconds) = 0.090 ] ] 7899 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=10 --obstacle-probability=0.2 --seed=7899 --cnf-level=12 --cnf-file=grid_6x6_r10_7899.cnf ================================================================ reLOC 0.09-vegas : Grid Instance Generator (C) Copyright 2011-2013 Pavel Surynek ---------------------------------------------------------------- Phase statistics (current phase = 'root_phase') [ Phase (name = 'root_phase') [ Total SAT solver calls = 0 Satisfiable SAT solver calls = 0 Unsatisfiable SAT solver calls = 0 Indeterminate SAT solver calls = 0 Move executions = 0 Produced CNF variables = 18350 Produced CNF clauses = 2179 Search steps = 0 Wall clock TIME (seconds) = 0.098 CPU/machine TIME (seconds) = 0.090 ] ] 9 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=10 --obstacle-probability=0.2 --seed=9 --cnf-level=12 --cnf-file=grid_6x6_r10_9.cnf ================================================================ reLOC 0.09-vegas : Grid Instance Generator (C) Copyright 2011-2013 Pavel Surynek ---------------------------------------------------------------- Phase statistics (current phase = 'root_phase') [ Phase (name = 'root_phase') [ Total SAT solver calls = 0 Satisfiable SAT solver calls = 0 Unsatisfiable SAT solver calls = 0 Indeterminate SAT solver calls = 0 Move executions = 0 Produced CNF variables = 16743 Produced CNF clauses = 2432 Search steps = 0 Wall clock TIME (seconds) = 0.089 CPU/machine TIME (seconds) = 0.080 ] ] 774 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=10 --obstacle-probability=0.2 --seed=774 --cnf-level=12 --cnf-file=grid_6x6_r10_774.cnf ================================================================ reLOC 0.09-vegas : Grid Instance Generator (C) Copyright 2011-2013 Pavel Surynek ---------------------------------------------------------------- Phase statistics (current phase = 'root_phase') [ Phase (name = 'root_phase') [ Total SAT solver calls = 0 Satisfiable SAT solver calls = 0 Unsatisfiable SAT solver calls = 0 Indeterminate SAT solver calls = 0 Move executions = 0 Produced CNF variables = 21895 Produced CNF clauses = 5798 Search steps = 0 Wall clock TIME (seconds) = 0.136 CPU/machine TIME (seconds) = 0.130 ] ] 3455 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=11 --obstacle-probability=0.2 --seed=3455 --cnf-level=12 --cnf-file=grid_6x6_r11_3455.cnf ================================================================ reLOC 0.09-vegas : Grid Instance Generator (C) Copyright 2011-2013 Pavel Surynek ---------------------------------------------------------------- Phase statistics (current phase = 'root_phase') [ Phase (name = 'root_phase') [ Total SAT solver calls = 0 Satisfiable SAT solver calls = 0 Unsatisfiable SAT solver calls = 0 Indeterminate SAT solver calls = 0 Move executions = 0 Produced CNF variables = 17340 Produced CNF clauses = 3184 Search steps = 0 Wall clock TIME (seconds) = 0.087 CPU/machine TIME (seconds) = 0.080 ] ] 12 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=11 --obstacle-probability=0.2 --seed=12 --cnf-level=12 --cnf-file=grid_6x6_r11_12.cnf ================================================================ reLOC 0.09-vegas : Grid Instance Generator (C) Copyright 2011-2013 Pavel Surynek ---------------------------------------------------------------- Phase statistics (current phase = 'root_phase') [ Phase (name = 'root_phase') [ Total SAT solver calls = 0 Satisfiable SAT solver calls = 0 Unsatisfiable SAT solver calls = 0 Indeterminate SAT solver calls = 0 Move executions = 0 Produced CNF variables = 17186 Produced CNF clauses = 3203 Search steps = 0 Wall clock TIME (seconds) = 0.087 CPU/machine TIME (seconds) = 0.080 ] ] 45 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=11 --obstacle-probability=0.2 --seed=45 --cnf-level=12 --cnf-file=grid_6x6_r11_45.cnf ================================================================ reLOC 0.09-vegas : Grid Instance Generator (C) Copyright 2011-2013 Pavel Surynek ---------------------------------------------------------------- Phase statistics (current phase = 'root_phase') [ Phase (name = 'root_phase') [ Total SAT solver calls = 0 Satisfiable SAT solver calls = 0 Unsatisfiable SAT solver calls = 0 Indeterminate SAT solver calls = 0 Move executions = 0 Produced CNF variables = 18074 Produced CNF clauses = 3004 Search steps = 0 Wall clock TIME (seconds) = 0.091 CPU/machine TIME (seconds) = 0.080 ] ] 78 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=11 --obstacle-probability=0.2 --seed=78 --cnf-level=12 --cnf-file=grid_6x6_r11_78.cnf ================================================================ reLOC 0.09-vegas : Grid Instance Generator (C) Copyright 2011-2013 Pavel Surynek ---------------------------------------------------------------- Phase statistics (current phase = 'root_phase') [ Phase (name = 'root_phase') [ Total SAT solver calls = 0 Satisfiable SAT solver calls = 0 Unsatisfiable SAT solver calls = 0 Indeterminate SAT solver calls = 0 Move executions = 0 Produced CNF variables = 21849 Produced CNF clauses = 2299 Search steps = 0 Wall clock TIME (seconds) = 0.115 CPU/machine TIME (seconds) = 0.110 ] ] 8546 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=11 --obstacle-probability=0.2 --seed=8546 --cnf-level=12 --cnf-file=grid_6x6_r11_8546.cnf ================================================================ reLOC 0.09-vegas : Grid Instance Generator (C) Copyright 2011-2013 Pavel Surynek ---------------------------------------------------------------- Phase statistics (current phase = 'root_phase') [ Phase (name = 'root_phase') [ Total SAT solver calls = 0 Satisfiable SAT solver calls = 0 Unsatisfiable SAT solver calls = 0 Indeterminate SAT solver calls = 0 Move executions = 0 Produced CNF variables = 21087 Produced CNF clauses = 2411 Search steps = 0 Wall clock TIME (seconds) = 0.110 CPU/machine TIME (seconds) = 0.100 ] ] 474 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=11 --obstacle-probability=0.2 --seed=474 --cnf-level=12 --cnf-file=grid_6x6_r11_474.cnf ================================================================ reLOC 0.09-vegas : Grid Instance Generator (C) Copyright 2011-2013 Pavel Surynek ---------------------------------------------------------------- Phase statistics (current phase = 'root_phase') [ Phase (name = 'root_phase') [ Total SAT solver calls = 0 Satisfiable SAT solver calls = 0 Unsatisfiable SAT solver calls = 0 Indeterminate SAT solver calls = 0 Move executions = 0 Produced CNF variables = 19094 Produced CNF clauses = 2869 Search steps = 0 Wall clock TIME (seconds) = 0.098 CPU/machine TIME (seconds) = 0.090 ] ] 188 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=11 --obstacle-probability=0.2 --seed=188 --cnf-level=12 --cnf-file=grid_6x6_r11_188.cnf ================================================================ reLOC 0.09-vegas : Grid Instance Generator (C) Copyright 2011-2013 Pavel Surynek ---------------------------------------------------------------- Phase statistics (current phase = 'root_phase') [ Phase (name = 'root_phase') [ Total SAT solver calls = 0 Satisfiable SAT solver calls = 0 Unsatisfiable SAT solver calls = 0 Indeterminate SAT solver calls = 0 Move executions = 0 Produced CNF variables = 20321 Produced CNF clauses = 2584 Search steps = 0 Wall clock TIME (seconds) = 0.105 CPU/machine TIME (seconds) = 0.100 ] ] 7899 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=11 --obstacle-probability=0.2 --seed=7899 --cnf-level=12 --cnf-file=grid_6x6_r11_7899.cnf ================================================================ reLOC 0.09-vegas : Grid Instance Generator (C) Copyright 2011-2013 Pavel Surynek ---------------------------------------------------------------- Phase statistics (current phase = 'root_phase') [ Phase (name = 'root_phase') [ Total SAT solver calls = 0 Satisfiable SAT solver calls = 0 Unsatisfiable SAT solver calls = 0 Indeterminate SAT solver calls = 0 Move executions = 0 Produced CNF variables = 21232 Produced CNF clauses = 2446 Search steps = 0 Wall clock TIME (seconds) = 0.111 CPU/machine TIME (seconds) = 0.100 ] ] 9 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=11 --obstacle-probability=0.2 --seed=9 --cnf-level=12 --cnf-file=grid_6x6_r11_9.cnf ================================================================ reLOC 0.09-vegas : Grid Instance Generator (C) Copyright 2011-2013 Pavel Surynek ---------------------------------------------------------------- Phase statistics (current phase = 'root_phase') [ Phase (name = 'root_phase') [ Total SAT solver calls = 0 Satisfiable SAT solver calls = 0 Unsatisfiable SAT solver calls = 0 Indeterminate SAT solver calls = 0 Move executions = 0 Produced CNF variables = 19283 Produced CNF clauses = 2754 Search steps = 0 Wall clock TIME (seconds) = 0.100 CPU/machine TIME (seconds) = 0.100 ] ] 774 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=11 --obstacle-probability=0.2 --seed=774 --cnf-level=12 --cnf-file=grid_6x6_r11_774.cnf ================================================================ reLOC 0.09-vegas : Grid Instance Generator (C) Copyright 2011-2013 Pavel Surynek ---------------------------------------------------------------- Phase statistics (current phase = 'root_phase') [ Phase (name = 'root_phase') [ Total SAT solver calls = 0 Satisfiable SAT solver calls = 0 Unsatisfiable SAT solver calls = 0 Indeterminate SAT solver calls = 0 Move executions = 0 Produced CNF variables = 25933 Produced CNF clauses = 6313 Search steps = 0 Wall clock TIME (seconds) = 0.157 CPU/machine TIME (seconds) = 0.150 ] ] 3455 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=12 --obstacle-probability=0.2 --seed=3455 --cnf-level=12 --cnf-file=grid_6x6_r12_3455.cnf ================================================================ reLOC 0.09-vegas : Grid Instance Generator (C) Copyright 2011-2013 Pavel Surynek ---------------------------------------------------------------- Phase statistics (current phase = 'root_phase') [ Phase (name = 'root_phase') [ Total SAT solver calls = 0 Satisfiable SAT solver calls = 0 Unsatisfiable SAT solver calls = 0 Indeterminate SAT solver calls = 0 Move executions = 0 Produced CNF variables = 20467 Produced CNF clauses = 3424 Search steps = 0 Wall clock TIME (seconds) = 0.100 CPU/machine TIME (seconds) = 0.090 ] ] 12 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=12 --obstacle-probability=0.2 --seed=12 --cnf-level=12 --cnf-file=grid_6x6_r12_12.cnf ================================================================ reLOC 0.09-vegas : Grid Instance Generator (C) Copyright 2011-2013 Pavel Surynek ---------------------------------------------------------------- Phase statistics (current phase = 'root_phase') [ Phase (name = 'root_phase') [ Total SAT solver calls = 0 Satisfiable SAT solver calls = 0 Unsatisfiable SAT solver calls = 0 Indeterminate SAT solver calls = 0 Move executions = 0 Produced CNF variables = 20810 Produced CNF clauses = 3348 Search steps = 0 Wall clock TIME (seconds) = 0.103 CPU/machine TIME (seconds) = 0.090 ] ] 45 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=12 --obstacle-probability=0.2 --seed=45 --cnf-level=12 --cnf-file=grid_6x6_r12_45.cnf ================================================================ reLOC 0.09-vegas : Grid Instance Generator (C) Copyright 2011-2013 Pavel Surynek ---------------------------------------------------------------- Phase statistics (current phase = 'root_phase') [ Phase (name = 'root_phase') [ Total SAT solver calls = 0 Satisfiable SAT solver calls = 0 Unsatisfiable SAT solver calls = 0 Indeterminate SAT solver calls = 0 Move executions = 0 Produced CNF variables = 20615 Produced CNF clauses = 3384 Search steps = 0 Wall clock TIME (seconds) = 0.102 CPU/machine TIME (seconds) = 0.100 ] ] 78 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=12 --obstacle-probability=0.2 --seed=78 --cnf-level=12 --cnf-file=grid_6x6_r12_78.cnf ================================================================ reLOC 0.09-vegas : Grid Instance Generator (C) Copyright 2011-2013 Pavel Surynek ---------------------------------------------------------------- Phase statistics (current phase = 'root_phase') [ Phase (name = 'root_phase') [ Total SAT solver calls = 0 Satisfiable SAT solver calls = 0 Unsatisfiable SAT solver calls = 0 Indeterminate SAT solver calls = 0 Move executions = 0 Produced CNF variables = 24348 Produced CNF clauses = 2680 Search steps = 0 Wall clock TIME (seconds) = 0.124 CPU/machine TIME (seconds) = 0.110 ] ] 8546 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=12 --obstacle-probability=0.2 --seed=8546 --cnf-level=12 --cnf-file=grid_6x6_r12_8546.cnf ================================================================ reLOC 0.09-vegas : Grid Instance Generator (C) Copyright 2011-2013 Pavel Surynek ---------------------------------------------------------------- Phase statistics (current phase = 'root_phase') [ Phase (name = 'root_phase') [ Total SAT solver calls = 0 Satisfiable SAT solver calls = 0 Unsatisfiable SAT solver calls = 0 Indeterminate SAT solver calls = 0 Move executions = 0 Produced CNF variables = 24736 Produced CNF clauses = 2552 Search steps = 0 Wall clock TIME (seconds) = 0.127 CPU/machine TIME (seconds) = 0.120 ] ] 474 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=12 --obstacle-probability=0.2 --seed=474 --cnf-level=12 --cnf-file=grid_6x6_r12_474.cnf ================================================================ reLOC 0.09-vegas : Grid Instance Generator (C) Copyright 2011-2013 Pavel Surynek ---------------------------------------------------------------- Phase statistics (current phase = 'root_phase') [ Phase (name = 'root_phase') [ Total SAT solver calls = 0 Satisfiable SAT solver calls = 0 Unsatisfiable SAT solver calls = 0 Indeterminate SAT solver calls = 0 Move executions = 0 Produced CNF variables = 23539 Produced CNF clauses = 2858 Search steps = 0 Wall clock TIME (seconds) = 0.119 CPU/machine TIME (seconds) = 0.120 ] ] 188 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=12 --obstacle-probability=0.2 --seed=188 --cnf-level=12 --cnf-file=grid_6x6_r12_188.cnf ================================================================ reLOC 0.09-vegas : Grid Instance Generator (C) Copyright 2011-2013 Pavel Surynek ---------------------------------------------------------------- Phase statistics (current phase = 'root_phase') [ Phase (name = 'root_phase') [ Total SAT solver calls = 0 Satisfiable SAT solver calls = 0 Unsatisfiable SAT solver calls = 0 Indeterminate SAT solver calls = 0 Move executions = 0 Produced CNF variables = 24445 Produced CNF clauses = 2648 Search steps = 0 Wall clock TIME (seconds) = 0.126 CPU/machine TIME (seconds) = 0.120 ] ] 7899 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=12 --obstacle-probability=0.2 --seed=7899 --cnf-level=12 --cnf-file=grid_6x6_r12_7899.cnf ================================================================ reLOC 0.09-vegas : Grid Instance Generator (C) Copyright 2011-2013 Pavel Surynek ---------------------------------------------------------------- Phase statistics (current phase = 'root_phase') [ Phase (name = 'root_phase') [ Total SAT solver calls = 0 Satisfiable SAT solver calls = 0 Unsatisfiable SAT solver calls = 0 Indeterminate SAT solver calls = 0 Move executions = 0 Produced CNF variables = 25635 Produced CNF clauses = 2455 Search steps = 0 Wall clock TIME (seconds) = 0.135 CPU/machine TIME (seconds) = 0.130 ] ] 9 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=12 --obstacle-probability=0.2 --seed=9 --cnf-level=12 --cnf-file=grid_6x6_r12_9.cnf ================================================================ reLOC 0.09-vegas : Grid Instance Generator (C) Copyright 2011-2013 Pavel Surynek ---------------------------------------------------------------- Phase statistics (current phase = 'root_phase') [ Phase (name = 'root_phase') [ Total SAT solver calls = 0 Satisfiable SAT solver calls = 0 Unsatisfiable SAT solver calls = 0 Indeterminate SAT solver calls = 0 Move executions = 0 Produced CNF variables = 22840 Produced CNF clauses = 2909 Search steps = 0 Wall clock TIME (seconds) = 0.116 CPU/machine TIME (seconds) = 0.110 ] ] 774 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=12 --obstacle-probability=0.2 --seed=774 --cnf-level=12 --cnf-file=grid_6x6_r12_774.cnf ================================================================ reLOC 0.09-vegas : Grid Instance Generator (C) Copyright 2011-2013 Pavel Surynek ---------------------------------------------------------------- Phase statistics (current phase = 'root_phase') [ Phase (name = 'root_phase') [ Total SAT solver calls = 0 Satisfiable SAT solver calls = 0 Unsatisfiable SAT solver calls = 0 Indeterminate SAT solver calls = 0 Move executions = 0 Produced CNF variables = 29935 Produced CNF clauses = 6888 Search steps = 0 Wall clock TIME (seconds) = 0.182 CPU/machine TIME (seconds) = 0.170 ] ] 3455 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=13 --obstacle-probability=0.2 --seed=3455 --cnf-level=12 --cnf-file=grid_6x6_r13_3455.cnf ================================================================ reLOC 0.09-vegas : Grid Instance Generator (C) Copyright 2011-2013 Pavel Surynek ---------------------------------------------------------------- Phase statistics (current phase = 'root_phase') [ Phase (name = 'root_phase') [ Total SAT solver calls = 0 Satisfiable SAT solver calls = 0 Unsatisfiable SAT solver calls = 0 Indeterminate SAT solver calls = 0 Move executions = 0 Produced CNF variables = 23075 Produced CNF clauses = 3847 Search steps = 0 Wall clock TIME (seconds) = 0.110 CPU/machine TIME (seconds) = 0.100 ] ] 12 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=13 --obstacle-probability=0.2 --seed=12 --cnf-level=12 --cnf-file=grid_6x6_r13_12.cnf ================================================================ reLOC 0.09-vegas : Grid Instance Generator (C) Copyright 2011-2013 Pavel Surynek ---------------------------------------------------------------- Phase statistics (current phase = 'root_phase') [ Phase (name = 'root_phase') [ Total SAT solver calls = 0 Satisfiable SAT solver calls = 0 Unsatisfiable SAT solver calls = 0 Indeterminate SAT solver calls = 0 Move executions = 0 Produced CNF variables = 24804 Produced CNF clauses = 3460 Search steps = 0 Wall clock TIME (seconds) = 0.122 CPU/machine TIME (seconds) = 0.110 ] ] 45 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=13 --obstacle-probability=0.2 --seed=45 --cnf-level=12 --cnf-file=grid_6x6_r13_45.cnf ================================================================ reLOC 0.09-vegas : Grid Instance Generator (C) Copyright 2011-2013 Pavel Surynek ---------------------------------------------------------------- Phase statistics (current phase = 'root_phase') [ Phase (name = 'root_phase') [ Total SAT solver calls = 0 Satisfiable SAT solver calls = 0 Unsatisfiable SAT solver calls = 0 Indeterminate SAT solver calls = 0 Move executions = 0 Produced CNF variables = 23928 Produced CNF clauses = 3653 Search steps = 0 Wall clock TIME (seconds) = 0.117 CPU/machine TIME (seconds) = 0.100 ] ] 78 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=13 --obstacle-probability=0.2 --seed=78 --cnf-level=12 --cnf-file=grid_6x6_r13_78.cnf ================================================================ reLOC 0.09-vegas : Grid Instance Generator (C) Copyright 2011-2013 Pavel Surynek ---------------------------------------------------------------- Phase statistics (current phase = 'root_phase') [ Phase (name = 'root_phase') [ Total SAT solver calls = 0 Satisfiable SAT solver calls = 0 Unsatisfiable SAT solver calls = 0 Indeterminate SAT solver calls = 0 Move executions = 0 Produced CNF variables = 27810 Produced CNF clauses = 2916 Search steps = 0 Wall clock TIME (seconds) = 0.142 CPU/machine TIME (seconds) = 0.130 ] ] 8546 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=13 --obstacle-probability=0.2 --seed=8546 --cnf-level=12 --cnf-file=grid_6x6_r13_8546.cnf ================================================================ reLOC 0.09-vegas : Grid Instance Generator (C) Copyright 2011-2013 Pavel Surynek ---------------------------------------------------------------- Phase statistics (current phase = 'root_phase') [ Phase (name = 'root_phase') [ Total SAT solver calls = 0 Satisfiable SAT solver calls = 0 Unsatisfiable SAT solver calls = 0 Indeterminate SAT solver calls = 0 Move executions = 0 Produced CNF variables = 27488 Produced CNF clauses = 2926 Search steps = 0 Wall clock TIME (seconds) = 0.139 CPU/machine TIME (seconds) = 0.130 ] ] 474 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=13 --obstacle-probability=0.2 --seed=474 --cnf-level=12 --cnf-file=grid_6x6_r13_474.cnf ================================================================ reLOC 0.09-vegas : Grid Instance Generator (C) Copyright 2011-2013 Pavel Surynek ---------------------------------------------------------------- Phase statistics (current phase = 'root_phase') [ Phase (name = 'root_phase') [ Total SAT solver calls = 0 Satisfiable SAT solver calls = 0 Unsatisfiable SAT solver calls = 0 Indeterminate SAT solver calls = 0 Move executions = 0 Produced CNF variables = 26844 Produced CNF clauses = 3125 Search steps = 0 Wall clock TIME (seconds) = 0.135 CPU/machine TIME (seconds) = 0.130 ] ] 188 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=13 --obstacle-probability=0.2 --seed=188 --cnf-level=12 --cnf-file=grid_6x6_r13_188.cnf ================================================================ reLOC 0.09-vegas : Grid Instance Generator (C) Copyright 2011-2013 Pavel Surynek ---------------------------------------------------------------- Phase statistics (current phase = 'root_phase') [ Phase (name = 'root_phase') [ Total SAT solver calls = 0 Satisfiable SAT solver calls = 0 Unsatisfiable SAT solver calls = 0 Indeterminate SAT solver calls = 0 Move executions = 0 Produced CNF variables = 27973 Produced CNF clauses = 2880 Search steps = 0 Wall clock TIME (seconds) = 0.141 CPU/machine TIME (seconds) = 0.130 ] ] 7899 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=13 --obstacle-probability=0.2 --seed=7899 --cnf-level=12 --cnf-file=grid_6x6_r13_7899.cnf ================================================================ reLOC 0.09-vegas : Grid Instance Generator (C) Copyright 2011-2013 Pavel Surynek ---------------------------------------------------------------- Phase statistics (current phase = 'root_phase') [ Phase (name = 'root_phase') [ Total SAT solver calls = 0 Satisfiable SAT solver calls = 0 Unsatisfiable SAT solver calls = 0 Indeterminate SAT solver calls = 0 Move executions = 0 Produced CNF variables = 28561 Produced CNF clauses = 2806 Search steps = 0 Wall clock TIME (seconds) = 0.144 CPU/machine TIME (seconds) = 0.140 ] ] 9 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=13 --obstacle-probability=0.2 --seed=9 --cnf-level=12 --cnf-file=grid_6x6_r13_9.cnf ================================================================ reLOC 0.09-vegas : Grid Instance Generator (C) Copyright 2011-2013 Pavel Surynek ---------------------------------------------------------------- Phase statistics (current phase = 'root_phase') [ Phase (name = 'root_phase') [ Total SAT solver calls = 0 Satisfiable SAT solver calls = 0 Unsatisfiable SAT solver calls = 0 Indeterminate SAT solver calls = 0 Move executions = 0 Produced CNF variables = 25558 Produced CNF clauses = 3295 Search steps = 0 Wall clock TIME (seconds) = 0.126 CPU/machine TIME (seconds) = 0.110 ] ] 774 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=13 --obstacle-probability=0.2 --seed=774 --cnf-level=12 --cnf-file=grid_6x6_r13_774.cnf ================================================================ reLOC 0.09-vegas : Grid Instance Generator (C) Copyright 2011-2013 Pavel Surynek ---------------------------------------------------------------- Phase statistics (current phase = 'root_phase') [ Phase (name = 'root_phase') [ Total SAT solver calls = 0 Satisfiable SAT solver calls = 0 Unsatisfiable SAT solver calls = 0 Indeterminate SAT solver calls = 0 Move executions = 0 Produced CNF variables = 33718 Produced CNF clauses = 7558 Search steps = 0 Wall clock TIME (seconds) = 0.195 CPU/machine TIME (seconds) = 0.180 ] ] 3455 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=14 --obstacle-probability=0.2 --seed=3455 --cnf-level=12 --cnf-file=grid_6x6_r14_3455.cnf ================================================================ reLOC 0.09-vegas : Grid Instance Generator (C) Copyright 2011-2013 Pavel Surynek ---------------------------------------------------------------- Phase statistics (current phase = 'root_phase') [ Phase (name = 'root_phase') [ Total SAT solver calls = 0 Satisfiable SAT solver calls = 0 Unsatisfiable SAT solver calls = 0 Indeterminate SAT solver calls = 0 Move executions = 0 Produced CNF variables = 25982 Produced CNF clauses = 4245 Search steps = 0 Wall clock TIME (seconds) = 0.122 CPU/machine TIME (seconds) = 0.110 ] ] 12 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=14 --obstacle-probability=0.2 --seed=12 --cnf-level=12 --cnf-file=grid_6x6_r14_12.cnf ================================================================ reLOC 0.09-vegas : Grid Instance Generator (C) Copyright 2011-2013 Pavel Surynek ---------------------------------------------------------------- Phase statistics (current phase = 'root_phase') [ Phase (name = 'root_phase') [ Total SAT solver calls = 0 Satisfiable SAT solver calls = 0 Unsatisfiable SAT solver calls = 0 Indeterminate SAT solver calls = 0 Move executions = 0 Produced CNF variables = 27897 Produced CNF clauses = 3819 Search steps = 0 Wall clock TIME (seconds) = 0.136 CPU/machine TIME (seconds) = 0.130 ] ] 45 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=14 --obstacle-probability=0.2 --seed=45 --cnf-level=12 --cnf-file=grid_6x6_r14_45.cnf ================================================================ reLOC 0.09-vegas : Grid Instance Generator (C) Copyright 2011-2013 Pavel Surynek ---------------------------------------------------------------- Phase statistics (current phase = 'root_phase') [ Phase (name = 'root_phase') [ Total SAT solver calls = 0 Satisfiable SAT solver calls = 0 Unsatisfiable SAT solver calls = 0 Indeterminate SAT solver calls = 0 Move executions = 0 Produced CNF variables = 27626 Produced CNF clauses = 3879 Search steps = 0 Wall clock TIME (seconds) = 0.131 CPU/machine TIME (seconds) = 0.130 ] ] 78 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=14 --obstacle-probability=0.2 --seed=78 --cnf-level=12 --cnf-file=grid_6x6_r14_78.cnf ================================================================ reLOC 0.09-vegas : Grid Instance Generator (C) Copyright 2011-2013 Pavel Surynek ---------------------------------------------------------------- Phase statistics (current phase = 'root_phase') [ Phase (name = 'root_phase') [ Total SAT solver calls = 0 Satisfiable SAT solver calls = 0 Unsatisfiable SAT solver calls = 0 Indeterminate SAT solver calls = 0 Move executions = 0 Produced CNF variables = 32237 Produced CNF clauses = 3003 Search steps = 0 Wall clock TIME (seconds) = 0.163 CPU/machine TIME (seconds) = 0.160 ] ] 8546 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=14 --obstacle-probability=0.2 --seed=8546 --cnf-level=12 --cnf-file=grid_6x6_r14_8546.cnf ================================================================ reLOC 0.09-vegas : Grid Instance Generator (C) Copyright 2011-2013 Pavel Surynek ---------------------------------------------------------------- Phase statistics (current phase = 'root_phase') [ Phase (name = 'root_phase') [ Total SAT solver calls = 0 Satisfiable SAT solver calls = 0 Unsatisfiable SAT solver calls = 0 Indeterminate SAT solver calls = 0 Move executions = 0 Produced CNF variables = 31120 Produced CNF clauses = 3169 Search steps = 0 Wall clock TIME (seconds) = 0.155 CPU/machine TIME (seconds) = 0.150 ] ] 474 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=14 --obstacle-probability=0.2 --seed=474 --cnf-level=12 --cnf-file=grid_6x6_r14_474.cnf ================================================================ reLOC 0.09-vegas : Grid Instance Generator (C) Copyright 2011-2013 Pavel Surynek ---------------------------------------------------------------- Phase statistics (current phase = 'root_phase') [ Phase (name = 'root_phase') [ Total SAT solver calls = 0 Satisfiable SAT solver calls = 0 Unsatisfiable SAT solver calls = 0 Indeterminate SAT solver calls = 0 Move executions = 0 Produced CNF variables = 31975 Produced CNF clauses = 3085 Search steps = 0 Wall clock TIME (seconds) = 0.163 CPU/machine TIME (seconds) = 0.160 ] ] 188 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=14 --obstacle-probability=0.2 --seed=188 --cnf-level=12 --cnf-file=grid_6x6_r14_188.cnf ================================================================ reLOC 0.09-vegas : Grid Instance Generator (C) Copyright 2011-2013 Pavel Surynek ---------------------------------------------------------------- Phase statistics (current phase = 'root_phase') [ Phase (name = 'root_phase') [ Total SAT solver calls = 0 Satisfiable SAT solver calls = 0 Unsatisfiable SAT solver calls = 0 Indeterminate SAT solver calls = 0 Move executions = 0 Produced CNF variables = 32220 Produced CNF clauses = 3000 Search steps = 0 Wall clock TIME (seconds) = 0.163 CPU/machine TIME (seconds) = 0.150 ] ] 7899 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=14 --obstacle-probability=0.2 --seed=7899 --cnf-level=12 --cnf-file=grid_6x6_r14_7899.cnf ================================================================ reLOC 0.09-vegas : Grid Instance Generator (C) Copyright 2011-2013 Pavel Surynek ---------------------------------------------------------------- Phase statistics (current phase = 'root_phase') [ Phase (name = 'root_phase') [ Total SAT solver calls = 0 Satisfiable SAT solver calls = 0 Unsatisfiable SAT solver calls = 0 Indeterminate SAT solver calls = 0 Move executions = 0 Produced CNF variables = 32694 Produced CNF clauses = 2947 Search steps = 0 Wall clock TIME (seconds) = 0.164 CPU/machine TIME (seconds) = 0.160 ] ] 9 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=14 --obstacle-probability=0.2 --seed=9 --cnf-level=12 --cnf-file=grid_6x6_r14_9.cnf ================================================================ reLOC 0.09-vegas : Grid Instance Generator (C) Copyright 2011-2013 Pavel Surynek ---------------------------------------------------------------- Phase statistics (current phase = 'root_phase') [ Phase (name = 'root_phase') [ Total SAT solver calls = 0 Satisfiable SAT solver calls = 0 Unsatisfiable SAT solver calls = 0 Indeterminate SAT solver calls = 0 Move executions = 0 Produced CNF variables = 29493 Produced CNF clauses = 3472 Search steps = 0 Wall clock TIME (seconds) = 0.144 CPU/machine TIME (seconds) = 0.140 ] ] 774 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=14 --obstacle-probability=0.2 --seed=774 --cnf-level=12 --cnf-file=grid_6x6_r14_774.cnf ================================================================ reLOC 0.09-vegas : Grid Instance Generator (C) Copyright 2011-2013 Pavel Surynek ---------------------------------------------------------------- Phase statistics (current phase = 'root_phase') [ Phase (name = 'root_phase') [ Total SAT solver calls = 0 Satisfiable SAT solver calls = 0 Unsatisfiable SAT solver calls = 0 Indeterminate SAT solver calls = 0 Move executions = 0 Produced CNF variables = 38400 Produced CNF clauses = 8113 Search steps = 0 Wall clock TIME (seconds) = 0.219 CPU/machine TIME (seconds) = 0.220 ] ] 3455 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=15 --obstacle-probability=0.2 --seed=3455 --cnf-level=12 --cnf-file=grid_6x6_r15_3455.cnf ================================================================ reLOC 0.09-vegas : Grid Instance Generator (C) Copyright 2011-2013 Pavel Surynek ---------------------------------------------------------------- Phase statistics (current phase = 'root_phase') [ Phase (name = 'root_phase') [ Total SAT solver calls = 0 Satisfiable SAT solver calls = 0 Unsatisfiable SAT solver calls = 0 Indeterminate SAT solver calls = 0 Move executions = 0 Produced CNF variables = 30365 Produced CNF clauses = 4379 Search steps = 0 Wall clock TIME (seconds) = 0.143 CPU/machine TIME (seconds) = 0.140 ] ] 12 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=15 --obstacle-probability=0.2 --seed=12 --cnf-level=12 --cnf-file=grid_6x6_r15_12.cnf ================================================================ reLOC 0.09-vegas : Grid Instance Generator (C) Copyright 2011-2013 Pavel Surynek ---------------------------------------------------------------- Phase statistics (current phase = 'root_phase') [ Phase (name = 'root_phase') [ Total SAT solver calls = 0 Satisfiable SAT solver calls = 0 Unsatisfiable SAT solver calls = 0 Indeterminate SAT solver calls = 0 Move executions = 0 Produced CNF variables = 31781 Produced CNF clauses = 4058 Search steps = 0 Wall clock TIME (seconds) = 0.150 CPU/machine TIME (seconds) = 0.140 ] ] 45 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=15 --obstacle-probability=0.2 --seed=45 --cnf-level=12 --cnf-file=grid_6x6_r15_45.cnf ================================================================ reLOC 0.09-vegas : Grid Instance Generator (C) Copyright 2011-2013 Pavel Surynek ---------------------------------------------------------------- Phase statistics (current phase = 'root_phase') [ Phase (name = 'root_phase') [ Total SAT solver calls = 0 Satisfiable SAT solver calls = 0 Unsatisfiable SAT solver calls = 0 Indeterminate SAT solver calls = 0 Move executions = 0 Produced CNF variables = 30903 Produced CNF clauses = 4252 Search steps = 0 Wall clock TIME (seconds) = 0.144 CPU/machine TIME (seconds) = 0.140 ] ] 78 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=15 --obstacle-probability=0.2 --seed=78 --cnf-level=12 --cnf-file=grid_6x6_r15_78.cnf ================================================================ reLOC 0.09-vegas : Grid Instance Generator (C) Copyright 2011-2013 Pavel Surynek ---------------------------------------------------------------- Phase statistics (current phase = 'root_phase') [ Phase (name = 'root_phase') [ Total SAT solver calls = 0 Satisfiable SAT solver calls = 0 Unsatisfiable SAT solver calls = 0 Indeterminate SAT solver calls = 0 Move executions = 0 Produced CNF variables = 35873 Produced CNF clauses = 3295 Search steps = 0 Wall clock TIME (seconds) = 0.178 CPU/machine TIME (seconds) = 0.160 ] ] 8546 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=15 --obstacle-probability=0.2 --seed=8546 --cnf-level=12 --cnf-file=grid_6x6_r15_8546.cnf ================================================================ reLOC 0.09-vegas : Grid Instance Generator (C) Copyright 2011-2013 Pavel Surynek ---------------------------------------------------------------- Phase statistics (current phase = 'root_phase') [ Phase (name = 'root_phase') [ Total SAT solver calls = 0 Satisfiable SAT solver calls = 0 Unsatisfiable SAT solver calls = 0 Indeterminate SAT solver calls = 0 Move executions = 0 Produced CNF variables = 34914 Produced CNF clauses = 3437 Search steps = 0 Wall clock TIME (seconds) = 0.172 CPU/machine TIME (seconds) = 0.160 ] ] 474 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=15 --obstacle-probability=0.2 --seed=474 --cnf-level=12 --cnf-file=grid_6x6_r15_474.cnf ================================================================ reLOC 0.09-vegas : Grid Instance Generator (C) Copyright 2011-2013 Pavel Surynek ---------------------------------------------------------------- Phase statistics (current phase = 'root_phase') [ Phase (name = 'root_phase') [ Total SAT solver calls = 0 Satisfiable SAT solver calls = 0 Unsatisfiable SAT solver calls = 0 Indeterminate SAT solver calls = 0 Move executions = 0 Produced CNF variables = 35328 Produced CNF clauses = 3434 Search steps = 0 Wall clock TIME (seconds) = 0.173 CPU/machine TIME (seconds) = 0.160 ] ] 188 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=15 --obstacle-probability=0.2 --seed=188 --cnf-level=12 --cnf-file=grid_6x6_r15_188.cnf ================================================================ reLOC 0.09-vegas : Grid Instance Generator (C) Copyright 2011-2013 Pavel Surynek ---------------------------------------------------------------- Phase statistics (current phase = 'root_phase') [ Phase (name = 'root_phase') [ Total SAT solver calls = 0 Satisfiable SAT solver calls = 0 Unsatisfiable SAT solver calls = 0 Indeterminate SAT solver calls = 0 Move executions = 0 Produced CNF variables = 35853 Produced CNF clauses = 3278 Search steps = 0 Wall clock TIME (seconds) = 0.179 CPU/machine TIME (seconds) = 0.170 ] ] 7899 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=15 --obstacle-probability=0.2 --seed=7899 --cnf-level=12 --cnf-file=grid_6x6_r15_7899.cnf ================================================================ reLOC 0.09-vegas : Grid Instance Generator (C) Copyright 2011-2013 Pavel Surynek ---------------------------------------------------------------- Phase statistics (current phase = 'root_phase') [ Phase (name = 'root_phase') [ Total SAT solver calls = 0 Satisfiable SAT solver calls = 0 Unsatisfiable SAT solver calls = 0 Indeterminate SAT solver calls = 0 Move executions = 0 Produced CNF variables = 36758 Produced CNF clauses = 3162 Search steps = 0 Wall clock TIME (seconds) = 0.185 CPU/machine TIME (seconds) = 0.170 ] ] 9 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=15 --obstacle-probability=0.2 --seed=9 --cnf-level=12 --cnf-file=grid_6x6_r15_9.cnf ================================================================ reLOC 0.09-vegas : Grid Instance Generator (C) Copyright 2011-2013 Pavel Surynek ---------------------------------------------------------------- Phase statistics (current phase = 'root_phase') [ Phase (name = 'root_phase') [ Total SAT solver calls = 0 Satisfiable SAT solver calls = 0 Unsatisfiable SAT solver calls = 0 Indeterminate SAT solver calls = 0 Move executions = 0 Produced CNF variables = 33101 Produced CNF clauses = 3768 Search steps = 0 Wall clock TIME (seconds) = 0.161 CPU/machine TIME (seconds) = 0.150 ] ] 774 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=15 --obstacle-probability=0.2 --seed=774 --cnf-level=12 --cnf-file=grid_6x6_r15_774.cnf ================================================================ reLOC 0.09-vegas : Grid Instance Generator (C) Copyright 2011-2013 Pavel Surynek ---------------------------------------------------------------- Phase statistics (current phase = 'root_phase') [ Phase (name = 'root_phase') [ Total SAT solver calls = 0 Satisfiable SAT solver calls = 0 Unsatisfiable SAT solver calls = 0 Indeterminate SAT solver calls = 0 Move executions = 0 Produced CNF variables = 43168 Produced CNF clauses = 8695 Search steps = 0 Wall clock TIME (seconds) = 0.240 CPU/machine TIME (seconds) = 0.230 ] ] 3455 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=16 --obstacle-probability=0.2 --seed=3455 --cnf-level=12 --cnf-file=grid_6x6_r16_3455.cnf ================================================================ reLOC 0.09-vegas : Grid Instance Generator (C) Copyright 2011-2013 Pavel Surynek ---------------------------------------------------------------- Phase statistics (current phase = 'root_phase') [ Phase (name = 'root_phase') [ Total SAT solver calls = 0 Satisfiable SAT solver calls = 0 Unsatisfiable SAT solver calls = 0 Indeterminate SAT solver calls = 0 Move executions = 0 Produced CNF variables = 34159 Produced CNF clauses = 4682 Search steps = 0 Wall clock TIME (seconds) = 0.160 CPU/machine TIME (seconds) = 0.150 ] ] 12 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=16 --obstacle-probability=0.2 --seed=12 --cnf-level=12 --cnf-file=grid_6x6_r16_12.cnf ================================================================ reLOC 0.09-vegas : Grid Instance Generator (C) Copyright 2011-2013 Pavel Surynek ---------------------------------------------------------------- Phase statistics (current phase = 'root_phase') [ Phase (name = 'root_phase') [ Total SAT solver calls = 0 Satisfiable SAT solver calls = 0 Unsatisfiable SAT solver calls = 0 Indeterminate SAT solver calls = 0 Move executions = 0 Produced CNF variables = 34991 Produced CNF clauses = 4486 Search steps = 0 Wall clock TIME (seconds) = 0.161 CPU/machine TIME (seconds) = 0.150 ] ] 45 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=16 --obstacle-probability=0.2 --seed=45 --cnf-level=12 --cnf-file=grid_6x6_r16_45.cnf ================================================================ reLOC 0.09-vegas : Grid Instance Generator (C) Copyright 2011-2013 Pavel Surynek ---------------------------------------------------------------- Phase statistics (current phase = 'root_phase') [ Phase (name = 'root_phase') [ Total SAT solver calls = 0 Satisfiable SAT solver calls = 0 Unsatisfiable SAT solver calls = 0 Indeterminate SAT solver calls = 0 Move executions = 0 Produced CNF variables = 35435 Produced CNF clauses = 4395 Search steps = 0 Wall clock TIME (seconds) = 0.167 CPU/machine TIME (seconds) = 0.160 ] ] 78 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=16 --obstacle-probability=0.2 --seed=78 --cnf-level=12 --cnf-file=grid_6x6_r16_78.cnf ================================================================ reLOC 0.09-vegas : Grid Instance Generator (C) Copyright 2011-2013 Pavel Surynek ---------------------------------------------------------------- Phase statistics (current phase = 'root_phase') [ Phase (name = 'root_phase') [ Total SAT solver calls = 0 Satisfiable SAT solver calls = 0 Unsatisfiable SAT solver calls = 0 Indeterminate SAT solver calls = 0 Move executions = 0 Produced CNF variables = 39664 Produced CNF clauses = 3603 Search steps = 0 Wall clock TIME (seconds) = 0.193 CPU/machine TIME (seconds) = 0.180 ] ] 8546 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=16 --obstacle-probability=0.2 --seed=8546 --cnf-level=12 --cnf-file=grid_6x6_r16_8546.cnf ================================================================ reLOC 0.09-vegas : Grid Instance Generator (C) Copyright 2011-2013 Pavel Surynek ---------------------------------------------------------------- Phase statistics (current phase = 'root_phase') [ Phase (name = 'root_phase') [ Total SAT solver calls = 0 Satisfiable SAT solver calls = 0 Unsatisfiable SAT solver calls = 0 Indeterminate SAT solver calls = 0 Move executions = 0 Produced CNF variables = 39428 Produced CNF clauses = 3589 Search steps = 0 Wall clock TIME (seconds) = 0.191 CPU/machine TIME (seconds) = 0.180 ] ] 474 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=16 --obstacle-probability=0.2 --seed=474 --cnf-level=12 --cnf-file=grid_6x6_r16_474.cnf ================================================================ reLOC 0.09-vegas : Grid Instance Generator (C) Copyright 2011-2013 Pavel Surynek ---------------------------------------------------------------- Phase statistics (current phase = 'root_phase') [ Phase (name = 'root_phase') [ Total SAT solver calls = 0 Satisfiable SAT solver calls = 0 Unsatisfiable SAT solver calls = 0 Indeterminate SAT solver calls = 0 Move executions = 0 Produced CNF variables = 37775 Produced CNF clauses = 4010 Search steps = 0 Wall clock TIME (seconds) = 0.183 CPU/machine TIME (seconds) = 0.170 ] ] 188 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=16 --obstacle-probability=0.2 --seed=188 --cnf-level=12 --cnf-file=grid_6x6_r16_188.cnf ================================================================ reLOC 0.09-vegas : Grid Instance Generator (C) Copyright 2011-2013 Pavel Surynek ---------------------------------------------------------------- Phase statistics (current phase = 'root_phase') [ Phase (name = 'root_phase') [ Total SAT solver calls = 0 Satisfiable SAT solver calls = 0 Unsatisfiable SAT solver calls = 0 Indeterminate SAT solver calls = 0 Move executions = 0 Produced CNF variables = 40189 Produced CNF clauses = 3479 Search steps = 0 Wall clock TIME (seconds) = 0.196 CPU/machine TIME (seconds) = 0.190 ] ] 7899 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=16 --obstacle-probability=0.2 --seed=7899 --cnf-level=12 --cnf-file=grid_6x6_r16_7899.cnf ================================================================ reLOC 0.09-vegas : Grid Instance Generator (C) Copyright 2011-2013 Pavel Surynek ---------------------------------------------------------------- Phase statistics (current phase = 'root_phase') [ Phase (name = 'root_phase') [ Total SAT solver calls = 0 Satisfiable SAT solver calls = 0 Unsatisfiable SAT solver calls = 0 Indeterminate SAT solver calls = 0 Move executions = 0 Produced CNF variables = 41060 Produced CNF clauses = 3375 Search steps = 0 Wall clock TIME (seconds) = 0.203 CPU/machine TIME (seconds) = 0.200 ] ] 9 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=16 --obstacle-probability=0.2 --seed=9 --cnf-level=12 --cnf-file=grid_6x6_r16_9.cnf ================================================================ reLOC 0.09-vegas : Grid Instance Generator (C) Copyright 2011-2013 Pavel Surynek ---------------------------------------------------------------- Phase statistics (current phase = 'root_phase') [ Phase (name = 'root_phase') [ Total SAT solver calls = 0 Satisfiable SAT solver calls = 0 Unsatisfiable SAT solver calls = 0 Indeterminate SAT solver calls = 0 Move executions = 0 Produced CNF variables = 37595 Produced CNF clauses = 3922 Search steps = 0 Wall clock TIME (seconds) = 0.179 CPU/machine TIME (seconds) = 0.170 ] ] 774 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=16 --obstacle-probability=0.2 --seed=774 --cnf-level=12 --cnf-file=grid_6x6_r16_774.cnf ================================================================ reLOC 0.09-vegas : Grid Instance Generator (C) Copyright 2011-2013 Pavel Surynek ---------------------------------------------------------------- Phase statistics (current phase = 'root_phase') [ Phase (name = 'root_phase') [ Total SAT solver calls = 0 Satisfiable SAT solver calls = 0 Unsatisfiable SAT solver calls = 0 Indeterminate SAT solver calls = 0 Move executions = 0 Produced CNF variables = 47614 Produced CNF clauses = 9400 Search steps = 0 Wall clock TIME (seconds) = 0.265 CPU/machine TIME (seconds) = 0.260 ] ] 3455 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=17 --obstacle-probability=0.2 --seed=3455 --cnf-level=12 --cnf-file=grid_6x6_r17_3455.cnf ================================================================ reLOC 0.09-vegas : Grid Instance Generator (C) Copyright 2011-2013 Pavel Surynek ---------------------------------------------------------------- Phase statistics (current phase = 'root_phase') [ Phase (name = 'root_phase') [ Total SAT solver calls = 0 Satisfiable SAT solver calls = 0 Unsatisfiable SAT solver calls = 0 Indeterminate SAT solver calls = 0 Move executions = 0 Produced CNF variables = 38592 Produced CNF clauses = 4898 Search steps = 0 Wall clock TIME (seconds) = 0.178 CPU/machine TIME (seconds) = 0.180 ] ] 12 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=17 --obstacle-probability=0.2 --seed=12 --cnf-level=12 --cnf-file=grid_6x6_r17_12.cnf ================================================================ reLOC 0.09-vegas : Grid Instance Generator (C) Copyright 2011-2013 Pavel Surynek ---------------------------------------------------------------- Phase statistics (current phase = 'root_phase') [ Phase (name = 'root_phase') [ Total SAT solver calls = 0 Satisfiable SAT solver calls = 0 Unsatisfiable SAT solver calls = 0 Indeterminate SAT solver calls = 0 Move executions = 0 Produced CNF variables = 40044 Produced CNF clauses = 4568 Search steps = 0 Wall clock TIME (seconds) = 0.187 CPU/machine TIME (seconds) = 0.180 ] ] 45 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=17 --obstacle-probability=0.2 --seed=45 --cnf-level=12 --cnf-file=grid_6x6_r17_45.cnf ================================================================ reLOC 0.09-vegas : Grid Instance Generator (C) Copyright 2011-2013 Pavel Surynek ---------------------------------------------------------------- Phase statistics (current phase = 'root_phase') [ Phase (name = 'root_phase') [ Total SAT solver calls = 0 Satisfiable SAT solver calls = 0 Unsatisfiable SAT solver calls = 0 Indeterminate SAT solver calls = 0 Move executions = 0 Produced CNF variables = 39352 Produced CNF clauses = 4723 Search steps = 0 Wall clock TIME (seconds) = 0.184 CPU/machine TIME (seconds) = 0.180 ] ] 78 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=17 --obstacle-probability=0.2 --seed=78 --cnf-level=12 --cnf-file=grid_6x6_r17_78.cnf ================================================================ reLOC 0.09-vegas : Grid Instance Generator (C) Copyright 2011-2013 Pavel Surynek ---------------------------------------------------------------- Phase statistics (current phase = 'root_phase') [ Phase (name = 'root_phase') [ Total SAT solver calls = 0 Satisfiable SAT solver calls = 0 Unsatisfiable SAT solver calls = 0 Indeterminate SAT solver calls = 0 Move executions = 0 Produced CNF variables = 44291 Produced CNF clauses = 3790 Search steps = 0 Wall clock TIME (seconds) = 0.214 CPU/machine TIME (seconds) = 0.210 ] ] 8546 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=17 --obstacle-probability=0.2 --seed=8546 --cnf-level=12 --cnf-file=grid_6x6_r17_8546.cnf ================================================================ reLOC 0.09-vegas : Grid Instance Generator (C) Copyright 2011-2013 Pavel Surynek ---------------------------------------------------------------- Phase statistics (current phase = 'root_phase') [ Phase (name = 'root_phase') [ Total SAT solver calls = 0 Satisfiable SAT solver calls = 0 Unsatisfiable SAT solver calls = 0 Indeterminate SAT solver calls = 0 Move executions = 0 Produced CNF variables = 44189 Produced CNF clauses = 3748 Search steps = 0 Wall clock TIME (seconds) = 0.217 CPU/machine TIME (seconds) = 0.210 ] ] 474 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=17 --obstacle-probability=0.2 --seed=474 --cnf-level=12 --cnf-file=grid_6x6_r17_474.cnf ================================================================ reLOC 0.09-vegas : Grid Instance Generator (C) Copyright 2011-2013 Pavel Surynek ---------------------------------------------------------------- Phase statistics (current phase = 'root_phase') [ Phase (name = 'root_phase') [ Total SAT solver calls = 0 Satisfiable SAT solver calls = 0 Unsatisfiable SAT solver calls = 0 Indeterminate SAT solver calls = 0 Move executions = 0 Produced CNF variables = 42698 Produced CNF clauses = 4138 Search steps = 0 Wall clock TIME (seconds) = 0.203 CPU/machine TIME (seconds) = 0.190 ] ] 188 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=17 --obstacle-probability=0.2 --seed=188 --cnf-level=12 --cnf-file=grid_6x6_r17_188.cnf ================================================================ reLOC 0.09-vegas : Grid Instance Generator (C) Copyright 2011-2013 Pavel Surynek ---------------------------------------------------------------- Phase statistics (current phase = 'root_phase') [ Phase (name = 'root_phase') [ Total SAT solver calls = 0 Satisfiable SAT solver calls = 0 Unsatisfiable SAT solver calls = 0 Indeterminate SAT solver calls = 0 Move executions = 0 Produced CNF variables = 44093 Produced CNF clauses = 3804 Search steps = 0 Wall clock TIME (seconds) = 0.212 CPU/machine TIME (seconds) = 0.200 ] ] 7899 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=17 --obstacle-probability=0.2 --seed=7899 --cnf-level=12 --cnf-file=grid_6x6_r17_7899.cnf ================================================================ reLOC 0.09-vegas : Grid Instance Generator (C) Copyright 2011-2013 Pavel Surynek ---------------------------------------------------------------- Phase statistics (current phase = 'root_phase') [ Phase (name = 'root_phase') [ Total SAT solver calls = 0 Satisfiable SAT solver calls = 0 Unsatisfiable SAT solver calls = 0 Indeterminate SAT solver calls = 0 Move executions = 0 Produced CNF variables = 45687 Produced CNF clauses = 3557 Search steps = 0 Wall clock TIME (seconds) = 0.223 CPU/machine TIME (seconds) = 0.210 ] ] 9 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=17 --obstacle-probability=0.2 --seed=9 --cnf-level=12 --cnf-file=grid_6x6_r17_9.cnf ================================================================ reLOC 0.09-vegas : Grid Instance Generator (C) Copyright 2011-2013 Pavel Surynek ---------------------------------------------------------------- Phase statistics (current phase = 'root_phase') [ Phase (name = 'root_phase') [ Total SAT solver calls = 0 Satisfiable SAT solver calls = 0 Unsatisfiable SAT solver calls = 0 Indeterminate SAT solver calls = 0 Move executions = 0 Produced CNF variables = 41992 Produced CNF clauses = 4156 Search steps = 0 Wall clock TIME (seconds) = 0.199 CPU/machine TIME (seconds) = 0.190 ] ] 774 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=17 --obstacle-probability=0.2 --seed=774 --cnf-level=12 --cnf-file=grid_6x6_r17_774.cnf ================================================================ reLOC 0.09-vegas : Grid Instance Generator (C) Copyright 2011-2013 Pavel Surynek ---------------------------------------------------------------- Phase statistics (current phase = 'root_phase') [ Phase (name = 'root_phase') [ Total SAT solver calls = 0 Satisfiable SAT solver calls = 0 Unsatisfiable SAT solver calls = 0 Indeterminate SAT solver calls = 0 Move executions = 0 Produced CNF variables = 52532 Produced CNF clauses = 10059 Search steps = 0 Wall clock TIME (seconds) = 0.286 CPU/machine TIME (seconds) = 0.270 ] ] 3455 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=18 --obstacle-probability=0.2 --seed=3455 --cnf-level=12 --cnf-file=grid_6x6_r18_3455.cnf ================================================================ reLOC 0.09-vegas : Grid Instance Generator (C) Copyright 2011-2013 Pavel Surynek ---------------------------------------------------------------- Phase statistics (current phase = 'root_phase') [ Phase (name = 'root_phase') [ Total SAT solver calls = 0 Satisfiable SAT solver calls = 0 Unsatisfiable SAT solver calls = 0 Indeterminate SAT solver calls = 0 Move executions = 0 Produced CNF variables = 43701 Produced CNF clauses = 5013 Search steps = 0 Wall clock TIME (seconds) = 0.205 CPU/machine TIME (seconds) = 0.190 ] ] 12 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=18 --obstacle-probability=0.2 --seed=12 --cnf-level=12 --cnf-file=grid_6x6_r18_12.cnf ================================================================ reLOC 0.09-vegas : Grid Instance Generator (C) Copyright 2011-2013 Pavel Surynek ---------------------------------------------------------------- Phase statistics (current phase = 'root_phase') [ Phase (name = 'root_phase') [ Total SAT solver calls = 0 Satisfiable SAT solver calls = 0 Unsatisfiable SAT solver calls = 0 Indeterminate SAT solver calls = 0 Move executions = 0 Produced CNF variables = 44843 Produced CNF clauses = 4761 Search steps = 0 Wall clock TIME (seconds) = 0.212 CPU/machine TIME (seconds) = 0.210 ] ] 45 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=18 --obstacle-probability=0.2 --seed=45 --cnf-level=12 --cnf-file=grid_6x6_r18_45.cnf ================================================================ reLOC 0.09-vegas : Grid Instance Generator (C) Copyright 2011-2013 Pavel Surynek ---------------------------------------------------------------- Phase statistics (current phase = 'root_phase') [ Phase (name = 'root_phase') [ Total SAT solver calls = 0 Satisfiable SAT solver calls = 0 Unsatisfiable SAT solver calls = 0 Indeterminate SAT solver calls = 0 Move executions = 0 Produced CNF variables = 43531 Produced CNF clauses = 5061 Search steps = 0 Wall clock TIME (seconds) = 0.203 CPU/machine TIME (seconds) = 0.200 ] ] 78 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=18 --obstacle-probability=0.2 --seed=78 --cnf-level=12 --cnf-file=grid_6x6_r18_78.cnf ================================================================ reLOC 0.09-vegas : Grid Instance Generator (C) Copyright 2011-2013 Pavel Surynek ---------------------------------------------------------------- Phase statistics (current phase = 'root_phase') [ Phase (name = 'root_phase') [ Total SAT solver calls = 0 Satisfiable SAT solver calls = 0 Unsatisfiable SAT solver calls = 0 Indeterminate SAT solver calls = 0 Move executions = 0 Produced CNF variables = 49441 Produced CNF clauses = 3917 Search steps = 0 Wall clock TIME (seconds) = 0.250 CPU/machine TIME (seconds) = 0.240 ] ] 8546 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=18 --obstacle-probability=0.2 --seed=8546 --cnf-level=12 --cnf-file=grid_6x6_r18_8546.cnf ================================================================ reLOC 0.09-vegas : Grid Instance Generator (C) Copyright 2011-2013 Pavel Surynek ---------------------------------------------------------------- Phase statistics (current phase = 'root_phase') [ Phase (name = 'root_phase') [ Total SAT solver calls = 0 Satisfiable SAT solver calls = 0 Unsatisfiable SAT solver calls = 0 Indeterminate SAT solver calls = 0 Move executions = 0 Produced CNF variables = 48587 Produced CNF clauses = 4019 Search steps = 0 Wall clock TIME (seconds) = 0.241 CPU/machine TIME (seconds) = 0.230 ] ] 474 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=18 --obstacle-probability=0.2 --seed=474 --cnf-level=12 --cnf-file=grid_6x6_r18_474.cnf ================================================================ reLOC 0.09-vegas : Grid Instance Generator (C) Copyright 2011-2013 Pavel Surynek ---------------------------------------------------------------- Phase statistics (current phase = 'root_phase') [ Phase (name = 'root_phase') [ Total SAT solver calls = 0 Satisfiable SAT solver calls = 0 Unsatisfiable SAT solver calls = 0 Indeterminate SAT solver calls = 0 Move executions = 0 Produced CNF variables = 47511 Produced CNF clauses = 4334 Search steps = 0 Wall clock TIME (seconds) = 0.233 CPU/machine TIME (seconds) = 0.220 ] ] 188 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=18 --obstacle-probability=0.2 --seed=188 --cnf-level=12 --cnf-file=grid_6x6_r18_188.cnf ================================================================ reLOC 0.09-vegas : Grid Instance Generator (C) Copyright 2011-2013 Pavel Surynek ---------------------------------------------------------------- Phase statistics (current phase = 'root_phase') [ Phase (name = 'root_phase') [ Total SAT solver calls = 0 Satisfiable SAT solver calls = 0 Unsatisfiable SAT solver calls = 0 Indeterminate SAT solver calls = 0 Move executions = 0 Produced CNF variables = 48551 Produced CNF clauses = 4062 Search steps = 0 Wall clock TIME (seconds) = 0.234 CPU/machine TIME (seconds) = 0.230 ] ] 7899 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=18 --obstacle-probability=0.2 --seed=7899 --cnf-level=12 --cnf-file=grid_6x6_r18_7899.cnf ================================================================ reLOC 0.09-vegas : Grid Instance Generator (C) Copyright 2011-2013 Pavel Surynek ---------------------------------------------------------------- Phase statistics (current phase = 'root_phase') [ Phase (name = 'root_phase') [ Total SAT solver calls = 0 Satisfiable SAT solver calls = 0 Unsatisfiable SAT solver calls = 0 Indeterminate SAT solver calls = 0 Move executions = 0 Produced CNF variables = 50031 Produced CNF clauses = 3853 Search steps = 0 Wall clock TIME (seconds) = 0.244 CPU/machine TIME (seconds) = 0.230 ] ] 9 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=18 --obstacle-probability=0.2 --seed=9 --cnf-level=12 --cnf-file=grid_6x6_r18_9.cnf ================================================================ reLOC 0.09-vegas : Grid Instance Generator (C) Copyright 2011-2013 Pavel Surynek ---------------------------------------------------------------- Phase statistics (current phase = 'root_phase') [ Phase (name = 'root_phase') [ Total SAT solver calls = 0 Satisfiable SAT solver calls = 0 Unsatisfiable SAT solver calls = 0 Indeterminate SAT solver calls = 0 Move executions = 0 Produced CNF variables = 46353 Produced CNF clauses = 4431 Search steps = 0 Wall clock TIME (seconds) = 0.220 CPU/machine TIME (seconds) = 0.210 ] ] 774 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=18 --obstacle-probability=0.2 --seed=774 --cnf-level=12 --cnf-file=grid_6x6_r18_774.cnf ================================================================ reLOC 0.09-vegas : Grid Instance Generator (C) Copyright 2011-2013 Pavel Surynek ---------------------------------------------------------------- Phase statistics (current phase = 'root_phase') [ Phase (name = 'root_phase') [ Total SAT solver calls = 0 Satisfiable SAT solver calls = 0 Unsatisfiable SAT solver calls = 0 Indeterminate SAT solver calls = 0 Move executions = 0 Produced CNF variables = 58669 Produced CNF clauses = 10553 Search steps = 0 Wall clock TIME (seconds) = 0.316 CPU/machine TIME (seconds) = 0.300 ] ] grid size = 6 max robots = 18 1,3455 c number of literals = 7593 1,12 c number of literals = 6752 1,45 c number of literals = 4657 1,78 c number of literals = 7275 1,8546 c number of literals = 8972 1,474 c number of literals = 10517 1,188 c number of literals = 11521 1,7899 c number of literals = 10997 1,9 c number of literals = 8986 1,774 c number of literals = 16874 2,3455 c number of literals = 22963 2,12 c number of literals = 24198 2,45 c number of literals = 19813 2,78 c number of literals = 24073 2,8546 c number of literals = 26541 2,474 c number of literals = 26050 2,188 c number of literals = 29425 2,7899 c number of literals = 26606 2,9 c number of literals = 24182 2,774 c number of literals = 42244 3,3455 c number of literals = 50253 3,12 c number of literals = 48467 3,45 c number of literals = 45821 3,78 c number of literals = 55612 3,8546 c number of literals = 56130 3,474 c number of literals = 48824 3,188 c number of literals = 56050 3,7899 c number of literals = 59458 3,9 c number of literals = 54031 3,774 c number of literals = 87550 4,3455 c number of literals = 93672 4,12 c number of literals = 101494 4,45 c number of literals = 97924 4,78 c number of literals = 112290 4,8546 c number of literals = 112316 4,474 c number of literals = 109169 4,188 c number of literals = 116087 4,7899 c number of literals = 114255 4,9 c number of literals = 109701 4,774 c number of literals = 172031 5,3455 c number of literals = 178373 5,12 c number of literals = 184106 5,45 c number of literals = 188808 5,78 c number of literals = 203558 5,8546 c number of literals = 201613 5,474 c number of literals = 192780 5,188 c number of literals = 197153 5,7899 c number of literals = 201647 5,9 c number of literals = 194248 5,774 c number of literals = 293971 6,3455 c number of literals = 309437 6,12 c number of literals = 307975 6,45 c number of literals = 315215 6,78 c number of literals = 336960 6,8546 c number of literals = 334235 6,474 c number of literals = 329539 6,188 c number of literals = 330771 6,7899 c number of literals = 337108 6,9 c number of literals = 322571 6,774 c number of literals = 480722 7,3455 c number of literals = 480241 7,12 c number of literals = 479813 7,45 c number of literals = 489275 7,78 c number of literals = 518365 7,8546 c number of literals = 507490 7,474 c number of literals = 503119 7,188 c number of literals = 510285 7,7899 c number of literals = 514948 7,9 c number of literals = 500837 7,774 c number of literals = 732302 8,3455 c number of literals = 709747 8,12 c number of literals = 726826 8,45 c number of literals = 723995 8,78 c number of literals = 750145 8,8546 c number of literals = 750900 8,474 c number of literals = 751184 8,188 c number of literals = 753449 8,7899 c number of literals = 752748 8,9 c number of literals = 737465 8,774 c number of literals = 1066482 9,3455 c number of literals = 1017023 9,12 c number of literals = 1030696 9,45 c number of literals = 1024617 9,78 c number of literals = 1062447 9,8546 c number of literals = 1050834 9,474 c number of literals = 1054437 9,188 c number of literals = 1055214 9,7899 c number of literals = 1057166 9,9 c number of literals = 1044563 9,774 c number of literals = 1494517 10,3455 c number of literals = 1395792 10,12 c number of literals = 1417606 10,45 c number of literals = 1403310 10,78 c number of literals = 1434210 10,8546 c number of literals = 1439681 10,474 c number of literals = 1428498 10,188 c number of literals = 1438500 10,7899 c number of literals = 1442171 10,9 c number of literals = 1424181 10,774 c number of literals = 2026487 11,3455 c number of literals = 1864330 11,12 c number of literals = 1862485 11,45 c number of literals = 1872716 11,78 c number of literals = 1914550 11,8546 c number of literals = 1905990 11,474 c number of literals = 1883741 11,188 c number of literals = 1897325 11,7899 c number of literals = 1907616 11,9 c number of literals = 1885803 11,774 c number of literals = 2684739 12,3455 c number of literals = 2423689 12,12 c number of literals = 2427394 12,45 c number of literals = 2425501 12,78 c number of literals = 2466836 12,8546 c number of literals = 2471160 12,474 c number of literals = 2457831 12,188 c number of literals = 2467791 12,7899 c number of literals = 2481218 12,9 c number of literals = 2449947 12,774 c number of literals = 3469591 13,3455 c number of literals = 3077036 13,12 c number of literals = 3096286 13,45 c number of literals = 3086769 13,78 c number of literals = 3129740 13,8546 c number of literals = 3126110 13,474 c number of literals = 3118983 13,188 c number of literals = 3131413 13,7899 c number of literals = 3138111 13,9 c number of literals = 3104511 13,774 c number of literals = 4390797 14,3455 c number of literals = 3842289 14,12 c number of literals = 3863612 14,45 c number of literals = 3860907 14,78 c number of literals = 3912000 14,8546 c number of literals = 3899463 14,474 c number of literals = 3909120 14,188 c number of literals = 3911648 14,7899 c number of literals = 3917083 14,9 c number of literals = 3881263 14,774 c number of literals = 5475269 15,3455 c number of literals = 4741346 15,12 c number of literals = 4757063 15,45 c number of literals = 4747571 15,78 c number of literals = 4802658 15,8546 c number of literals = 4791877 15,474 c number of literals = 4796614 15,188 c number of literals = 4802275 15,7899 c number of literals = 4812526 15,9 c number of literals = 4771603 15,774 c number of literals = 6724464 16,3455 c number of literals = 5759771 16,12 c number of literals = 5768927 16,45 c number of literals = 5774286 16,78 c number of literals = 5821021 16,8546 c number of literals = 5818343 16,474 c number of literals = 5799931 16,188 c number of literals = 5826728 16,7899 c number of literals = 5836605 16,9 c number of literals = 5797847 16,774 c number of literals = 8145150 17,3455 c number of literals = 6920040 17,12 c number of literals = 6936138 17,45 c number of literals = 6928779 17,78 c number of literals = 6983429 17,8546 c number of literals = 6982247 17,474 c number of literals = 6965660 17,188 c number of literals = 6981033 17,7899 c number of literals = 6999018 17,9 c number of literals = 6957672 17,774 c number of literals = 9759986 18,3455 c number of literals = 8231286 18,12 c number of literals = 8243884 18,45 c number of literals = 8229584 18,78 c number of literals = 8295090 18,8546 c number of literals = 8285486 18,474 c number of literals = 8273551 18,188 c number of literals = 8284939 18,7899 c number of literals = 8301644 18,9 c number of literals = 8260500 18,774 c number of literals = 11590970 grid size = 6 max robots = 18 1,3455 c number of clauses / number of variables = 4.342 c number of visible variables = 60 c number of hidden variables = 516 c number of propositional variables = 576 1,12 c number of clauses / number of variables = 4.376 c number of visible variables = 60 c number of hidden variables = 442 c number of propositional variables = 502 1,45 c number of clauses / number of variables = 4.473 c number of visible variables = 60 c number of hidden variables = 253 c number of propositional variables = 313 1,78 c number of clauses / number of variables = 4.391 c number of visible variables = 60 c number of hidden variables = 490 c number of propositional variables = 550 1,8546 c number of clauses / number of variables = 4.350 c number of visible variables = 60 c number of hidden variables = 642 c number of propositional variables = 702 1,474 c number of clauses / number of variables = 4.325 c number of visible variables = 60 c number of hidden variables = 779 c number of propositional variables = 839 1,188 c number of clauses / number of variables = 4.311 c number of visible variables = 60 c number of hidden variables = 870 c number of propositional variables = 930 1,7899 c number of clauses / number of variables = 4.353 c number of visible variables = 60 c number of hidden variables = 823 c number of propositional variables = 883 1,9 c number of clauses / number of variables = 4.334 c number of visible variables = 60 c number of hidden variables = 643 c number of propositional variables = 703 1,774 c number of clauses / number of variables = 5.424 c number of visible variables = 72 c number of hidden variables = 944 c number of propositional variables = 1016 2,3455 c number of clauses / number of variables = 3.999 c number of visible variables = 120 c number of hidden variables = 1369 c number of propositional variables = 1489 2,12 c number of clauses / number of variables = 4.009 c number of visible variables = 120 c number of hidden variables = 1481 c number of propositional variables = 1601 2,45 c number of clauses / number of variables = 3.957 c number of visible variables = 120 c number of hidden variables = 1086 c number of propositional variables = 1206 2,78 c number of clauses / number of variables = 4.045 c number of visible variables = 120 c number of hidden variables = 1473 c number of propositional variables = 1593 2,8546 c number of clauses / number of variables = 4.056 c number of visible variables = 120 c number of hidden variables = 1694 c number of propositional variables = 1814 2,474 c number of clauses / number of variables = 4.071 c number of visible variables = 120 c number of hidden variables = 1649 c number of propositional variables = 1769 2,188 c number of clauses / number of variables = 4.086 c number of visible variables = 120 c number of hidden variables = 1953 c number of propositional variables = 2073 2,7899 c number of clauses / number of variables = 4.085 c number of visible variables = 120 c number of hidden variables = 1700 c number of propositional variables = 1820 2,9 c number of clauses / number of variables = 4.027 c number of visible variables = 120 c number of hidden variables = 1483 c number of propositional variables = 1603 2,774 c number of clauses / number of variables = 5.033 c number of visible variables = 144 c number of hidden variables = 2123 c number of propositional variables = 2267 3,3455 c number of clauses / number of variables = 3.709 c number of visible variables = 180 c number of hidden variables = 2151 c number of propositional variables = 2331 3,12 c number of clauses / number of variables = 3.687 c number of visible variables = 180 c number of hidden variables = 1995 c number of propositional variables = 2175 3,45 c number of clauses / number of variables = 3.620 c number of visible variables = 180 c number of hidden variables = 1753 c number of propositional variables = 1933 3,78 c number of clauses / number of variables = 3.824 c number of visible variables = 180 c number of hidden variables = 2637 c number of propositional variables = 2817 3,8546 c number of clauses / number of variables = 3.820 c number of visible variables = 180 c number of hidden variables = 2684 c number of propositional variables = 2864 3,474 c number of clauses / number of variables = 3.730 c number of visible variables = 180 c number of hidden variables = 2030 c number of propositional variables = 2210 3,188 c number of clauses / number of variables = 3.831 c number of visible variables = 180 c number of hidden variables = 2679 c number of propositional variables = 2859 3,7899 c number of clauses / number of variables = 3.873 c number of visible variables = 180 c number of hidden variables = 2981 c number of propositional variables = 3161 3,9 c number of clauses / number of variables = 3.783 c number of visible variables = 180 c number of hidden variables = 2496 c number of propositional variables = 2676 3,774 c number of clauses / number of variables = 4.713 c number of visible variables = 216 c number of hidden variables = 3482 c number of propositional variables = 3698 4,3455 c number of clauses / number of variables = 3.326 c number of visible variables = 240 c number of hidden variables = 2462 c number of propositional variables = 2702 4,12 c number of clauses / number of variables = 3.491 c number of visible variables = 240 c number of hidden variables = 3163 c number of propositional variables = 3403 4,45 c number of clauses / number of variables = 3.419 c number of visible variables = 240 c number of hidden variables = 2837 c number of propositional variables = 3077 4,78 c number of clauses / number of variables = 3.672 c number of visible variables = 240 c number of hidden variables = 4133 c number of propositional variables = 4373 4,8546 c number of clauses / number of variables = 3.660 c number of visible variables = 240 c number of hidden variables = 4136 c number of propositional variables = 4376 4,474 c number of clauses / number of variables = 3.630 c number of visible variables = 240 c number of hidden variables = 3852 c number of propositional variables = 4092 4,188 c number of clauses / number of variables = 3.712 c number of visible variables = 240 c number of hidden variables = 4476 c number of propositional variables = 4716 4,7899 c number of clauses / number of variables = 3.698 c number of visible variables = 240 c number of hidden variables = 4309 c number of propositional variables = 4549 4,9 c number of clauses / number of variables = 3.624 c number of visible variables = 240 c number of hidden variables = 3902 c number of propositional variables = 4142 4,774 c number of clauses / number of variables = 4.495 c number of visible variables = 288 c number of hidden variables = 5557 c number of propositional variables = 5845 5,3455 c number of clauses / number of variables = 3.184 c number of visible variables = 300 c number of hidden variables = 3766 c number of propositional variables = 4066 5,12 c number of clauses / number of variables = 3.293 c number of visible variables = 300 c number of hidden variables = 4282 c number of propositional variables = 4582 5,45 c number of clauses / number of variables = 3.354 c number of visible variables = 300 c number of hidden variables = 4691 c number of propositional variables = 4991 5,78 c number of clauses / number of variables = 3.561 c number of visible variables = 300 c number of hidden variables = 6026 c number of propositional variables = 6326 5,8546 c number of clauses / number of variables = 3.531 c number of visible variables = 300 c number of hidden variables = 5853 c number of propositional variables = 6153 5,474 c number of clauses / number of variables = 3.443 c number of visible variables = 300 c number of hidden variables = 5061 c number of propositional variables = 5361 5,188 c number of clauses / number of variables = 3.500 c number of visible variables = 300 c number of hidden variables = 5459 c number of propositional variables = 5759 5,7899 c number of clauses / number of variables = 3.548 c number of visible variables = 300 c number of hidden variables = 5856 c number of propositional variables = 6156 5,9 c number of clauses / number of variables = 3.447 c number of visible variables = 300 c number of hidden variables = 5195 c number of propositional variables = 5495 5,774 c number of clauses / number of variables = 4.258 c number of visible variables = 360 c number of hidden variables = 7295 c number of propositional variables = 7655 6,3455 c number of clauses / number of variables = 3.152 c number of visible variables = 360 c number of hidden variables = 5740 c number of propositional variables = 6100 6,12 c number of clauses / number of variables = 3.137 c number of visible variables = 360 c number of hidden variables = 5616 c number of propositional variables = 5976 6,45 c number of clauses / number of variables = 3.224 c number of visible variables = 360 c number of hidden variables = 6249 c number of propositional variables = 6609 6,78 c number of clauses / number of variables = 3.472 c number of visible variables = 360 c number of hidden variables = 8212 c number of propositional variables = 8572 6,8546 c number of clauses / number of variables = 3.442 c number of visible variables = 360 c number of hidden variables = 7970 c number of propositional variables = 8330 6,474 c number of clauses / number of variables = 3.413 c number of visible variables = 360 c number of hidden variables = 7547 c number of propositional variables = 7907 6,188 c number of clauses / number of variables = 3.422 c number of visible variables = 360 c number of hidden variables = 7665 c number of propositional variables = 8025 6,7899 c number of clauses / number of variables = 3.482 c number of visible variables = 360 c number of hidden variables = 8227 c number of propositional variables = 8587 6,9 c number of clauses / number of variables = 3.324 c number of visible variables = 360 c number of hidden variables = 6927 c number of propositional variables = 7287 6,774 c number of clauses / number of variables = 4.112 c number of visible variables = 432 c number of hidden variables = 9848 c number of propositional variables = 10280 7,3455 c number of clauses / number of variables = 2.989 c number of visible variables = 420 c number of hidden variables = 7018 c number of propositional variables = 7438 7,12 c number of clauses / number of variables = 2.987 c number of visible variables = 420 c number of hidden variables = 6987 c number of propositional variables = 7407 7,45 c number of clauses / number of variables = 3.095 c number of visible variables = 420 c number of hidden variables = 7816 c number of propositional variables = 8236 7,78 c number of clauses / number of variables = 3.382 c number of visible variables = 420 c number of hidden variables = 10438 c number of propositional variables = 10858 7,8546 c number of clauses / number of variables = 3.296 c number of visible variables = 420 c number of hidden variables = 9469 c number of propositional variables = 9889 7,474 c number of clauses / number of variables = 3.267 c number of visible variables = 420 c number of hidden variables = 9074 c number of propositional variables = 9494 7,188 c number of clauses / number of variables = 3.324 c number of visible variables = 420 c number of hidden variables = 9723 c number of propositional variables = 10143 7,7899 c number of clauses / number of variables = 3.363 c number of visible variables = 420 c number of hidden variables = 10134 c number of propositional variables = 10554 7,9 c number of clauses / number of variables = 3.229 c number of visible variables = 420 c number of hidden variables = 8873 c number of propositional variables = 9293 7,774 c number of clauses / number of variables = 3.953 c number of visible variables = 504 c number of hidden variables = 12294 c number of propositional variables = 12798 8,3455 c number of clauses / number of variables = 2.857 c number of visible variables = 480 c number of hidden variables = 8513 c number of propositional variables = 8993 8,12 c number of clauses / number of variables = 3.042 c number of visible variables = 480 c number of hidden variables = 10043 c number of propositional variables = 10523 8,45 c number of clauses / number of variables = 3.002 c number of visible variables = 480 c number of hidden variables = 9773 c number of propositional variables = 10253 8,78 c number of clauses / number of variables = 3.250 c number of visible variables = 480 c number of hidden variables = 12137 c number of propositional variables = 12617 8,8546 c number of clauses / number of variables = 3.248 c number of visible variables = 480 c number of hidden variables = 12206 c number of propositional variables = 12686 8,474 c number of clauses / number of variables = 3.257 c number of visible variables = 480 c number of hidden variables = 12226 c number of propositional variables = 12706 8,188 c number of clauses / number of variables = 3.274 c number of visible variables = 480 c number of hidden variables = 12440 c number of propositional variables = 12920 8,7899 c number of clauses / number of variables = 3.269 c number of visible variables = 480 c number of hidden variables = 12370 c number of propositional variables = 12850 8,9 c number of clauses / number of variables = 3.142 c number of visible variables = 480 c number of hidden variables = 11005 c number of propositional variables = 11485 8,774 c number of clauses / number of variables = 3.819 c number of visible variables = 576 c number of hidden variables = 15058 c number of propositional variables = 15634 9,3455 c number of clauses / number of variables = 2.855 c number of visible variables = 540 c number of hidden variables = 11147 c number of propositional variables = 11687 9,12 c number of clauses / number of variables = 2.979 c number of visible variables = 540 c number of hidden variables = 12375 c number of propositional variables = 12915 9,45 c number of clauses / number of variables = 2.919 c number of visible variables = 540 c number of hidden variables = 11814 c number of propositional variables = 12354 9,78 c number of clauses / number of variables = 3.213 c number of visible variables = 540 c number of hidden variables = 15223 c number of propositional variables = 15763 9,8546 c number of clauses / number of variables = 3.136 c number of visible variables = 540 c number of hidden variables = 14188 c number of propositional variables = 14728 9,474 c number of clauses / number of variables = 3.167 c number of visible variables = 540 c number of hidden variables = 14504 c number of propositional variables = 15044 9,188 c number of clauses / number of variables = 3.169 c number of visible variables = 540 c number of hidden variables = 14585 c number of propositional variables = 15125 9,7899 c number of clauses / number of variables = 3.187 c number of visible variables = 540 c number of hidden variables = 14753 c number of propositional variables = 15293 9,9 c number of clauses / number of variables = 3.088 c number of visible variables = 540 c number of hidden variables = 13626 c number of propositional variables = 14166 9,774 c number of clauses / number of variables = 3.701 c number of visible variables = 648 c number of hidden variables = 18071 c number of propositional variables = 18719 10,3455 c number of clauses / number of variables = 2.803 c number of visible variables = 600 c number of hidden variables = 13584 c number of propositional variables = 14184 10,12 c number of clauses / number of variables = 2.969 c number of visible variables = 600 c number of hidden variables = 15540 c number of propositional variables = 16140 10,45 c number of clauses / number of variables = 2.859 c number of visible variables = 600 c number of hidden variables = 14244 c number of propositional variables = 14844 10,78 c number of clauses / number of variables = 3.089 c number of visible variables = 600 c number of hidden variables = 17038 c number of propositional variables = 17638 10,8546 c number of clauses / number of variables = 3.112 c number of visible variables = 600 c number of hidden variables = 17528 c number of propositional variables = 18128 10,474 c number of clauses / number of variables = 3.058 c number of visible variables = 600 c number of hidden variables = 16524 c number of propositional variables = 17124 10,188 c number of clauses / number of variables = 3.113 c number of visible variables = 600 c number of hidden variables = 17430 c number of propositional variables = 18030 10,7899 c number of clauses / number of variables = 3.135 c number of visible variables = 600 c number of hidden variables = 17750 c number of propositional variables = 18350 10,9 c number of clauses / number of variables = 3.019 c number of visible variables = 600 c number of hidden variables = 16143 c number of propositional variables = 16743 10,774 c number of clauses / number of variables = 3.588 c number of visible variables = 720 c number of hidden variables = 21175 c number of propositional variables = 21895 11,3455 c number of clauses / number of variables = 2.799 c number of visible variables = 660 c number of hidden variables = 16680 c number of propositional variables = 17340 11,12 c number of clauses / number of variables = 2.788 c number of visible variables = 660 c number of hidden variables = 16526 c number of propositional variables = 17186 11,45 c number of clauses / number of variables = 2.845 c number of visible variables = 660 c number of hidden variables = 17414 c number of propositional variables = 18074 11,78 c number of clauses / number of variables = 3.097 c number of visible variables = 660 c number of hidden variables = 21189 c number of propositional variables = 21849 11,8546 c number of clauses / number of variables = 3.052 c number of visible variables = 660 c number of hidden variables = 20427 c number of propositional variables = 21087 11,474 c number of clauses / number of variables = 2.941 c number of visible variables = 660 c number of hidden variables = 18434 c number of propositional variables = 19094 11,188 c number of clauses / number of variables = 3.014 c number of visible variables = 660 c number of hidden variables = 19661 c number of propositional variables = 20321 11,7899 c number of clauses / number of variables = 3.070 c number of visible variables = 660 c number of hidden variables = 20572 c number of propositional variables = 21232 11,9 c number of clauses / number of variables = 2.940 c number of visible variables = 660 c number of hidden variables = 18623 c number of propositional variables = 19283 11,774 c number of clauses / number of variables = 3.523 c number of visible variables = 792 c number of hidden variables = 25141 c number of propositional variables = 25933 12,3455 c number of clauses / number of variables = 2.768 c number of visible variables = 720 c number of hidden variables = 19747 c number of propositional variables = 20467 12,12 c number of clauses / number of variables = 2.793 c number of visible variables = 720 c number of hidden variables = 20090 c number of propositional variables = 20810 12,45 c number of clauses / number of variables = 2.772 c number of visible variables = 720 c number of hidden variables = 19895 c number of propositional variables = 20615 12,78 c number of clauses / number of variables = 3.007 c number of visible variables = 720 c number of hidden variables = 23628 c number of propositional variables = 24348 12,8546 c number of clauses / number of variables = 3.019 c number of visible variables = 720 c number of hidden variables = 24016 c number of propositional variables = 24736 12,474 c number of clauses / number of variables = 2.967 c number of visible variables = 720 c number of hidden variables = 22819 c number of propositional variables = 23539 12,188 c number of clauses / number of variables = 3.013 c number of visible variables = 720 c number of hidden variables = 23725 c number of propositional variables = 24445 12,7899 c number of clauses / number of variables = 3.072 c number of visible variables = 720 c number of hidden variables = 24915 c number of propositional variables = 25635 12,9 c number of clauses / number of variables = 2.917 c number of visible variables = 720 c number of hidden variables = 22120 c number of propositional variables = 22840 12,774 c number of clauses / number of variables = 3.447 c number of visible variables = 864 c number of hidden variables = 29071 c number of propositional variables = 29935 13,3455 c number of clauses / number of variables = 2.697 c number of visible variables = 780 c number of hidden variables = 22295 c number of propositional variables = 23075 13,12 c number of clauses / number of variables = 2.799 c number of visible variables = 780 c number of hidden variables = 24024 c number of propositional variables = 24804 13,45 c number of clauses / number of variables = 2.744 c number of visible variables = 780 c number of hidden variables = 23148 c number of propositional variables = 23928 13,78 c number of clauses / number of variables = 2.961 c number of visible variables = 780 c number of hidden variables = 27030 c number of propositional variables = 27810 13,8546 c number of clauses / number of variables = 2.940 c number of visible variables = 780 c number of hidden variables = 26708 c number of propositional variables = 27488 13,474 c number of clauses / number of variables = 2.917 c number of visible variables = 780 c number of hidden variables = 26064 c number of propositional variables = 26844 13,188 c number of clauses / number of variables = 2.971 c number of visible variables = 780 c number of hidden variables = 27193 c number of propositional variables = 27973 13,7899 c number of clauses / number of variables = 2.999 c number of visible variables = 780 c number of hidden variables = 27781 c number of propositional variables = 28561 13,9 c number of clauses / number of variables = 2.842 c number of visible variables = 780 c number of hidden variables = 24778 c number of propositional variables = 25558 13,774 c number of clauses / number of variables = 3.355 c number of visible variables = 936 c number of hidden variables = 32782 c number of propositional variables = 33718 14,3455 c number of clauses / number of variables = 2.640 c number of visible variables = 840 c number of hidden variables = 25142 c number of propositional variables = 25982 14,12 c number of clauses / number of variables = 2.744 c number of visible variables = 840 c number of hidden variables = 27057 c number of propositional variables = 27897 14,45 c number of clauses / number of variables = 2.724 c number of visible variables = 840 c number of hidden variables = 26786 c number of propositional variables = 27626 14,78 c number of clauses / number of variables = 2.949 c number of visible variables = 840 c number of hidden variables = 31397 c number of propositional variables = 32237 14,8546 c number of clauses / number of variables = 2.898 c number of visible variables = 840 c number of hidden variables = 30280 c number of propositional variables = 31120 14,474 c number of clauses / number of variables = 2.941 c number of visible variables = 840 c number of hidden variables = 31135 c number of propositional variables = 31975 14,188 c number of clauses / number of variables = 2.950 c number of visible variables = 840 c number of hidden variables = 31380 c number of propositional variables = 32220 14,7899 c number of clauses / number of variables = 2.971 c number of visible variables = 840 c number of hidden variables = 31854 c number of propositional variables = 32694 14,9 c number of clauses / number of variables = 2.823 c number of visible variables = 840 c number of hidden variables = 28653 c number of propositional variables = 29493 14,774 c number of clauses / number of variables = 3.302 c number of visible variables = 1008 c number of hidden variables = 37392 c number of propositional variables = 38400 15,3455 c number of clauses / number of variables = 2.655 c number of visible variables = 900 c number of hidden variables = 29465 c number of propositional variables = 30365 15,12 c number of clauses / number of variables = 2.722 c number of visible variables = 900 c number of hidden variables = 30881 c number of propositional variables = 31781 15,45 c number of clauses / number of variables = 2.676 c number of visible variables = 900 c number of hidden variables = 30003 c number of propositional variables = 30903 15,78 c number of clauses / number of variables = 2.899 c number of visible variables = 900 c number of hidden variables = 34973 c number of propositional variables = 35873 15,8546 c number of clauses / number of variables = 2.859 c number of visible variables = 900 c number of hidden variables = 34014 c number of propositional variables = 34914 15,474 c number of clauses / number of variables = 2.881 c number of visible variables = 900 c number of hidden variables = 34428 c number of propositional variables = 35328 15,188 c number of clauses / number of variables = 2.899 c number of visible variables = 900 c number of hidden variables = 34953 c number of propositional variables = 35853 15,7899 c number of clauses / number of variables = 2.935 c number of visible variables = 900 c number of hidden variables = 35858 c number of propositional variables = 36758 15,9 c number of clauses / number of variables = 2.782 c number of visible variables = 900 c number of hidden variables = 32201 c number of propositional variables = 33101 15,774 c number of clauses / number of variables = 3.245 c number of visible variables = 1080 c number of hidden variables = 42088 c number of propositional variables = 43168 16,3455 c number of clauses / number of variables = 2.627 c number of visible variables = 960 c number of hidden variables = 33199 c number of propositional variables = 34159 16,12 c number of clauses / number of variables = 2.664 c number of visible variables = 960 c number of hidden variables = 34031 c number of propositional variables = 34991 16,45 c number of clauses / number of variables = 2.677 c number of visible variables = 960 c number of hidden variables = 34475 c number of propositional variables = 35435 16,78 c number of clauses / number of variables = 2.852 c number of visible variables = 960 c number of hidden variables = 38704 c number of propositional variables = 39664 16,8546 c number of clauses / number of variables = 2.839 c number of visible variables = 960 c number of hidden variables = 38468 c number of propositional variables = 39428 16,474 c number of clauses / number of variables = 2.787 c number of visible variables = 960 c number of hidden variables = 36815 c number of propositional variables = 37775 16,188 c number of clauses / number of variables = 2.870 c number of visible variables = 960 c number of hidden variables = 39229 c number of propositional variables = 40189 16,7899 c number of clauses / number of variables = 2.903 c number of visible variables = 960 c number of hidden variables = 40100 c number of propositional variables = 41060 16,9 c number of clauses / number of variables = 2.769 c number of visible variables = 960 c number of hidden variables = 36635 c number of propositional variables = 37595 16,774 c number of clauses / number of variables = 3.171 c number of visible variables = 1152 c number of hidden variables = 46462 c number of propositional variables = 47614 17,3455 c number of clauses / number of variables = 2.618 c number of visible variables = 1020 c number of hidden variables = 37572 c number of propositional variables = 38592 17,12 c number of clauses / number of variables = 2.674 c number of visible variables = 1020 c number of hidden variables = 39024 c number of propositional variables = 40044 17,45 c number of clauses / number of variables = 2.644 c number of visible variables = 1020 c number of hidden variables = 38332 c number of propositional variables = 39352 17,78 c number of clauses / number of variables = 2.829 c number of visible variables = 1020 c number of hidden variables = 43271 c number of propositional variables = 44291 17,8546 c number of clauses / number of variables = 2.822 c number of visible variables = 1020 c number of hidden variables = 43169 c number of propositional variables = 44189 17,474 c number of clauses / number of variables = 2.780 c number of visible variables = 1020 c number of hidden variables = 41678 c number of propositional variables = 42698 17,188 c number of clauses / number of variables = 2.823 c number of visible variables = 1020 c number of hidden variables = 43073 c number of propositional variables = 44093 17,7899 c number of clauses / number of variables = 2.875 c number of visible variables = 1020 c number of hidden variables = 44667 c number of propositional variables = 45687 17,9 c number of clauses / number of variables = 2.747 c number of visible variables = 1020 c number of hidden variables = 40972 c number of propositional variables = 41992 17,774 c number of clauses / number of variables = 3.112 c number of visible variables = 1224 c number of hidden variables = 51308 c number of propositional variables = 52532 18,3455 c number of clauses / number of variables = 2.625 c number of visible variables = 1080 c number of hidden variables = 42621 c number of propositional variables = 43701 18,12 c number of clauses / number of variables = 2.665 c number of visible variables = 1080 c number of hidden variables = 43763 c number of propositional variables = 44843 18,45 c number of clauses / number of variables = 2.617 c number of visible variables = 1080 c number of hidden variables = 42451 c number of propositional variables = 43531 18,78 c number of clauses / number of variables = 2.816 c number of visible variables = 1080 c number of hidden variables = 48361 c number of propositional variables = 49441 18,8546 c number of clauses / number of variables = 2.787 c number of visible variables = 1080 c number of hidden variables = 47507 c number of propositional variables = 48587 18,474 c number of clauses / number of variables = 2.761 c number of visible variables = 1080 c number of hidden variables = 46431 c number of propositional variables = 47511 18,188 c number of clauses / number of variables = 2.790 c number of visible variables = 1080 c number of hidden variables = 47471 c number of propositional variables = 48551 18,7899 c number of clauses / number of variables = 2.837 c number of visible variables = 1080 c number of hidden variables = 48951 c number of propositional variables = 50031 18,9 c number of clauses / number of variables = 2.716 c number of visible variables = 1080 c number of hidden variables = 45273 c number of propositional variables = 46353 18,774 c number of clauses / number of variables = 3.091 c number of visible variables = 1296 c number of hidden variables = 57373 c number of propositional variables = 58669 grid size = 6 max robots = 18 1,3455 c number of clauses / number of variables = 4.342 c number of clauses = 2501 1,12 c number of clauses / number of variables = 4.376 c number of clauses = 2197 1,45 c number of clauses / number of variables = 4.473 c number of clauses = 1400 1,78 c number of clauses / number of variables = 4.391 c number of clauses = 2415 1,8546 c number of clauses / number of variables = 4.350 c number of clauses = 3054 1,474 c number of clauses / number of variables = 4.325 c number of clauses = 3629 1,188 c number of clauses / number of variables = 4.311 c number of clauses = 4009 1,7899 c number of clauses / number of variables = 4.353 c number of clauses = 3844 1,9 c number of clauses / number of variables = 4.334 c number of clauses = 3047 1,774 c number of clauses / number of variables = 5.424 c number of clauses = 5511 2,3455 c number of clauses / number of variables = 3.999 c number of clauses = 5955 2,12 c number of clauses / number of variables = 4.009 c number of clauses = 6419 2,45 c number of clauses / number of variables = 3.957 c number of clauses = 4772 2,78 c number of clauses / number of variables = 4.045 c number of clauses = 6443 2,8546 c number of clauses / number of variables = 4.056 c number of clauses = 7358 2,474 c number of clauses / number of variables = 4.071 c number of clauses = 7201 2,188 c number of clauses / number of variables = 4.086 c number of clauses = 8471 2,7899 c number of clauses / number of variables = 4.085 c number of clauses = 7434 2,9 c number of clauses / number of variables = 4.027 c number of clauses = 6455 2,774 c number of clauses / number of variables = 5.033 c number of clauses = 11409 3,3455 c number of clauses / number of variables = 3.709 c number of clauses = 8646 3,12 c number of clauses / number of variables = 3.687 c number of clauses = 8020 3,45 c number of clauses / number of variables = 3.620 c number of clauses = 6998 3,78 c number of clauses / number of variables = 3.824 c number of clauses = 10772 3,8546 c number of clauses / number of variables = 3.820 c number of clauses = 10940 3,474 c number of clauses / number of variables = 3.730 c number of clauses = 8244 3,188 c number of clauses / number of variables = 3.831 c number of clauses = 10952 3,7899 c number of clauses / number of variables = 3.873 c number of clauses = 12244 3,9 c number of clauses / number of variables = 3.783 c number of clauses = 10124 3,774 c number of clauses / number of variables = 4.713 c number of clauses = 17429 4,3455 c number of clauses / number of variables = 3.326 c number of clauses = 8986 4,12 c number of clauses / number of variables = 3.491 c number of clauses = 11879 4,45 c number of clauses / number of variables = 3.419 c number of clauses = 10521 4,78 c number of clauses / number of variables = 3.672 c number of clauses = 16057 4,8546 c number of clauses / number of variables = 3.660 c number of clauses = 16016 4,474 c number of clauses / number of variables = 3.630 c number of clauses = 14856 4,188 c number of clauses / number of variables = 3.712 c number of clauses = 17508 4,7899 c number of clauses / number of variables = 3.698 c number of clauses = 16821 4,9 c number of clauses / number of variables = 3.624 c number of clauses = 15010 4,774 c number of clauses / number of variables = 4.495 c number of clauses = 26272 5,3455 c number of clauses / number of variables = 3.184 c number of clauses = 12947 5,12 c number of clauses / number of variables = 3.293 c number of clauses = 15089 5,45 c number of clauses / number of variables = 3.354 c number of clauses = 16742 5,78 c number of clauses / number of variables = 3.561 c number of clauses = 22527 5,8546 c number of clauses / number of variables = 3.531 c number of clauses = 21725 5,474 c number of clauses / number of variables = 3.443 c number of clauses = 18459 5,188 c number of clauses / number of variables = 3.500 c number of clauses = 20154 5,7899 c number of clauses / number of variables = 3.548 c number of clauses = 21841 5,9 c number of clauses / number of variables = 3.447 c number of clauses = 18943 5,774 c number of clauses / number of variables = 4.258 c number of clauses = 32595 6,3455 c number of clauses / number of variables = 3.152 c number of clauses = 19226 6,12 c number of clauses / number of variables = 3.137 c number of clauses = 18746 6,45 c number of clauses / number of variables = 3.224 c number of clauses = 21307 6,78 c number of clauses / number of variables = 3.472 c number of clauses = 29758 6,8546 c number of clauses / number of variables = 3.442 c number of clauses = 28674 6,474 c number of clauses / number of variables = 3.413 c number of clauses = 26983 6,188 c number of clauses / number of variables = 3.422 c number of clauses = 27459 6,7899 c number of clauses / number of variables = 3.482 c number of clauses = 29901 6,9 c number of clauses / number of variables = 3.324 c number of clauses = 24223 6,774 c number of clauses / number of variables = 4.112 c number of clauses = 42270 7,3455 c number of clauses / number of variables = 2.989 c number of clauses = 22229 7,12 c number of clauses / number of variables = 2.987 c number of clauses = 22128 7,45 c number of clauses / number of variables = 3.095 c number of clauses = 25489 7,78 c number of clauses / number of variables = 3.382 c number of clauses = 36725 7,8546 c number of clauses / number of variables = 3.296 c number of clauses = 32597 7,474 c number of clauses / number of variables = 3.267 c number of clauses = 31020 7,188 c number of clauses / number of variables = 3.324 c number of clauses = 33716 7,7899 c number of clauses / number of variables = 3.363 c number of clauses = 35497 7,9 c number of clauses / number of variables = 3.229 c number of clauses = 30005 7,774 c number of clauses / number of variables = 3.953 c number of clauses = 50585 8,3455 c number of clauses / number of variables = 2.857 c number of clauses = 25693 8,12 c number of clauses / number of variables = 3.042 c number of clauses = 32011 8,45 c number of clauses / number of variables = 3.002 c number of clauses = 30777 8,78 c number of clauses / number of variables = 3.250 c number of clauses = 41005 8,8546 c number of clauses / number of variables = 3.248 c number of clauses = 41198 8,474 c number of clauses / number of variables = 3.257 c number of clauses = 41378 8,188 c number of clauses / number of variables = 3.274 c number of clauses = 42300 8,7899 c number of clauses / number of variables = 3.269 c number of clauses = 42010 8,9 c number of clauses / number of variables = 3.142 c number of clauses = 36089 8,774 c number of clauses / number of variables = 3.819 c number of clauses = 59700 9,3455 c number of clauses / number of variables = 2.855 c number of clauses = 33372 9,12 c number of clauses / number of variables = 2.979 c number of clauses = 38474 9,45 c number of clauses / number of variables = 2.919 c number of clauses = 36057 9,78 c number of clauses / number of variables = 3.213 c number of clauses = 50644 9,8546 c number of clauses / number of variables = 3.136 c number of clauses = 46192 9,474 c number of clauses / number of variables = 3.167 c number of clauses = 47642 9,188 c number of clauses / number of variables = 3.169 c number of clauses = 47936 9,7899 c number of clauses / number of variables = 3.187 c number of clauses = 48738 9,9 c number of clauses / number of variables = 3.088 c number of clauses = 43738 9,774 c number of clauses / number of variables = 3.701 c number of clauses = 69281 10,3455 c number of clauses / number of variables = 2.803 c number of clauses = 39758 10,12 c number of clauses / number of variables = 2.969 c number of clauses = 47926 10,45 c number of clauses / number of variables = 2.859 c number of clauses = 42446 10,78 c number of clauses / number of variables = 3.089 c number of clauses = 54492 10,8546 c number of clauses / number of variables = 3.112 c number of clauses = 56408 10,474 c number of clauses / number of variables = 3.058 c number of clauses = 52364 10,188 c number of clauses / number of variables = 3.113 c number of clauses = 56120 10,7899 c number of clauses / number of variables = 3.135 c number of clauses = 57536 10,9 c number of clauses / number of variables = 3.019 c number of clauses = 50543 10,774 c number of clauses / number of variables = 3.588 c number of clauses = 78550 11,3455 c number of clauses / number of variables = 2.799 c number of clauses = 48539 11,12 c number of clauses / number of variables = 2.788 c number of clauses = 47911 11,45 c number of clauses / number of variables = 2.845 c number of clauses = 51423 11,78 c number of clauses / number of variables = 3.097 c number of clauses = 67676 11,8546 c number of clauses / number of variables = 3.052 c number of clauses = 64347 11,474 c number of clauses / number of variables = 2.941 c number of clauses = 56148 11,188 c number of clauses / number of variables = 3.014 c number of clauses = 61242 11,7899 c number of clauses / number of variables = 3.070 c number of clauses = 65179 11,9 c number of clauses / number of variables = 2.940 c number of clauses = 56699 11,774 c number of clauses / number of variables = 3.523 c number of clauses = 91353 12,3455 c number of clauses / number of variables = 2.768 c number of clauses = 56643 12,12 c number of clauses / number of variables = 2.793 c number of clauses = 58126 12,45 c number of clauses / number of variables = 2.772 c number of clauses = 57151 12,78 c number of clauses / number of variables = 3.007 c number of clauses = 73216 12,8546 c number of clauses / number of variables = 3.019 c number of clauses = 74680 12,474 c number of clauses / number of variables = 2.967 c number of clauses = 69847 12,188 c number of clauses / number of variables = 3.013 c number of clauses = 73645 12,7899 c number of clauses / number of variables = 3.072 c number of clauses = 78751 12,9 c number of clauses / number of variables = 2.917 c number of clauses = 66628 12,774 c number of clauses / number of variables = 3.447 c number of clauses = 103182 13,3455 c number of clauses / number of variables = 2.697 c number of clauses = 62240 13,12 c number of clauses / number of variables = 2.799 c number of clauses = 69415 13,45 c number of clauses / number of variables = 2.744 c number of clauses = 65651 13,78 c number of clauses / number of variables = 2.961 c number of clauses = 82347 13,8546 c number of clauses / number of variables = 2.940 c number of clauses = 80816 13,474 c number of clauses / number of variables = 2.917 c number of clauses = 78314 13,188 c number of clauses / number of variables = 2.971 c number of clauses = 83096 13,7899 c number of clauses / number of variables = 2.999 c number of clauses = 85662 13,9 c number of clauses / number of variables = 2.842 c number of clauses = 72642 13,774 c number of clauses / number of variables = 3.355 c number of clauses = 113114 14,3455 c number of clauses / number of variables = 2.640 c number of clauses = 68588 14,12 c number of clauses / number of variables = 2.744 c number of clauses = 76543 14,45 c number of clauses / number of variables = 2.724 c number of clauses = 75260 14,78 c number of clauses / number of variables = 2.949 c number of clauses = 95063 14,8546 c number of clauses / number of variables = 2.898 c number of clauses = 90184 14,474 c number of clauses / number of variables = 2.941 c number of clauses = 94039 14,188 c number of clauses / number of variables = 2.950 c number of clauses = 95050 14,7899 c number of clauses / number of variables = 2.971 c number of clauses = 97124 14,9 c number of clauses / number of variables = 2.823 c number of clauses = 83261 14,774 c number of clauses / number of variables = 3.302 c number of clauses = 126807 15,3455 c number of clauses / number of variables = 2.655 c number of clauses = 80616 15,12 c number of clauses / number of variables = 2.722 c number of clauses = 86502 15,45 c number of clauses / number of variables = 2.676 c number of clauses = 82708 15,78 c number of clauses / number of variables = 2.899 c number of clauses = 104000 15,8546 c number of clauses / number of variables = 2.859 c number of clauses = 99818 15,474 c number of clauses / number of variables = 2.881 c number of clauses = 101786 15,188 c number of clauses / number of variables = 2.899 c number of clauses = 103922 15,7899 c number of clauses / number of variables = 2.935 c number of clauses = 107893 15,9 c number of clauses / number of variables = 2.782 c number of clauses = 92077 15,774 c number of clauses / number of variables = 3.245 c number of clauses = 140093 16,3455 c number of clauses / number of variables = 2.627 c number of clauses = 89731 16,12 c number of clauses / number of variables = 2.664 c number of clauses = 93203 16,45 c number of clauses / number of variables = 2.677 c number of clauses = 94867 16,78 c number of clauses / number of variables = 2.852 c number of clauses = 113132 16,8546 c number of clauses / number of variables = 2.839 c number of clauses = 111944 16,474 c number of clauses / number of variables = 2.787 c number of clauses = 105267 16,188 c number of clauses / number of variables = 2.870 c number of clauses = 115357 16,7899 c number of clauses / number of variables = 2.903 c number of clauses = 119200 16,9 c number of clauses / number of variables = 2.769 c number of clauses = 104111 16,774 c number of clauses / number of variables = 3.171 c number of clauses = 151004 17,3455 c number of clauses / number of variables = 2.618 c number of clauses = 101049 17,12 c number of clauses / number of variables = 2.674 c number of clauses = 107091 17,45 c number of clauses / number of variables = 2.644 c number of clauses = 104047 17,78 c number of clauses / number of variables = 2.829 c number of clauses = 125316 17,8546 c number of clauses / number of variables = 2.822 c number of clauses = 124689 17,474 c number of clauses / number of variables = 2.780 c number of clauses = 118692 17,188 c number of clauses / number of variables = 2.823 c number of clauses = 124484 17,7899 c number of clauses / number of variables = 2.875 c number of clauses = 131364 17,9 c number of clauses / number of variables = 2.747 c number of clauses = 115336 17,774 c number of clauses / number of variables = 3.112 c number of clauses = 163459 18,3455 c number of clauses / number of variables = 2.625 c number of clauses = 114699 18,12 c number of clauses / number of variables = 2.665 c number of clauses = 119509 18,45 c number of clauses / number of variables = 2.617 c number of clauses = 113933 18,78 c number of clauses / number of variables = 2.816 c number of clauses = 139231 18,8546 c number of clauses / number of variables = 2.787 c number of clauses = 135423 18,474 c number of clauses / number of variables = 2.761 c number of clauses = 131195 18,188 c number of clauses / number of variables = 2.790 c number of clauses = 135469 18,7899 c number of clauses / number of variables = 2.837 c number of clauses = 141925 18,9 c number of clauses / number of variables = 2.716 c number of clauses = 125901 18,774 c number of clauses / number of variables = 3.091 c number of clauses = 181345