grid size = 6 max robots = 18 obstacles = 0.2 3455 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=1 --obstacle-probability=0.2 --seed=3455 --cnf-level=12 --cnf-file=grid_6x6_r1_3455.cnf ================================================================ reLOC 0.09-vegas : Grid Instance Generator (C) Copyright 2011-2013 Pavel Surynek ---------------------------------------------------------------- Phase statistics (current phase = 'root_phase') [ Phase (name = 'root_phase') [ Total SAT solver calls = 0 Satisfiable SAT solver calls = 0 Unsatisfiable SAT solver calls = 0 Indeterminate SAT solver calls = 0 Move executions = 0 Produced CNF variables = 2683 Produced CNF clauses = 9596 Search steps = 0 Wall clock TIME (seconds) = 0.011 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 = 2933 Produced CNF clauses = 10299 Search steps = 0 Wall clock TIME (seconds) = 0.012 CPU/machine TIME (seconds) = 0.010 ] ] 45 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=1 --obstacle-probability=0.2 --seed=45 --cnf-level=12 --cnf-file=grid_6x6_r1_45.cnf ================================================================ reLOC 0.09-vegas : Grid Instance Generator (C) Copyright 2011-2013 Pavel Surynek ---------------------------------------------------------------- Phase statistics (current phase = 'root_phase') [ Phase (name = 'root_phase') [ Total SAT solver calls = 0 Satisfiable SAT solver calls = 0 Unsatisfiable SAT solver calls = 0 Indeterminate SAT solver calls = 0 Move executions = 0 Produced CNF variables = 2465 Produced CNF clauses = 8336 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=1 --obstacle-probability=0.2 --seed=78 --cnf-level=12 --cnf-file=grid_6x6_r1_78.cnf ================================================================ reLOC 0.09-vegas : Grid Instance Generator (C) Copyright 2011-2013 Pavel Surynek ---------------------------------------------------------------- Phase statistics (current phase = 'root_phase') [ Phase (name = 'root_phase') [ Total SAT solver calls = 0 Satisfiable SAT solver calls = 0 Unsatisfiable SAT solver calls = 0 Indeterminate SAT solver calls = 0 Move executions = 0 Produced CNF variables = 3563 Produced CNF clauses = 13345 Search steps = 0 Wall clock TIME (seconds) = 0.015 CPU/machine TIME (seconds) = 0.010 ] ] 8546 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=1 --obstacle-probability=0.2 --seed=8546 --cnf-level=12 --cnf-file=grid_6x6_r1_8546.cnf ================================================================ reLOC 0.09-vegas : Grid Instance Generator (C) Copyright 2011-2013 Pavel Surynek ---------------------------------------------------------------- Phase statistics (current phase = 'root_phase') [ Phase (name = 'root_phase') [ Total SAT solver calls = 0 Satisfiable SAT solver calls = 0 Unsatisfiable SAT solver calls = 0 Indeterminate SAT solver calls = 0 Move executions = 0 Produced CNF variables = 3590 Produced CNF clauses = 13284 Search steps = 0 Wall clock TIME (seconds) = 0.015 CPU/machine TIME (seconds) = 0.010 ] ] 474 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=1 --obstacle-probability=0.2 --seed=474 --cnf-level=12 --cnf-file=grid_6x6_r1_474.cnf ================================================================ reLOC 0.09-vegas : Grid Instance Generator (C) Copyright 2011-2013 Pavel Surynek ---------------------------------------------------------------- Phase statistics (current phase = 'root_phase') [ Phase (name = 'root_phase') [ Total SAT solver calls = 0 Satisfiable SAT solver calls = 0 Unsatisfiable SAT solver calls = 0 Indeterminate SAT solver calls = 0 Move executions = 0 Produced CNF variables = 3372 Produced CNF clauses = 12394 Search steps = 0 Wall clock TIME (seconds) = 0.014 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 = 3793 Produced CNF clauses = 14197 Search steps = 0 Wall clock TIME (seconds) = 0.016 CPU/machine TIME (seconds) = 0.010 ] ] 7899 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=1 --obstacle-probability=0.2 --seed=7899 --cnf-level=12 --cnf-file=grid_6x6_r1_7899.cnf ================================================================ reLOC 0.09-vegas : Grid Instance Generator (C) Copyright 2011-2013 Pavel Surynek ---------------------------------------------------------------- Phase statistics (current phase = 'root_phase') [ Phase (name = 'root_phase') [ Total SAT solver calls = 0 Satisfiable SAT solver calls = 0 Unsatisfiable SAT solver calls = 0 Indeterminate SAT solver calls = 0 Move executions = 0 Produced CNF variables = 3587 Produced CNF clauses = 13748 Search steps = 0 Wall clock TIME (seconds) = 0.015 CPU/machine TIME (seconds) = 0.010 ] ] 9 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=1 --obstacle-probability=0.2 --seed=9 --cnf-level=12 --cnf-file=grid_6x6_r1_9.cnf ================================================================ reLOC 0.09-vegas : Grid Instance Generator (C) Copyright 2011-2013 Pavel Surynek ---------------------------------------------------------------- Phase statistics (current phase = 'root_phase') [ Phase (name = 'root_phase') [ Total SAT solver calls = 0 Satisfiable SAT solver calls = 0 Unsatisfiable SAT solver calls = 0 Indeterminate SAT solver calls = 0 Move executions = 0 Produced CNF variables = 3590 Produced CNF clauses = 13061 Search steps = 0 Wall clock TIME (seconds) = 0.015 CPU/machine TIME (seconds) = 0.010 ] ] 774 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=1 --obstacle-probability=0.2 --seed=774 --cnf-level=12 --cnf-file=grid_6x6_r1_774.cnf ================================================================ reLOC 0.09-vegas : Grid Instance Generator (C) Copyright 2011-2013 Pavel Surynek ---------------------------------------------------------------- Phase statistics (current phase = 'root_phase') [ Phase (name = 'root_phase') [ Total SAT solver calls = 0 Satisfiable SAT solver calls = 0 Unsatisfiable SAT solver calls = 0 Indeterminate SAT solver calls = 0 Move executions = 0 Produced CNF variables = 4267 Produced CNF clauses = 16683 Search steps = 0 Wall clock TIME (seconds) = 0.019 CPU/machine TIME (seconds) = 0.020 ] ] 3455 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=2 --obstacle-probability=0.2 --seed=3455 --cnf-level=12 --cnf-file=grid_6x6_r2_3455.cnf ================================================================ reLOC 0.09-vegas : Grid Instance Generator (C) Copyright 2011-2013 Pavel Surynek ---------------------------------------------------------------- Phase statistics (current phase = 'root_phase') [ Phase (name = 'root_phase') [ Total SAT solver calls = 0 Satisfiable SAT solver calls = 0 Unsatisfiable SAT solver calls = 0 Indeterminate SAT solver calls = 0 Move executions = 0 Produced CNF variables = 2995 Produced CNF clauses = 13101 Search steps = 0 Wall clock TIME (seconds) = 0.014 CPU/machine TIME (seconds) = 0.010 ] ] 12 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=2 --obstacle-probability=0.2 --seed=12 --cnf-level=12 --cnf-file=grid_6x6_r2_12.cnf ================================================================ reLOC 0.09-vegas : Grid Instance Generator (C) Copyright 2011-2013 Pavel Surynek ---------------------------------------------------------------- Phase statistics (current phase = 'root_phase') [ Phase (name = 'root_phase') [ Total SAT solver calls = 0 Satisfiable SAT solver calls = 0 Unsatisfiable SAT solver calls = 0 Indeterminate SAT solver calls = 0 Move executions = 0 Produced CNF variables = 3269 Produced CNF clauses = 14122 Search steps = 0 Wall clock TIME (seconds) = 0.015 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 = 2753 Produced CNF clauses = 11575 Search steps = 0 Wall clock TIME (seconds) = 0.012 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 = 3923 Produced CNF clauses = 18164 Search steps = 0 Wall clock TIME (seconds) = 0.019 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 = 3962 Produced CNF clauses = 18045 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=2 --obstacle-probability=0.2 --seed=474 --cnf-level=12 --cnf-file=grid_6x6_r2_474.cnf ================================================================ reLOC 0.09-vegas : Grid Instance Generator (C) Copyright 2011-2013 Pavel Surynek ---------------------------------------------------------------- Phase statistics (current phase = 'root_phase') [ Phase (name = 'root_phase') [ Total SAT solver calls = 0 Satisfiable SAT solver calls = 0 Unsatisfiable SAT solver calls = 0 Indeterminate SAT solver calls = 0 Move executions = 0 Produced CNF variables = 3720 Produced CNF clauses = 16929 Search steps = 0 Wall clock TIME (seconds) = 0.017 CPU/machine TIME (seconds) = 0.010 ] ] 188 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=2 --obstacle-probability=0.2 --seed=188 --cnf-level=12 --cnf-file=grid_6x6_r2_188.cnf ================================================================ reLOC 0.09-vegas : Grid Instance Generator (C) Copyright 2011-2013 Pavel Surynek ---------------------------------------------------------------- Phase statistics (current phase = 'root_phase') [ Phase (name = 'root_phase') [ Total SAT solver calls = 0 Satisfiable SAT solver calls = 0 Unsatisfiable SAT solver calls = 0 Indeterminate SAT solver calls = 0 Move executions = 0 Produced CNF variables = 4177 Produced CNF clauses = 19270 Search steps = 0 Wall clock TIME (seconds) = 0.020 CPU/machine TIME (seconds) = 0.020 ] ] 7899 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=2 --obstacle-probability=0.2 --seed=7899 --cnf-level=12 --cnf-file=grid_6x6_r2_7899.cnf ================================================================ reLOC 0.09-vegas : Grid Instance Generator (C) Copyright 2011-2013 Pavel Surynek ---------------------------------------------------------------- Phase statistics (current phase = 'root_phase') [ Phase (name = 'root_phase') [ Total SAT solver calls = 0 Satisfiable SAT solver calls = 0 Unsatisfiable SAT solver calls = 0 Indeterminate SAT solver calls = 0 Move executions = 0 Produced CNF variables = 3947 Produced CNF clauses = 18590 Search steps = 0 Wall clock TIME (seconds) = 0.019 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 = 3962 Produced CNF clauses = 17863 Search steps = 0 Wall clock TIME (seconds) = 0.018 CPU/machine TIME (seconds) = 0.020 ] ] 774 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=2 --obstacle-probability=0.2 --seed=774 --cnf-level=12 --cnf-file=grid_6x6_r2_774.cnf ================================================================ reLOC 0.09-vegas : Grid Instance Generator (C) Copyright 2011-2013 Pavel Surynek ---------------------------------------------------------------- Phase statistics (current phase = 'root_phase') [ Phase (name = 'root_phase') [ Total SAT solver calls = 0 Satisfiable SAT solver calls = 0 Unsatisfiable SAT solver calls = 0 Indeterminate SAT solver calls = 0 Move executions = 0 Produced CNF variables = 4675 Produced CNF clauses = 22461 Search steps = 0 Wall clock TIME (seconds) = 0.023 CPU/machine TIME (seconds) = 0.020 ] ] 3455 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=3 --obstacle-probability=0.2 --seed=3455 --cnf-level=12 --cnf-file=grid_6x6_r3_3455.cnf ================================================================ reLOC 0.09-vegas : Grid Instance Generator (C) Copyright 2011-2013 Pavel Surynek ---------------------------------------------------------------- Phase statistics (current phase = 'root_phase') [ Phase (name = 'root_phase') [ Total SAT solver calls = 0 Satisfiable SAT solver calls = 0 Unsatisfiable SAT solver calls = 0 Indeterminate SAT solver calls = 0 Move executions = 0 Produced CNF variables = 2995 Produced CNF clauses = 13001 Search steps = 0 Wall clock TIME (seconds) = 0.014 CPU/machine TIME (seconds) = 0.000 ] ] 12 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=3 --obstacle-probability=0.2 --seed=12 --cnf-level=12 --cnf-file=grid_6x6_r3_12.cnf ================================================================ reLOC 0.09-vegas : Grid Instance Generator (C) Copyright 2011-2013 Pavel Surynek ---------------------------------------------------------------- Phase statistics (current phase = 'root_phase') [ Phase (name = 'root_phase') [ Total SAT solver calls = 0 Satisfiable SAT solver calls = 0 Unsatisfiable SAT solver calls = 0 Indeterminate SAT solver calls = 0 Move executions = 0 Produced CNF variables = 3269 Produced CNF clauses = 14083 Search steps = 0 Wall clock TIME (seconds) = 0.015 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 = 2753 Produced CNF clauses = 11504 Search steps = 0 Wall clock TIME (seconds) = 0.012 CPU/machine TIME (seconds) = 0.010 ] ] 78 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=3 --obstacle-probability=0.2 --seed=78 --cnf-level=12 --cnf-file=grid_6x6_r3_78.cnf ================================================================ reLOC 0.09-vegas : Grid Instance Generator (C) Copyright 2011-2013 Pavel Surynek ---------------------------------------------------------------- Phase statistics (current phase = 'root_phase') [ Phase (name = 'root_phase') [ Total SAT solver calls = 0 Satisfiable SAT solver calls = 0 Unsatisfiable SAT solver calls = 0 Indeterminate SAT solver calls = 0 Move executions = 0 Produced CNF variables = 3923 Produced CNF clauses = 17993 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 = 3962 Produced CNF clauses = 17904 Search steps = 0 Wall clock TIME (seconds) = 0.019 CPU/machine TIME (seconds) = 0.020 ] ] 474 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=3 --obstacle-probability=0.2 --seed=474 --cnf-level=12 --cnf-file=grid_6x6_r3_474.cnf ================================================================ reLOC 0.09-vegas : Grid Instance Generator (C) Copyright 2011-2013 Pavel Surynek ---------------------------------------------------------------- Phase statistics (current phase = 'root_phase') [ Phase (name = 'root_phase') [ Total SAT solver calls = 0 Satisfiable SAT solver calls = 0 Unsatisfiable SAT solver calls = 0 Indeterminate SAT solver calls = 0 Move executions = 0 Produced CNF variables = 3720 Produced CNF clauses = 16916 Search steps = 0 Wall clock TIME (seconds) = 0.018 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 = 4177 Produced CNF clauses = 19183 Search steps = 0 Wall clock TIME (seconds) = 0.020 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 = 3947 Produced CNF clauses = 18393 Search steps = 0 Wall clock TIME (seconds) = 0.019 CPU/machine TIME (seconds) = 0.020 ] ] 9 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=3 --obstacle-probability=0.2 --seed=9 --cnf-level=12 --cnf-file=grid_6x6_r3_9.cnf ================================================================ reLOC 0.09-vegas : Grid Instance Generator (C) Copyright 2011-2013 Pavel Surynek ---------------------------------------------------------------- Phase statistics (current phase = 'root_phase') [ Phase (name = 'root_phase') [ Total SAT solver calls = 0 Satisfiable SAT solver calls = 0 Unsatisfiable SAT solver calls = 0 Indeterminate SAT solver calls = 0 Move executions = 0 Produced CNF variables = 3962 Produced CNF clauses = 17715 Search steps = 0 Wall clock TIME (seconds) = 0.018 CPU/machine TIME (seconds) = 0.020 ] ] 774 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=3 --obstacle-probability=0.2 --seed=774 --cnf-level=12 --cnf-file=grid_6x6_r3_774.cnf ================================================================ reLOC 0.09-vegas : Grid Instance Generator (C) Copyright 2011-2013 Pavel Surynek ---------------------------------------------------------------- Phase statistics (current phase = 'root_phase') [ Phase (name = 'root_phase') [ Total SAT solver calls = 0 Satisfiable SAT solver calls = 0 Unsatisfiable SAT solver calls = 0 Indeterminate SAT solver calls = 0 Move executions = 0 Produced CNF variables = 4675 Produced CNF clauses = 22275 Search steps = 0 Wall clock TIME (seconds) = 0.024 CPU/machine TIME (seconds) = 0.010 ] ] 3455 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=4 --obstacle-probability=0.2 --seed=3455 --cnf-level=12 --cnf-file=grid_6x6_r4_3455.cnf ================================================================ reLOC 0.09-vegas : Grid Instance Generator (C) Copyright 2011-2013 Pavel Surynek ---------------------------------------------------------------- Phase statistics (current phase = 'root_phase') [ Phase (name = 'root_phase') [ Total SAT solver calls = 0 Satisfiable SAT solver calls = 0 Unsatisfiable SAT solver calls = 0 Indeterminate SAT solver calls = 0 Move executions = 0 Produced CNF variables = 3307 Produced CNF clauses = 17327 Search steps = 0 Wall clock TIME (seconds) = 0.018 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 = 3605 Produced CNF clauses = 18624 Search steps = 0 Wall clock TIME (seconds) = 0.019 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 = 3041 Produced CNF clauses = 15341 Search steps = 0 Wall clock TIME (seconds) = 0.016 CPU/machine TIME (seconds) = 0.010 ] ] 78 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=4 --obstacle-probability=0.2 --seed=78 --cnf-level=12 --cnf-file=grid_6x6_r4_78.cnf ================================================================ reLOC 0.09-vegas : Grid Instance Generator (C) Copyright 2011-2013 Pavel Surynek ---------------------------------------------------------------- Phase statistics (current phase = 'root_phase') [ Phase (name = 'root_phase') [ Total SAT solver calls = 0 Satisfiable SAT solver calls = 0 Unsatisfiable SAT solver calls = 0 Indeterminate SAT solver calls = 0 Move executions = 0 Produced CNF variables = 4283 Produced CNF clauses = 23503 Search steps = 0 Wall clock TIME (seconds) = 0.023 CPU/machine TIME (seconds) = 0.020 ] ] 8546 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=4 --obstacle-probability=0.2 --seed=8546 --cnf-level=12 --cnf-file=grid_6x6_r4_8546.cnf ================================================================ reLOC 0.09-vegas : Grid Instance Generator (C) Copyright 2011-2013 Pavel Surynek ---------------------------------------------------------------- Phase statistics (current phase = 'root_phase') [ Phase (name = 'root_phase') [ Total SAT solver calls = 0 Satisfiable SAT solver calls = 0 Unsatisfiable SAT solver calls = 0 Indeterminate SAT solver calls = 0 Move executions = 0 Produced CNF variables = 4334 Produced CNF clauses = 23400 Search steps = 0 Wall clock TIME (seconds) = 0.024 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 = 4068 Produced CNF clauses = 22015 Search steps = 0 Wall clock TIME (seconds) = 0.022 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 = 4561 Produced CNF clauses = 24953 Search steps = 0 Wall clock TIME (seconds) = 0.025 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 = 4307 Produced CNF clauses = 23936 Search steps = 0 Wall clock TIME (seconds) = 0.024 CPU/machine TIME (seconds) = 0.020 ] ] 9 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=4 --obstacle-probability=0.2 --seed=9 --cnf-level=12 --cnf-file=grid_6x6_r4_9.cnf ================================================================ reLOC 0.09-vegas : Grid Instance Generator (C) Copyright 2011-2013 Pavel Surynek ---------------------------------------------------------------- Phase statistics (current phase = 'root_phase') [ Phase (name = 'root_phase') [ Total SAT solver calls = 0 Satisfiable SAT solver calls = 0 Unsatisfiable SAT solver calls = 0 Indeterminate SAT solver calls = 0 Move executions = 0 Produced CNF variables = 4334 Produced CNF clauses = 23221 Search steps = 0 Wall clock TIME (seconds) = 0.023 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 = 5083 Produced CNF clauses = 28782 Search steps = 0 Wall clock TIME (seconds) = 0.028 CPU/machine TIME (seconds) = 0.020 ] ] 3455 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=5 --obstacle-probability=0.2 --seed=3455 --cnf-level=12 --cnf-file=grid_6x6_r5_3455.cnf ================================================================ reLOC 0.09-vegas : Grid Instance Generator (C) Copyright 2011-2013 Pavel Surynek ---------------------------------------------------------------- Phase statistics (current phase = 'root_phase') [ Phase (name = 'root_phase') [ Total SAT solver calls = 0 Satisfiable SAT solver calls = 0 Unsatisfiable SAT solver calls = 0 Indeterminate SAT solver calls = 0 Move executions = 0 Produced CNF variables = 3307 Produced CNF clauses = 17214 Search steps = 0 Wall clock TIME (seconds) = 0.018 CPU/machine TIME (seconds) = 0.010 ] ] 12 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=5 --obstacle-probability=0.2 --seed=12 --cnf-level=12 --cnf-file=grid_6x6_r5_12.cnf ================================================================ reLOC 0.09-vegas : Grid Instance Generator (C) Copyright 2011-2013 Pavel Surynek ---------------------------------------------------------------- Phase statistics (current phase = 'root_phase') [ Phase (name = 'root_phase') [ Total SAT solver calls = 0 Satisfiable SAT solver calls = 0 Unsatisfiable SAT solver calls = 0 Indeterminate SAT solver calls = 0 Move executions = 0 Produced CNF variables = 3605 Produced CNF clauses = 18553 Search steps = 0 Wall clock TIME (seconds) = 0.019 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 = 3041 Produced CNF clauses = 15107 Search steps = 0 Wall clock TIME (seconds) = 0.016 CPU/machine TIME (seconds) = 0.010 ] ] 78 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=5 --obstacle-probability=0.2 --seed=78 --cnf-level=12 --cnf-file=grid_6x6_r5_78.cnf ================================================================ reLOC 0.09-vegas : Grid Instance Generator (C) Copyright 2011-2013 Pavel Surynek ---------------------------------------------------------------- Phase statistics (current phase = 'root_phase') [ Phase (name = 'root_phase') [ Total SAT solver calls = 0 Satisfiable SAT solver calls = 0 Unsatisfiable SAT solver calls = 0 Indeterminate SAT solver calls = 0 Move executions = 0 Produced CNF variables = 4283 Produced CNF clauses = 23278 Search steps = 0 Wall clock TIME (seconds) = 0.023 CPU/machine TIME (seconds) = 0.020 ] ] 8546 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=5 --obstacle-probability=0.2 --seed=8546 --cnf-level=12 --cnf-file=grid_6x6_r5_8546.cnf ================================================================ reLOC 0.09-vegas : Grid Instance Generator (C) Copyright 2011-2013 Pavel Surynek ---------------------------------------------------------------- Phase statistics (current phase = 'root_phase') [ Phase (name = 'root_phase') [ Total SAT solver calls = 0 Satisfiable SAT solver calls = 0 Unsatisfiable SAT solver calls = 0 Indeterminate SAT solver calls = 0 Move executions = 0 Produced CNF variables = 4334 Produced CNF clauses = 23204 Search steps = 0 Wall clock TIME (seconds) = 0.023 CPU/machine TIME (seconds) = 0.020 ] ] 474 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=5 --obstacle-probability=0.2 --seed=474 --cnf-level=12 --cnf-file=grid_6x6_r5_474.cnf ================================================================ reLOC 0.09-vegas : Grid Instance Generator (C) Copyright 2011-2013 Pavel Surynek ---------------------------------------------------------------- Phase statistics (current phase = 'root_phase') [ Phase (name = 'root_phase') [ Total SAT solver calls = 0 Satisfiable SAT solver calls = 0 Unsatisfiable SAT solver calls = 0 Indeterminate SAT solver calls = 0 Move executions = 0 Produced CNF variables = 4068 Produced CNF clauses = 21929 Search steps = 0 Wall clock TIME (seconds) = 0.022 CPU/machine TIME (seconds) = 0.010 ] ] 188 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=5 --obstacle-probability=0.2 --seed=188 --cnf-level=12 --cnf-file=grid_6x6_r5_188.cnf ================================================================ reLOC 0.09-vegas : Grid Instance Generator (C) Copyright 2011-2013 Pavel Surynek ---------------------------------------------------------------- Phase statistics (current phase = 'root_phase') [ Phase (name = 'root_phase') [ Total SAT solver calls = 0 Satisfiable SAT solver calls = 0 Unsatisfiable SAT solver calls = 0 Indeterminate SAT solver calls = 0 Move executions = 0 Produced CNF variables = 4561 Produced CNF clauses = 24908 Search steps = 0 Wall clock TIME (seconds) = 0.026 CPU/machine TIME (seconds) = 0.010 ] ] 7899 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=5 --obstacle-probability=0.2 --seed=7899 --cnf-level=12 --cnf-file=grid_6x6_r5_7899.cnf ================================================================ reLOC 0.09-vegas : Grid Instance Generator (C) Copyright 2011-2013 Pavel Surynek ---------------------------------------------------------------- Phase statistics (current phase = 'root_phase') [ Phase (name = 'root_phase') [ Total SAT solver calls = 0 Satisfiable SAT solver calls = 0 Unsatisfiable SAT solver calls = 0 Indeterminate SAT solver calls = 0 Move executions = 0 Produced CNF variables = 4307 Produced CNF clauses = 23781 Search steps = 0 Wall clock TIME (seconds) = 0.024 CPU/machine TIME (seconds) = 0.020 ] ] 9 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=5 --obstacle-probability=0.2 --seed=9 --cnf-level=12 --cnf-file=grid_6x6_r5_9.cnf ================================================================ reLOC 0.09-vegas : Grid Instance Generator (C) Copyright 2011-2013 Pavel Surynek ---------------------------------------------------------------- Phase statistics (current phase = 'root_phase') [ Phase (name = 'root_phase') [ Total SAT solver calls = 0 Satisfiable SAT solver calls = 0 Unsatisfiable SAT solver calls = 0 Indeterminate SAT solver calls = 0 Move executions = 0 Produced CNF variables = 4334 Produced CNF clauses = 23111 Search steps = 0 Wall clock TIME (seconds) = 0.023 CPU/machine TIME (seconds) = 0.020 ] ] 774 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=5 --obstacle-probability=0.2 --seed=774 --cnf-level=12 --cnf-file=grid_6x6_r5_774.cnf ================================================================ reLOC 0.09-vegas : Grid Instance Generator (C) Copyright 2011-2013 Pavel Surynek ---------------------------------------------------------------- Phase statistics (current phase = 'root_phase') [ Phase (name = 'root_phase') [ Total SAT solver calls = 0 Satisfiable SAT solver calls = 0 Unsatisfiable SAT solver calls = 0 Indeterminate SAT solver calls = 0 Move executions = 0 Produced CNF variables = 5083 Produced CNF clauses = 28625 Search steps = 0 Wall clock TIME (seconds) = 0.028 CPU/machine TIME (seconds) = 0.020 ] ] 3455 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=6 --obstacle-probability=0.2 --seed=3455 --cnf-level=12 --cnf-file=grid_6x6_r6_3455.cnf ================================================================ reLOC 0.09-vegas : Grid Instance Generator (C) Copyright 2011-2013 Pavel Surynek ---------------------------------------------------------------- Phase statistics (current phase = 'root_phase') [ Phase (name = 'root_phase') [ Total SAT solver calls = 0 Satisfiable SAT solver calls = 0 Unsatisfiable SAT solver calls = 0 Indeterminate SAT solver calls = 0 Move executions = 0 Produced CNF variables = 3307 Produced CNF clauses = 17004 Search steps = 0 Wall clock TIME (seconds) = 0.017 CPU/machine TIME (seconds) = 0.010 ] ] 12 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=6 --obstacle-probability=0.2 --seed=12 --cnf-level=12 --cnf-file=grid_6x6_r6_12.cnf ================================================================ reLOC 0.09-vegas : Grid Instance Generator (C) Copyright 2011-2013 Pavel Surynek ---------------------------------------------------------------- Phase statistics (current phase = 'root_phase') [ Phase (name = 'root_phase') [ Total SAT solver calls = 0 Satisfiable SAT solver calls = 0 Unsatisfiable SAT solver calls = 0 Indeterminate SAT solver calls = 0 Move executions = 0 Produced CNF variables = 3605 Produced CNF clauses = 18486 Search steps = 0 Wall clock TIME (seconds) = 0.019 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 = 3041 Produced CNF clauses = 14990 Search steps = 0 Wall clock TIME (seconds) = 0.015 CPU/machine TIME (seconds) = 0.010 ] ] 78 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=6 --obstacle-probability=0.2 --seed=78 --cnf-level=12 --cnf-file=grid_6x6_r6_78.cnf ================================================================ reLOC 0.09-vegas : Grid Instance Generator (C) Copyright 2011-2013 Pavel Surynek ---------------------------------------------------------------- Phase statistics (current phase = 'root_phase') [ Phase (name = 'root_phase') [ Total SAT solver calls = 0 Satisfiable SAT solver calls = 0 Unsatisfiable SAT solver calls = 0 Indeterminate SAT solver calls = 0 Move executions = 0 Produced CNF variables = 4283 Produced CNF clauses = 23038 Search steps = 0 Wall clock TIME (seconds) = 0.023 CPU/machine TIME (seconds) = 0.020 ] ] 8546 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=6 --obstacle-probability=0.2 --seed=8546 --cnf-level=12 --cnf-file=grid_6x6_r6_8546.cnf ================================================================ reLOC 0.09-vegas : Grid Instance Generator (C) Copyright 2011-2013 Pavel Surynek ---------------------------------------------------------------- Phase statistics (current phase = 'root_phase') [ Phase (name = 'root_phase') [ Total SAT solver calls = 0 Satisfiable SAT solver calls = 0 Unsatisfiable SAT solver calls = 0 Indeterminate SAT solver calls = 0 Move executions = 0 Produced CNF variables = 4334 Produced CNF clauses = 22979 Search steps = 0 Wall clock TIME (seconds) = 0.023 CPU/machine TIME (seconds) = 0.020 ] ] 474 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=6 --obstacle-probability=0.2 --seed=474 --cnf-level=12 --cnf-file=grid_6x6_r6_474.cnf ================================================================ reLOC 0.09-vegas : Grid Instance Generator (C) Copyright 2011-2013 Pavel Surynek ---------------------------------------------------------------- Phase statistics (current phase = 'root_phase') [ Phase (name = 'root_phase') [ Total SAT solver calls = 0 Satisfiable SAT solver calls = 0 Unsatisfiable SAT solver calls = 0 Indeterminate SAT solver calls = 0 Move executions = 0 Produced CNF variables = 4068 Produced CNF clauses = 21638 Search steps = 0 Wall clock TIME (seconds) = 0.022 CPU/machine TIME (seconds) = 0.010 ] ] 188 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=6 --obstacle-probability=0.2 --seed=188 --cnf-level=12 --cnf-file=grid_6x6_r6_188.cnf ================================================================ reLOC 0.09-vegas : Grid Instance Generator (C) Copyright 2011-2013 Pavel Surynek ---------------------------------------------------------------- Phase statistics (current phase = 'root_phase') [ Phase (name = 'root_phase') [ Total SAT solver calls = 0 Satisfiable SAT solver calls = 0 Unsatisfiable SAT solver calls = 0 Indeterminate SAT solver calls = 0 Move executions = 0 Produced CNF variables = 4561 Produced CNF clauses = 24660 Search steps = 0 Wall clock TIME (seconds) = 0.024 CPU/machine TIME (seconds) = 0.020 ] ] 7899 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=6 --obstacle-probability=0.2 --seed=7899 --cnf-level=12 --cnf-file=grid_6x6_r6_7899.cnf ================================================================ reLOC 0.09-vegas : Grid Instance Generator (C) Copyright 2011-2013 Pavel Surynek ---------------------------------------------------------------- Phase statistics (current phase = 'root_phase') [ Phase (name = 'root_phase') [ Total SAT solver calls = 0 Satisfiable SAT solver calls = 0 Unsatisfiable SAT solver calls = 0 Indeterminate SAT solver calls = 0 Move executions = 0 Produced CNF variables = 4307 Produced CNF clauses = 23517 Search steps = 0 Wall clock TIME (seconds) = 0.024 CPU/machine TIME (seconds) = 0.020 ] ] 9 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=6 --obstacle-probability=0.2 --seed=9 --cnf-level=12 --cnf-file=grid_6x6_r6_9.cnf ================================================================ reLOC 0.09-vegas : Grid Instance Generator (C) Copyright 2011-2013 Pavel Surynek ---------------------------------------------------------------- Phase statistics (current phase = 'root_phase') [ Phase (name = 'root_phase') [ Total SAT solver calls = 0 Satisfiable SAT solver calls = 0 Unsatisfiable SAT solver calls = 0 Indeterminate SAT solver calls = 0 Move executions = 0 Produced CNF variables = 4334 Produced CNF clauses = 22950 Search steps = 0 Wall clock TIME (seconds) = 0.023 CPU/machine TIME (seconds) = 0.020 ] ] 774 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=6 --obstacle-probability=0.2 --seed=774 --cnf-level=12 --cnf-file=grid_6x6_r6_774.cnf ================================================================ reLOC 0.09-vegas : Grid Instance Generator (C) Copyright 2011-2013 Pavel Surynek ---------------------------------------------------------------- Phase statistics (current phase = 'root_phase') [ Phase (name = 'root_phase') [ Total SAT solver calls = 0 Satisfiable SAT solver calls = 0 Unsatisfiable SAT solver calls = 0 Indeterminate SAT solver calls = 0 Move executions = 0 Produced CNF variables = 5083 Produced CNF clauses = 28372 Search steps = 0 Wall clock TIME (seconds) = 0.028 CPU/machine TIME (seconds) = 0.020 ] ] 3455 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=7 --obstacle-probability=0.2 --seed=3455 --cnf-level=12 --cnf-file=grid_6x6_r7_3455.cnf ================================================================ reLOC 0.09-vegas : Grid Instance Generator (C) Copyright 2011-2013 Pavel Surynek ---------------------------------------------------------------- Phase statistics (current phase = 'root_phase') [ Phase (name = 'root_phase') [ Total SAT solver calls = 0 Satisfiable SAT solver calls = 0 Unsatisfiable SAT solver calls = 0 Indeterminate SAT solver calls = 0 Move executions = 0 Produced CNF variables = 3307 Produced CNF clauses = 17006 Search steps = 0 Wall clock TIME (seconds) = 0.017 CPU/machine TIME (seconds) = 0.010 ] ] 12 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=7 --obstacle-probability=0.2 --seed=12 --cnf-level=12 --cnf-file=grid_6x6_r7_12.cnf ================================================================ reLOC 0.09-vegas : Grid Instance Generator (C) Copyright 2011-2013 Pavel Surynek ---------------------------------------------------------------- Phase statistics (current phase = 'root_phase') [ Phase (name = 'root_phase') [ Total SAT solver calls = 0 Satisfiable SAT solver calls = 0 Unsatisfiable SAT solver calls = 0 Indeterminate SAT solver calls = 0 Move executions = 0 Produced CNF variables = 3605 Produced CNF clauses = 18465 Search steps = 0 Wall clock TIME (seconds) = 0.019 CPU/machine TIME (seconds) = 0.020 ] ] 45 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=7 --obstacle-probability=0.2 --seed=45 --cnf-level=12 --cnf-file=grid_6x6_r7_45.cnf ================================================================ reLOC 0.09-vegas : Grid Instance Generator (C) Copyright 2011-2013 Pavel Surynek ---------------------------------------------------------------- Phase statistics (current phase = 'root_phase') [ Phase (name = 'root_phase') [ Total SAT solver calls = 0 Satisfiable SAT solver calls = 0 Unsatisfiable SAT solver calls = 0 Indeterminate SAT solver calls = 0 Move executions = 0 Produced CNF variables = 3041 Produced CNF clauses = 14927 Search steps = 0 Wall clock TIME (seconds) = 0.015 CPU/machine TIME (seconds) = 0.010 ] ] 78 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=7 --obstacle-probability=0.2 --seed=78 --cnf-level=12 --cnf-file=grid_6x6_r7_78.cnf ================================================================ reLOC 0.09-vegas : Grid Instance Generator (C) Copyright 2011-2013 Pavel Surynek ---------------------------------------------------------------- Phase statistics (current phase = 'root_phase') [ Phase (name = 'root_phase') [ Total SAT solver calls = 0 Satisfiable SAT solver calls = 0 Unsatisfiable SAT solver calls = 0 Indeterminate SAT solver calls = 0 Move executions = 0 Produced CNF variables = 4283 Produced CNF clauses = 22843 Search steps = 0 Wall clock TIME (seconds) = 0.023 CPU/machine TIME (seconds) = 0.020 ] ] 8546 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=7 --obstacle-probability=0.2 --seed=8546 --cnf-level=12 --cnf-file=grid_6x6_r7_8546.cnf ================================================================ reLOC 0.09-vegas : Grid Instance Generator (C) Copyright 2011-2013 Pavel Surynek ---------------------------------------------------------------- Phase statistics (current phase = 'root_phase') [ Phase (name = 'root_phase') [ Total SAT solver calls = 0 Satisfiable SAT solver calls = 0 Unsatisfiable SAT solver calls = 0 Indeterminate SAT solver calls = 0 Move executions = 0 Produced CNF variables = 4334 Produced CNF clauses = 22931 Search steps = 0 Wall clock TIME (seconds) = 0.023 CPU/machine TIME (seconds) = 0.020 ] ] 474 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=7 --obstacle-probability=0.2 --seed=474 --cnf-level=12 --cnf-file=grid_6x6_r7_474.cnf ================================================================ reLOC 0.09-vegas : Grid Instance Generator (C) Copyright 2011-2013 Pavel Surynek ---------------------------------------------------------------- Phase statistics (current phase = 'root_phase') [ Phase (name = 'root_phase') [ Total SAT solver calls = 0 Satisfiable SAT solver calls = 0 Unsatisfiable SAT solver calls = 0 Indeterminate SAT solver calls = 0 Move executions = 0 Produced CNF variables = 4068 Produced CNF clauses = 21585 Search steps = 0 Wall clock TIME (seconds) = 0.021 CPU/machine TIME (seconds) = 0.020 ] ] 188 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=7 --obstacle-probability=0.2 --seed=188 --cnf-level=12 --cnf-file=grid_6x6_r7_188.cnf ================================================================ reLOC 0.09-vegas : Grid Instance Generator (C) Copyright 2011-2013 Pavel Surynek ---------------------------------------------------------------- Phase statistics (current phase = 'root_phase') [ Phase (name = 'root_phase') [ Total SAT solver calls = 0 Satisfiable SAT solver calls = 0 Unsatisfiable SAT solver calls = 0 Indeterminate SAT solver calls = 0 Move executions = 0 Produced CNF variables = 4561 Produced CNF clauses = 24496 Search steps = 0 Wall clock TIME (seconds) = 0.024 CPU/machine TIME (seconds) = 0.020 ] ] 7899 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=7 --obstacle-probability=0.2 --seed=7899 --cnf-level=12 --cnf-file=grid_6x6_r7_7899.cnf ================================================================ reLOC 0.09-vegas : Grid Instance Generator (C) Copyright 2011-2013 Pavel Surynek ---------------------------------------------------------------- Phase statistics (current phase = 'root_phase') [ Phase (name = 'root_phase') [ Total SAT solver calls = 0 Satisfiable SAT solver calls = 0 Unsatisfiable SAT solver calls = 0 Indeterminate SAT solver calls = 0 Move executions = 0 Produced CNF variables = 4307 Produced CNF clauses = 23378 Search steps = 0 Wall clock TIME (seconds) = 0.023 CPU/machine TIME (seconds) = 0.020 ] ] 9 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=7 --obstacle-probability=0.2 --seed=9 --cnf-level=12 --cnf-file=grid_6x6_r7_9.cnf ================================================================ reLOC 0.09-vegas : Grid Instance Generator (C) Copyright 2011-2013 Pavel Surynek ---------------------------------------------------------------- Phase statistics (current phase = 'root_phase') [ Phase (name = 'root_phase') [ Total SAT solver calls = 0 Satisfiable SAT solver calls = 0 Unsatisfiable SAT solver calls = 0 Indeterminate SAT solver calls = 0 Move executions = 0 Produced CNF variables = 4334 Produced CNF clauses = 22808 Search steps = 0 Wall clock TIME (seconds) = 0.023 CPU/machine TIME (seconds) = 0.020 ] ] 774 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=7 --obstacle-probability=0.2 --seed=774 --cnf-level=12 --cnf-file=grid_6x6_r7_774.cnf ================================================================ reLOC 0.09-vegas : Grid Instance Generator (C) Copyright 2011-2013 Pavel Surynek ---------------------------------------------------------------- Phase statistics (current phase = 'root_phase') [ Phase (name = 'root_phase') [ Total SAT solver calls = 0 Satisfiable SAT solver calls = 0 Unsatisfiable SAT solver calls = 0 Indeterminate SAT solver calls = 0 Move executions = 0 Produced CNF variables = 5083 Produced CNF clauses = 28187 Search steps = 0 Wall clock TIME (seconds) = 0.028 CPU/machine TIME (seconds) = 0.020 ] ] 3455 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=8 --obstacle-probability=0.2 --seed=3455 --cnf-level=12 --cnf-file=grid_6x6_r8_3455.cnf ================================================================ reLOC 0.09-vegas : Grid Instance Generator (C) Copyright 2011-2013 Pavel Surynek ---------------------------------------------------------------- Phase statistics (current phase = 'root_phase') [ Phase (name = 'root_phase') [ Total SAT solver calls = 0 Satisfiable SAT solver calls = 0 Unsatisfiable SAT solver calls = 0 Indeterminate SAT solver calls = 0 Move executions = 0 Produced CNF variables = 3619 Produced CNF clauses = 22477 Search steps = 0 Wall clock TIME (seconds) = 0.024 CPU/machine TIME (seconds) = 0.020 ] ] 12 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=8 --obstacle-probability=0.2 --seed=12 --cnf-level=12 --cnf-file=grid_6x6_r8_12.cnf ================================================================ reLOC 0.09-vegas : Grid Instance Generator (C) Copyright 2011-2013 Pavel Surynek ---------------------------------------------------------------- Phase statistics (current phase = 'root_phase') [ Phase (name = 'root_phase') [ Total SAT solver calls = 0 Satisfiable SAT solver calls = 0 Unsatisfiable SAT solver calls = 0 Indeterminate SAT solver calls = 0 Move executions = 0 Produced CNF variables = 3941 Produced CNF clauses = 24092 Search steps = 0 Wall clock TIME (seconds) = 0.025 CPU/machine TIME (seconds) = 0.020 ] ] 45 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=8 --obstacle-probability=0.2 --seed=45 --cnf-level=12 --cnf-file=grid_6x6_r8_45.cnf ================================================================ reLOC 0.09-vegas : Grid Instance Generator (C) Copyright 2011-2013 Pavel Surynek ---------------------------------------------------------------- Phase statistics (current phase = 'root_phase') [ Phase (name = 'root_phase') [ Total SAT solver calls = 0 Satisfiable SAT solver calls = 0 Unsatisfiable SAT solver calls = 0 Indeterminate SAT solver calls = 0 Move executions = 0 Produced CNF variables = 3329 Produced CNF clauses = 19862 Search steps = 0 Wall clock TIME (seconds) = 0.021 CPU/machine TIME (seconds) = 0.010 ] ] 78 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=8 --obstacle-probability=0.2 --seed=78 --cnf-level=12 --cnf-file=grid_6x6_r8_78.cnf ================================================================ reLOC 0.09-vegas : Grid Instance Generator (C) Copyright 2011-2013 Pavel Surynek ---------------------------------------------------------------- Phase statistics (current phase = 'root_phase') [ Phase (name = 'root_phase') [ Total SAT solver calls = 0 Satisfiable SAT solver calls = 0 Unsatisfiable SAT solver calls = 0 Indeterminate SAT solver calls = 0 Move executions = 0 Produced CNF variables = 4643 Produced CNF clauses = 29884 Search steps = 0 Wall clock TIME (seconds) = 0.034 CPU/machine TIME (seconds) = 0.020 ] ] 8546 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=8 --obstacle-probability=0.2 --seed=8546 --cnf-level=12 --cnf-file=grid_6x6_r8_8546.cnf ================================================================ reLOC 0.09-vegas : Grid Instance Generator (C) Copyright 2011-2013 Pavel Surynek ---------------------------------------------------------------- Phase statistics (current phase = 'root_phase') [ Phase (name = 'root_phase') [ Total SAT solver calls = 0 Satisfiable SAT solver calls = 0 Unsatisfiable SAT solver calls = 0 Indeterminate SAT solver calls = 0 Move executions = 0 Produced CNF variables = 4706 Produced CNF clauses = 29786 Search steps = 0 Wall clock TIME (seconds) = 0.031 CPU/machine TIME (seconds) = 0.020 ] ] 474 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=8 --obstacle-probability=0.2 --seed=474 --cnf-level=12 --cnf-file=grid_6x6_r8_474.cnf ================================================================ reLOC 0.09-vegas : Grid Instance Generator (C) Copyright 2011-2013 Pavel Surynek ---------------------------------------------------------------- Phase statistics (current phase = 'root_phase') [ Phase (name = 'root_phase') [ Total SAT solver calls = 0 Satisfiable SAT solver calls = 0 Unsatisfiable SAT solver calls = 0 Indeterminate SAT solver calls = 0 Move executions = 0 Produced CNF variables = 4416 Produced CNF clauses = 27946 Search steps = 0 Wall clock TIME (seconds) = 0.029 CPU/machine TIME (seconds) = 0.020 ] ] 188 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=8 --obstacle-probability=0.2 --seed=188 --cnf-level=12 --cnf-file=grid_6x6_r8_188.cnf ================================================================ reLOC 0.09-vegas : Grid Instance Generator (C) Copyright 2011-2013 Pavel Surynek ---------------------------------------------------------------- Phase statistics (current phase = 'root_phase') [ Phase (name = 'root_phase') [ Total SAT solver calls = 0 Satisfiable SAT solver calls = 0 Unsatisfiable SAT solver calls = 0 Indeterminate SAT solver calls = 0 Move executions = 0 Produced CNF variables = 4945 Produced CNF clauses = 31755 Search steps = 0 Wall clock TIME (seconds) = 0.033 CPU/machine TIME (seconds) = 0.020 ] ] 7899 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=8 --obstacle-probability=0.2 --seed=7899 --cnf-level=12 --cnf-file=grid_6x6_r8_7899.cnf ================================================================ reLOC 0.09-vegas : Grid Instance Generator (C) Copyright 2011-2013 Pavel Surynek ---------------------------------------------------------------- Phase statistics (current phase = 'root_phase') [ Phase (name = 'root_phase') [ Total SAT solver calls = 0 Satisfiable SAT solver calls = 0 Unsatisfiable SAT solver calls = 0 Indeterminate SAT solver calls = 0 Move executions = 0 Produced CNF variables = 4667 Produced CNF clauses = 30306 Search steps = 0 Wall clock TIME (seconds) = 0.031 CPU/machine TIME (seconds) = 0.030 ] ] 9 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=8 --obstacle-probability=0.2 --seed=9 --cnf-level=12 --cnf-file=grid_6x6_r8_9.cnf ================================================================ reLOC 0.09-vegas : Grid Instance Generator (C) Copyright 2011-2013 Pavel Surynek ---------------------------------------------------------------- Phase statistics (current phase = 'root_phase') [ Phase (name = 'root_phase') [ Total SAT solver calls = 0 Satisfiable SAT solver calls = 0 Unsatisfiable SAT solver calls = 0 Indeterminate SAT solver calls = 0 Move executions = 0 Produced CNF variables = 4706 Produced CNF clauses = 29790 Search steps = 0 Wall clock TIME (seconds) = 0.031 CPU/machine TIME (seconds) = 0.030 ] ] 774 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=8 --obstacle-probability=0.2 --seed=774 --cnf-level=12 --cnf-file=grid_6x6_r8_774.cnf ================================================================ reLOC 0.09-vegas : Grid Instance Generator (C) Copyright 2011-2013 Pavel Surynek ---------------------------------------------------------------- Phase statistics (current phase = 'root_phase') [ Phase (name = 'root_phase') [ Total SAT solver calls = 0 Satisfiable SAT solver calls = 0 Unsatisfiable SAT solver calls = 0 Indeterminate SAT solver calls = 0 Move executions = 0 Produced CNF variables = 5491 Produced CNF clauses = 36352 Search steps = 0 Wall clock TIME (seconds) = 0.039 CPU/machine TIME (seconds) = 0.030 ] ] 3455 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=9 --obstacle-probability=0.2 --seed=3455 --cnf-level=12 --cnf-file=grid_6x6_r9_3455.cnf ================================================================ reLOC 0.09-vegas : Grid Instance Generator (C) Copyright 2011-2013 Pavel Surynek ---------------------------------------------------------------- Phase statistics (current phase = 'root_phase') [ Phase (name = 'root_phase') [ Total SAT solver calls = 0 Satisfiable SAT solver calls = 0 Unsatisfiable SAT solver calls = 0 Indeterminate SAT solver calls = 0 Move executions = 0 Produced CNF variables = 3619 Produced CNF clauses = 22275 Search steps = 0 Wall clock TIME (seconds) = 0.024 CPU/machine TIME (seconds) = 0.020 ] ] 12 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=9 --obstacle-probability=0.2 --seed=12 --cnf-level=12 --cnf-file=grid_6x6_r9_12.cnf ================================================================ reLOC 0.09-vegas : Grid Instance Generator (C) Copyright 2011-2013 Pavel Surynek ---------------------------------------------------------------- Phase statistics (current phase = 'root_phase') [ Phase (name = 'root_phase') [ Total SAT solver calls = 0 Satisfiable SAT solver calls = 0 Unsatisfiable SAT solver calls = 0 Indeterminate SAT solver calls = 0 Move executions = 0 Produced CNF variables = 3941 Produced CNF clauses = 23962 Search steps = 0 Wall clock TIME (seconds) = 0.025 CPU/machine TIME (seconds) = 0.010 ] ] 45 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=9 --obstacle-probability=0.2 --seed=45 --cnf-level=12 --cnf-file=grid_6x6_r9_45.cnf ================================================================ reLOC 0.09-vegas : Grid Instance Generator (C) Copyright 2011-2013 Pavel Surynek ---------------------------------------------------------------- Phase statistics (current phase = 'root_phase') [ Phase (name = 'root_phase') [ Total SAT solver calls = 0 Satisfiable SAT solver calls = 0 Unsatisfiable SAT solver calls = 0 Indeterminate SAT solver calls = 0 Move executions = 0 Produced CNF variables = 3329 Produced CNF clauses = 19803 Search steps = 0 Wall clock TIME (seconds) = 0.021 CPU/machine TIME (seconds) = 0.010 ] ] 78 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=9 --obstacle-probability=0.2 --seed=78 --cnf-level=12 --cnf-file=grid_6x6_r9_78.cnf ================================================================ reLOC 0.09-vegas : Grid Instance Generator (C) Copyright 2011-2013 Pavel Surynek ---------------------------------------------------------------- Phase statistics (current phase = 'root_phase') [ Phase (name = 'root_phase') [ Total SAT solver calls = 0 Satisfiable SAT solver calls = 0 Unsatisfiable SAT solver calls = 0 Indeterminate SAT solver calls = 0 Move executions = 0 Produced CNF variables = 4643 Produced CNF clauses = 29604 Search steps = 0 Wall clock TIME (seconds) = 0.031 CPU/machine TIME (seconds) = 0.020 ] ] 8546 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=9 --obstacle-probability=0.2 --seed=8546 --cnf-level=12 --cnf-file=grid_6x6_r9_8546.cnf ================================================================ reLOC 0.09-vegas : Grid Instance Generator (C) Copyright 2011-2013 Pavel Surynek ---------------------------------------------------------------- Phase statistics (current phase = 'root_phase') [ Phase (name = 'root_phase') [ Total SAT solver calls = 0 Satisfiable SAT solver calls = 0 Unsatisfiable SAT solver calls = 0 Indeterminate SAT solver calls = 0 Move executions = 0 Produced CNF variables = 4706 Produced CNF clauses = 29724 Search steps = 0 Wall clock TIME (seconds) = 0.031 CPU/machine TIME (seconds) = 0.030 ] ] 474 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=9 --obstacle-probability=0.2 --seed=474 --cnf-level=12 --cnf-file=grid_6x6_r9_474.cnf ================================================================ reLOC 0.09-vegas : Grid Instance Generator (C) Copyright 2011-2013 Pavel Surynek ---------------------------------------------------------------- Phase statistics (current phase = 'root_phase') [ Phase (name = 'root_phase') [ Total SAT solver calls = 0 Satisfiable SAT solver calls = 0 Unsatisfiable SAT solver calls = 0 Indeterminate SAT solver calls = 0 Move executions = 0 Produced CNF variables = 4416 Produced CNF clauses = 27833 Search steps = 0 Wall clock TIME (seconds) = 0.029 CPU/machine TIME (seconds) = 0.020 ] ] 188 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=9 --obstacle-probability=0.2 --seed=188 --cnf-level=12 --cnf-file=grid_6x6_r9_188.cnf ================================================================ reLOC 0.09-vegas : Grid Instance Generator (C) Copyright 2011-2013 Pavel Surynek ---------------------------------------------------------------- Phase statistics (current phase = 'root_phase') [ Phase (name = 'root_phase') [ Total SAT solver calls = 0 Satisfiable SAT solver calls = 0 Unsatisfiable SAT solver calls = 0 Indeterminate SAT solver calls = 0 Move executions = 0 Produced CNF variables = 4945 Produced CNF clauses = 31649 Search steps = 0 Wall clock TIME (seconds) = 0.032 CPU/machine TIME (seconds) = 0.030 ] ] 7899 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=9 --obstacle-probability=0.2 --seed=7899 --cnf-level=12 --cnf-file=grid_6x6_r9_7899.cnf ================================================================ reLOC 0.09-vegas : Grid Instance Generator (C) Copyright 2011-2013 Pavel Surynek ---------------------------------------------------------------- Phase statistics (current phase = 'root_phase') [ Phase (name = 'root_phase') [ Total SAT solver calls = 0 Satisfiable SAT solver calls = 0 Unsatisfiable SAT solver calls = 0 Indeterminate SAT solver calls = 0 Move executions = 0 Produced CNF variables = 4667 Produced CNF clauses = 30177 Search steps = 0 Wall clock TIME (seconds) = 0.031 CPU/machine TIME (seconds) = 0.030 ] ] 9 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=9 --obstacle-probability=0.2 --seed=9 --cnf-level=12 --cnf-file=grid_6x6_r9_9.cnf ================================================================ reLOC 0.09-vegas : Grid Instance Generator (C) Copyright 2011-2013 Pavel Surynek ---------------------------------------------------------------- Phase statistics (current phase = 'root_phase') [ Phase (name = 'root_phase') [ Total SAT solver calls = 0 Satisfiable SAT solver calls = 0 Unsatisfiable SAT solver calls = 0 Indeterminate SAT solver calls = 0 Move executions = 0 Produced CNF variables = 4706 Produced CNF clauses = 29593 Search steps = 0 Wall clock TIME (seconds) = 0.031 CPU/machine TIME (seconds) = 0.020 ] ] 774 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=9 --obstacle-probability=0.2 --seed=774 --cnf-level=12 --cnf-file=grid_6x6_r9_774.cnf ================================================================ reLOC 0.09-vegas : Grid Instance Generator (C) Copyright 2011-2013 Pavel Surynek ---------------------------------------------------------------- Phase statistics (current phase = 'root_phase') [ Phase (name = 'root_phase') [ Total SAT solver calls = 0 Satisfiable SAT solver calls = 0 Unsatisfiable SAT solver calls = 0 Indeterminate SAT solver calls = 0 Move executions = 0 Produced CNF variables = 5491 Produced CNF clauses = 36163 Search steps = 0 Wall clock TIME (seconds) = 0.036 CPU/machine TIME (seconds) = 0.030 ] ] 3455 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=10 --obstacle-probability=0.2 --seed=3455 --cnf-level=12 --cnf-file=grid_6x6_r10_3455.cnf ================================================================ reLOC 0.09-vegas : Grid Instance Generator (C) Copyright 2011-2013 Pavel Surynek ---------------------------------------------------------------- Phase statistics (current phase = 'root_phase') [ Phase (name = 'root_phase') [ Total SAT solver calls = 0 Satisfiable SAT solver calls = 0 Unsatisfiable SAT solver calls = 0 Indeterminate SAT solver calls = 0 Move executions = 0 Produced CNF variables = 3619 Produced CNF clauses = 22157 Search steps = 0 Wall clock TIME (seconds) = 0.024 CPU/machine TIME (seconds) = 0.020 ] ] 12 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=10 --obstacle-probability=0.2 --seed=12 --cnf-level=12 --cnf-file=grid_6x6_r10_12.cnf ================================================================ reLOC 0.09-vegas : Grid Instance Generator (C) Copyright 2011-2013 Pavel Surynek ---------------------------------------------------------------- Phase statistics (current phase = 'root_phase') [ Phase (name = 'root_phase') [ Total SAT solver calls = 0 Satisfiable SAT solver calls = 0 Unsatisfiable SAT solver calls = 0 Indeterminate SAT solver calls = 0 Move executions = 0 Produced CNF variables = 3941 Produced CNF clauses = 23699 Search steps = 0 Wall clock TIME (seconds) = 0.025 CPU/machine TIME (seconds) = 0.020 ] ] 45 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=10 --obstacle-probability=0.2 --seed=45 --cnf-level=12 --cnf-file=grid_6x6_r10_45.cnf ================================================================ reLOC 0.09-vegas : Grid Instance Generator (C) Copyright 2011-2013 Pavel Surynek ---------------------------------------------------------------- Phase statistics (current phase = 'root_phase') [ Phase (name = 'root_phase') [ Total SAT solver calls = 0 Satisfiable SAT solver calls = 0 Unsatisfiable SAT solver calls = 0 Indeterminate SAT solver calls = 0 Move executions = 0 Produced CNF variables = 3329 Produced CNF clauses = 19696 Search steps = 0 Wall clock TIME (seconds) = 0.021 CPU/machine TIME (seconds) = 0.020 ] ] 78 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=10 --obstacle-probability=0.2 --seed=78 --cnf-level=12 --cnf-file=grid_6x6_r10_78.cnf ================================================================ reLOC 0.09-vegas : Grid Instance Generator (C) Copyright 2011-2013 Pavel Surynek ---------------------------------------------------------------- Phase statistics (current phase = 'root_phase') [ Phase (name = 'root_phase') [ Total SAT solver calls = 0 Satisfiable SAT solver calls = 0 Unsatisfiable SAT solver calls = 0 Indeterminate SAT solver calls = 0 Move executions = 0 Produced CNF variables = 4643 Produced CNF clauses = 29626 Search steps = 0 Wall clock TIME (seconds) = 0.030 CPU/machine TIME (seconds) = 0.020 ] ] 8546 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=10 --obstacle-probability=0.2 --seed=8546 --cnf-level=12 --cnf-file=grid_6x6_r10_8546.cnf ================================================================ reLOC 0.09-vegas : Grid Instance Generator (C) Copyright 2011-2013 Pavel Surynek ---------------------------------------------------------------- Phase statistics (current phase = 'root_phase') [ Phase (name = 'root_phase') [ Total SAT solver calls = 0 Satisfiable SAT solver calls = 0 Unsatisfiable SAT solver calls = 0 Indeterminate SAT solver calls = 0 Move executions = 0 Produced CNF variables = 4706 Produced CNF clauses = 29431 Search steps = 0 Wall clock TIME (seconds) = 0.030 CPU/machine TIME (seconds) = 0.020 ] ] 474 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=10 --obstacle-probability=0.2 --seed=474 --cnf-level=12 --cnf-file=grid_6x6_r10_474.cnf ================================================================ reLOC 0.09-vegas : Grid Instance Generator (C) Copyright 2011-2013 Pavel Surynek ---------------------------------------------------------------- Phase statistics (current phase = 'root_phase') [ Phase (name = 'root_phase') [ Total SAT solver calls = 0 Satisfiable SAT solver calls = 0 Unsatisfiable SAT solver calls = 0 Indeterminate SAT solver calls = 0 Move executions = 0 Produced CNF variables = 4416 Produced CNF clauses = 27818 Search steps = 0 Wall clock TIME (seconds) = 0.029 CPU/machine TIME (seconds) = 0.020 ] ] 188 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=10 --obstacle-probability=0.2 --seed=188 --cnf-level=12 --cnf-file=grid_6x6_r10_188.cnf ================================================================ reLOC 0.09-vegas : Grid Instance Generator (C) Copyright 2011-2013 Pavel Surynek ---------------------------------------------------------------- Phase statistics (current phase = 'root_phase') [ Phase (name = 'root_phase') [ Total SAT solver calls = 0 Satisfiable SAT solver calls = 0 Unsatisfiable SAT solver calls = 0 Indeterminate SAT solver calls = 0 Move executions = 0 Produced CNF variables = 4945 Produced CNF clauses = 31466 Search steps = 0 Wall clock TIME (seconds) = 0.032 CPU/machine TIME (seconds) = 0.030 ] ] 7899 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=10 --obstacle-probability=0.2 --seed=7899 --cnf-level=12 --cnf-file=grid_6x6_r10_7899.cnf ================================================================ reLOC 0.09-vegas : Grid Instance Generator (C) Copyright 2011-2013 Pavel Surynek ---------------------------------------------------------------- Phase statistics (current phase = 'root_phase') [ Phase (name = 'root_phase') [ Total SAT solver calls = 0 Satisfiable SAT solver calls = 0 Unsatisfiable SAT solver calls = 0 Indeterminate SAT solver calls = 0 Move executions = 0 Produced CNF variables = 4667 Produced CNF clauses = 29959 Search steps = 0 Wall clock TIME (seconds) = 0.031 CPU/machine TIME (seconds) = 0.020 ] ] 9 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=10 --obstacle-probability=0.2 --seed=9 --cnf-level=12 --cnf-file=grid_6x6_r10_9.cnf ================================================================ reLOC 0.09-vegas : Grid Instance Generator (C) Copyright 2011-2013 Pavel Surynek ---------------------------------------------------------------- Phase statistics (current phase = 'root_phase') [ Phase (name = 'root_phase') [ Total SAT solver calls = 0 Satisfiable SAT solver calls = 0 Unsatisfiable SAT solver calls = 0 Indeterminate SAT solver calls = 0 Move executions = 0 Produced CNF variables = 4706 Produced CNF clauses = 29476 Search steps = 0 Wall clock TIME (seconds) = 0.030 CPU/machine TIME (seconds) = 0.030 ] ] 774 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=10 --obstacle-probability=0.2 --seed=774 --cnf-level=12 --cnf-file=grid_6x6_r10_774.cnf ================================================================ reLOC 0.09-vegas : Grid Instance Generator (C) Copyright 2011-2013 Pavel Surynek ---------------------------------------------------------------- Phase statistics (current phase = 'root_phase') [ Phase (name = 'root_phase') [ Total SAT solver calls = 0 Satisfiable SAT solver calls = 0 Unsatisfiable SAT solver calls = 0 Indeterminate SAT solver calls = 0 Move executions = 0 Produced CNF variables = 5491 Produced CNF clauses = 36014 Search steps = 0 Wall clock TIME (seconds) = 0.037 CPU/machine TIME (seconds) = 0.030 ] ] 3455 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=11 --obstacle-probability=0.2 --seed=3455 --cnf-level=12 --cnf-file=grid_6x6_r11_3455.cnf ================================================================ reLOC 0.09-vegas : Grid Instance Generator (C) Copyright 2011-2013 Pavel Surynek ---------------------------------------------------------------- Phase statistics (current phase = 'root_phase') [ Phase (name = 'root_phase') [ Total SAT solver calls = 0 Satisfiable SAT solver calls = 0 Unsatisfiable SAT solver calls = 0 Indeterminate SAT solver calls = 0 Move executions = 0 Produced CNF variables = 3619 Produced CNF clauses = 21975 Search steps = 0 Wall clock TIME (seconds) = 0.024 CPU/machine TIME (seconds) = 0.020 ] ] 12 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=11 --obstacle-probability=0.2 --seed=12 --cnf-level=12 --cnf-file=grid_6x6_r11_12.cnf ================================================================ reLOC 0.09-vegas : Grid Instance Generator (C) Copyright 2011-2013 Pavel Surynek ---------------------------------------------------------------- Phase statistics (current phase = 'root_phase') [ Phase (name = 'root_phase') [ Total SAT solver calls = 0 Satisfiable SAT solver calls = 0 Unsatisfiable SAT solver calls = 0 Indeterminate SAT solver calls = 0 Move executions = 0 Produced CNF variables = 3941 Produced CNF clauses = 23954 Search steps = 0 Wall clock TIME (seconds) = 0.025 CPU/machine TIME (seconds) = 0.020 ] ] 45 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=11 --obstacle-probability=0.2 --seed=45 --cnf-level=12 --cnf-file=grid_6x6_r11_45.cnf ================================================================ reLOC 0.09-vegas : Grid Instance Generator (C) Copyright 2011-2013 Pavel Surynek ---------------------------------------------------------------- Phase statistics (current phase = 'root_phase') [ Phase (name = 'root_phase') [ Total SAT solver calls = 0 Satisfiable SAT solver calls = 0 Unsatisfiable SAT solver calls = 0 Indeterminate SAT solver calls = 0 Move executions = 0 Produced CNF variables = 3329 Produced CNF clauses = 19472 Search steps = 0 Wall clock TIME (seconds) = 0.021 CPU/machine TIME (seconds) = 0.020 ] ] 78 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=11 --obstacle-probability=0.2 --seed=78 --cnf-level=12 --cnf-file=grid_6x6_r11_78.cnf ================================================================ reLOC 0.09-vegas : Grid Instance Generator (C) Copyright 2011-2013 Pavel Surynek ---------------------------------------------------------------- Phase statistics (current phase = 'root_phase') [ Phase (name = 'root_phase') [ Total SAT solver calls = 0 Satisfiable SAT solver calls = 0 Unsatisfiable SAT solver calls = 0 Indeterminate SAT solver calls = 0 Move executions = 0 Produced CNF variables = 4643 Produced CNF clauses = 29223 Search steps = 0 Wall clock TIME (seconds) = 0.030 CPU/machine TIME (seconds) = 0.020 ] ] 8546 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=11 --obstacle-probability=0.2 --seed=8546 --cnf-level=12 --cnf-file=grid_6x6_r11_8546.cnf ================================================================ reLOC 0.09-vegas : Grid Instance Generator (C) Copyright 2011-2013 Pavel Surynek ---------------------------------------------------------------- Phase statistics (current phase = 'root_phase') [ Phase (name = 'root_phase') [ Total SAT solver calls = 0 Satisfiable SAT solver calls = 0 Unsatisfiable SAT solver calls = 0 Indeterminate SAT solver calls = 0 Move executions = 0 Produced CNF variables = 4706 Produced CNF clauses = 29281 Search steps = 0 Wall clock TIME (seconds) = 0.030 CPU/machine TIME (seconds) = 0.020 ] ] 474 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=11 --obstacle-probability=0.2 --seed=474 --cnf-level=12 --cnf-file=grid_6x6_r11_474.cnf ================================================================ reLOC 0.09-vegas : Grid Instance Generator (C) Copyright 2011-2013 Pavel Surynek ---------------------------------------------------------------- Phase statistics (current phase = 'root_phase') [ Phase (name = 'root_phase') [ Total SAT solver calls = 0 Satisfiable SAT solver calls = 0 Unsatisfiable SAT solver calls = 0 Indeterminate SAT solver calls = 0 Move executions = 0 Produced CNF variables = 4416 Produced CNF clauses = 27867 Search steps = 0 Wall clock TIME (seconds) = 0.029 CPU/machine TIME (seconds) = 0.020 ] ] 188 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=11 --obstacle-probability=0.2 --seed=188 --cnf-level=12 --cnf-file=grid_6x6_r11_188.cnf ================================================================ reLOC 0.09-vegas : Grid Instance Generator (C) Copyright 2011-2013 Pavel Surynek ---------------------------------------------------------------- Phase statistics (current phase = 'root_phase') [ Phase (name = 'root_phase') [ Total SAT solver calls = 0 Satisfiable SAT solver calls = 0 Unsatisfiable SAT solver calls = 0 Indeterminate SAT solver calls = 0 Move executions = 0 Produced CNF variables = 4945 Produced CNF clauses = 31446 Search steps = 0 Wall clock TIME (seconds) = 0.032 CPU/machine TIME (seconds) = 0.020 ] ] 7899 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=11 --obstacle-probability=0.2 --seed=7899 --cnf-level=12 --cnf-file=grid_6x6_r11_7899.cnf ================================================================ reLOC 0.09-vegas : Grid Instance Generator (C) Copyright 2011-2013 Pavel Surynek ---------------------------------------------------------------- Phase statistics (current phase = 'root_phase') [ Phase (name = 'root_phase') [ Total SAT solver calls = 0 Satisfiable SAT solver calls = 0 Unsatisfiable SAT solver calls = 0 Indeterminate SAT solver calls = 0 Move executions = 0 Produced CNF variables = 4667 Produced CNF clauses = 29832 Search steps = 0 Wall clock TIME (seconds) = 0.031 CPU/machine TIME (seconds) = 0.030 ] ] 9 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=11 --obstacle-probability=0.2 --seed=9 --cnf-level=12 --cnf-file=grid_6x6_r11_9.cnf ================================================================ reLOC 0.09-vegas : Grid Instance Generator (C) Copyright 2011-2013 Pavel Surynek ---------------------------------------------------------------- Phase statistics (current phase = 'root_phase') [ Phase (name = 'root_phase') [ Total SAT solver calls = 0 Satisfiable SAT solver calls = 0 Unsatisfiable SAT solver calls = 0 Indeterminate SAT solver calls = 0 Move executions = 0 Produced CNF variables = 4706 Produced CNF clauses = 29404 Search steps = 0 Wall clock TIME (seconds) = 0.030 CPU/machine TIME (seconds) = 0.020 ] ] 774 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=11 --obstacle-probability=0.2 --seed=774 --cnf-level=12 --cnf-file=grid_6x6_r11_774.cnf ================================================================ reLOC 0.09-vegas : Grid Instance Generator (C) Copyright 2011-2013 Pavel Surynek ---------------------------------------------------------------- Phase statistics (current phase = 'root_phase') [ Phase (name = 'root_phase') [ Total SAT solver calls = 0 Satisfiable SAT solver calls = 0 Unsatisfiable SAT solver calls = 0 Indeterminate SAT solver calls = 0 Move executions = 0 Produced CNF variables = 5491 Produced CNF clauses = 35749 Search steps = 0 Wall clock TIME (seconds) = 0.036 CPU/machine TIME (seconds) = 0.030 ] ] 3455 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=12 --obstacle-probability=0.2 --seed=3455 --cnf-level=12 --cnf-file=grid_6x6_r12_3455.cnf ================================================================ reLOC 0.09-vegas : Grid Instance Generator (C) Copyright 2011-2013 Pavel Surynek ---------------------------------------------------------------- Phase statistics (current phase = 'root_phase') [ Phase (name = 'root_phase') [ Total SAT solver calls = 0 Satisfiable SAT solver calls = 0 Unsatisfiable SAT solver calls = 0 Indeterminate SAT solver calls = 0 Move executions = 0 Produced CNF variables = 3619 Produced CNF clauses = 21821 Search steps = 0 Wall clock TIME (seconds) = 0.023 CPU/machine TIME (seconds) = 0.020 ] ] 12 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=12 --obstacle-probability=0.2 --seed=12 --cnf-level=12 --cnf-file=grid_6x6_r12_12.cnf ================================================================ reLOC 0.09-vegas : Grid Instance Generator (C) Copyright 2011-2013 Pavel Surynek ---------------------------------------------------------------- Phase statistics (current phase = 'root_phase') [ Phase (name = 'root_phase') [ Total SAT solver calls = 0 Satisfiable SAT solver calls = 0 Unsatisfiable SAT solver calls = 0 Indeterminate SAT solver calls = 0 Move executions = 0 Produced CNF variables = 3941 Produced CNF clauses = 23705 Search steps = 0 Wall clock TIME (seconds) = 0.025 CPU/machine TIME (seconds) = 0.020 ] ] 45 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=12 --obstacle-probability=0.2 --seed=45 --cnf-level=12 --cnf-file=grid_6x6_r12_45.cnf ================================================================ reLOC 0.09-vegas : Grid Instance Generator (C) Copyright 2011-2013 Pavel Surynek ---------------------------------------------------------------- Phase statistics (current phase = 'root_phase') [ Phase (name = 'root_phase') [ Total SAT solver calls = 0 Satisfiable SAT solver calls = 0 Unsatisfiable SAT solver calls = 0 Indeterminate SAT solver calls = 0 Move executions = 0 Produced CNF variables = 3329 Produced CNF clauses = 19458 Search steps = 0 Wall clock TIME (seconds) = 0.020 CPU/machine TIME (seconds) = 0.020 ] ] 78 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=12 --obstacle-probability=0.2 --seed=78 --cnf-level=12 --cnf-file=grid_6x6_r12_78.cnf ================================================================ reLOC 0.09-vegas : Grid Instance Generator (C) Copyright 2011-2013 Pavel Surynek ---------------------------------------------------------------- Phase statistics (current phase = 'root_phase') [ Phase (name = 'root_phase') [ Total SAT solver calls = 0 Satisfiable SAT solver calls = 0 Unsatisfiable SAT solver calls = 0 Indeterminate SAT solver calls = 0 Move executions = 0 Produced CNF variables = 4643 Produced CNF clauses = 29210 Search steps = 0 Wall clock TIME (seconds) = 0.030 CPU/machine TIME (seconds) = 0.020 ] ] 8546 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=12 --obstacle-probability=0.2 --seed=8546 --cnf-level=12 --cnf-file=grid_6x6_r12_8546.cnf ================================================================ reLOC 0.09-vegas : Grid Instance Generator (C) Copyright 2011-2013 Pavel Surynek ---------------------------------------------------------------- Phase statistics (current phase = 'root_phase') [ Phase (name = 'root_phase') [ Total SAT solver calls = 0 Satisfiable SAT solver calls = 0 Unsatisfiable SAT solver calls = 0 Indeterminate SAT solver calls = 0 Move executions = 0 Produced CNF variables = 4706 Produced CNF clauses = 29028 Search steps = 0 Wall clock TIME (seconds) = 0.030 CPU/machine TIME (seconds) = 0.020 ] ] 474 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=12 --obstacle-probability=0.2 --seed=474 --cnf-level=12 --cnf-file=grid_6x6_r12_474.cnf ================================================================ reLOC 0.09-vegas : Grid Instance Generator (C) Copyright 2011-2013 Pavel Surynek ---------------------------------------------------------------- Phase statistics (current phase = 'root_phase') [ Phase (name = 'root_phase') [ Total SAT solver calls = 0 Satisfiable SAT solver calls = 0 Unsatisfiable SAT solver calls = 0 Indeterminate SAT solver calls = 0 Move executions = 0 Produced CNF variables = 4416 Produced CNF clauses = 27462 Search steps = 0 Wall clock TIME (seconds) = 0.029 CPU/machine TIME (seconds) = 0.020 ] ] 188 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=12 --obstacle-probability=0.2 --seed=188 --cnf-level=12 --cnf-file=grid_6x6_r12_188.cnf ================================================================ reLOC 0.09-vegas : Grid Instance Generator (C) Copyright 2011-2013 Pavel Surynek ---------------------------------------------------------------- Phase statistics (current phase = 'root_phase') [ Phase (name = 'root_phase') [ Total SAT solver calls = 0 Satisfiable SAT solver calls = 0 Unsatisfiable SAT solver calls = 0 Indeterminate SAT solver calls = 0 Move executions = 0 Produced CNF variables = 4945 Produced CNF clauses = 31116 Search steps = 0 Wall clock TIME (seconds) = 0.032 CPU/machine TIME (seconds) = 0.020 ] ] 7899 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=12 --obstacle-probability=0.2 --seed=7899 --cnf-level=12 --cnf-file=grid_6x6_r12_7899.cnf ================================================================ reLOC 0.09-vegas : Grid Instance Generator (C) Copyright 2011-2013 Pavel Surynek ---------------------------------------------------------------- Phase statistics (current phase = 'root_phase') [ Phase (name = 'root_phase') [ Total SAT solver calls = 0 Satisfiable SAT solver calls = 0 Unsatisfiable SAT solver calls = 0 Indeterminate SAT solver calls = 0 Move executions = 0 Produced CNF variables = 4667 Produced CNF clauses = 29447 Search steps = 0 Wall clock TIME (seconds) = 0.030 CPU/machine TIME (seconds) = 0.020 ] ] 9 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=12 --obstacle-probability=0.2 --seed=9 --cnf-level=12 --cnf-file=grid_6x6_r12_9.cnf ================================================================ reLOC 0.09-vegas : Grid Instance Generator (C) Copyright 2011-2013 Pavel Surynek ---------------------------------------------------------------- Phase statistics (current phase = 'root_phase') [ Phase (name = 'root_phase') [ Total SAT solver calls = 0 Satisfiable SAT solver calls = 0 Unsatisfiable SAT solver calls = 0 Indeterminate SAT solver calls = 0 Move executions = 0 Produced CNF variables = 4706 Produced CNF clauses = 29165 Search steps = 0 Wall clock TIME (seconds) = 0.030 CPU/machine TIME (seconds) = 0.020 ] ] 774 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=12 --obstacle-probability=0.2 --seed=774 --cnf-level=12 --cnf-file=grid_6x6_r12_774.cnf ================================================================ reLOC 0.09-vegas : Grid Instance Generator (C) Copyright 2011-2013 Pavel Surynek ---------------------------------------------------------------- Phase statistics (current phase = 'root_phase') [ Phase (name = 'root_phase') [ Total SAT solver calls = 0 Satisfiable SAT solver calls = 0 Unsatisfiable SAT solver calls = 0 Indeterminate SAT solver calls = 0 Move executions = 0 Produced CNF variables = 5491 Produced CNF clauses = 35544 Search steps = 0 Wall clock TIME (seconds) = 0.035 CPU/machine TIME (seconds) = 0.030 ] ] 3455 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=13 --obstacle-probability=0.2 --seed=3455 --cnf-level=12 --cnf-file=grid_6x6_r13_3455.cnf ================================================================ reLOC 0.09-vegas : Grid Instance Generator (C) Copyright 2011-2013 Pavel Surynek ---------------------------------------------------------------- Phase statistics (current phase = 'root_phase') [ Phase (name = 'root_phase') [ Total SAT solver calls = 0 Satisfiable SAT solver calls = 0 Unsatisfiable SAT solver calls = 0 Indeterminate SAT solver calls = 0 Move executions = 0 Produced CNF variables = 3619 Produced CNF clauses = 21850 Search steps = 0 Wall clock TIME (seconds) = 0.023 CPU/machine TIME (seconds) = 0.020 ] ] 12 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=13 --obstacle-probability=0.2 --seed=12 --cnf-level=12 --cnf-file=grid_6x6_r13_12.cnf ================================================================ reLOC 0.09-vegas : Grid Instance Generator (C) Copyright 2011-2013 Pavel Surynek ---------------------------------------------------------------- Phase statistics (current phase = 'root_phase') [ Phase (name = 'root_phase') [ Total SAT solver calls = 0 Satisfiable SAT solver calls = 0 Unsatisfiable SAT solver calls = 0 Indeterminate SAT solver calls = 0 Move executions = 0 Produced CNF variables = 3941 Produced CNF clauses = 23423 Search steps = 0 Wall clock TIME (seconds) = 0.025 CPU/machine TIME (seconds) = 0.020 ] ] 45 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=13 --obstacle-probability=0.2 --seed=45 --cnf-level=12 --cnf-file=grid_6x6_r13_45.cnf ================================================================ reLOC 0.09-vegas : Grid Instance Generator (C) Copyright 2011-2013 Pavel Surynek ---------------------------------------------------------------- Phase statistics (current phase = 'root_phase') [ Phase (name = 'root_phase') [ Total SAT solver calls = 0 Satisfiable SAT solver calls = 0 Unsatisfiable SAT solver calls = 0 Indeterminate SAT solver calls = 0 Move executions = 0 Produced CNF variables = 3329 Produced CNF clauses = 19333 Search steps = 0 Wall clock TIME (seconds) = 0.020 CPU/machine TIME (seconds) = 0.010 ] ] 78 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=13 --obstacle-probability=0.2 --seed=78 --cnf-level=12 --cnf-file=grid_6x6_r13_78.cnf ================================================================ reLOC 0.09-vegas : Grid Instance Generator (C) Copyright 2011-2013 Pavel Surynek ---------------------------------------------------------------- Phase statistics (current phase = 'root_phase') [ Phase (name = 'root_phase') [ Total SAT solver calls = 0 Satisfiable SAT solver calls = 0 Unsatisfiable SAT solver calls = 0 Indeterminate SAT solver calls = 0 Move executions = 0 Produced CNF variables = 4643 Produced CNF clauses = 29052 Search steps = 0 Wall clock TIME (seconds) = 0.030 CPU/machine TIME (seconds) = 0.020 ] ] 8546 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=13 --obstacle-probability=0.2 --seed=8546 --cnf-level=12 --cnf-file=grid_6x6_r13_8546.cnf ================================================================ reLOC 0.09-vegas : Grid Instance Generator (C) Copyright 2011-2013 Pavel Surynek ---------------------------------------------------------------- Phase statistics (current phase = 'root_phase') [ Phase (name = 'root_phase') [ Total SAT solver calls = 0 Satisfiable SAT solver calls = 0 Unsatisfiable SAT solver calls = 0 Indeterminate SAT solver calls = 0 Move executions = 0 Produced CNF variables = 4706 Produced CNF clauses = 29008 Search steps = 0 Wall clock TIME (seconds) = 0.037 CPU/machine TIME (seconds) = 0.030 ] ] 474 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=13 --obstacle-probability=0.2 --seed=474 --cnf-level=12 --cnf-file=grid_6x6_r13_474.cnf ================================================================ reLOC 0.09-vegas : Grid Instance Generator (C) Copyright 2011-2013 Pavel Surynek ---------------------------------------------------------------- Phase statistics (current phase = 'root_phase') [ Phase (name = 'root_phase') [ Total SAT solver calls = 0 Satisfiable SAT solver calls = 0 Unsatisfiable SAT solver calls = 0 Indeterminate SAT solver calls = 0 Move executions = 0 Produced CNF variables = 4416 Produced CNF clauses = 27335 Search steps = 0 Wall clock TIME (seconds) = 0.028 CPU/machine TIME (seconds) = 0.020 ] ] 188 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=13 --obstacle-probability=0.2 --seed=188 --cnf-level=12 --cnf-file=grid_6x6_r13_188.cnf ================================================================ reLOC 0.09-vegas : Grid Instance Generator (C) Copyright 2011-2013 Pavel Surynek ---------------------------------------------------------------- Phase statistics (current phase = 'root_phase') [ Phase (name = 'root_phase') [ Total SAT solver calls = 0 Satisfiable SAT solver calls = 0 Unsatisfiable SAT solver calls = 0 Indeterminate SAT solver calls = 0 Move executions = 0 Produced CNF variables = 4945 Produced CNF clauses = 30954 Search steps = 0 Wall clock TIME (seconds) = 0.031 CPU/machine TIME (seconds) = 0.020 ] ] 7899 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=13 --obstacle-probability=0.2 --seed=7899 --cnf-level=12 --cnf-file=grid_6x6_r13_7899.cnf ================================================================ reLOC 0.09-vegas : Grid Instance Generator (C) Copyright 2011-2013 Pavel Surynek ---------------------------------------------------------------- Phase statistics (current phase = 'root_phase') [ Phase (name = 'root_phase') [ Total SAT solver calls = 0 Satisfiable SAT solver calls = 0 Unsatisfiable SAT solver calls = 0 Indeterminate SAT solver calls = 0 Move executions = 0 Produced CNF variables = 4667 Produced CNF clauses = 29404 Search steps = 0 Wall clock TIME (seconds) = 0.030 CPU/machine TIME (seconds) = 0.020 ] ] 9 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=13 --obstacle-probability=0.2 --seed=9 --cnf-level=12 --cnf-file=grid_6x6_r13_9.cnf ================================================================ reLOC 0.09-vegas : Grid Instance Generator (C) Copyright 2011-2013 Pavel Surynek ---------------------------------------------------------------- Phase statistics (current phase = 'root_phase') [ Phase (name = 'root_phase') [ Total SAT solver calls = 0 Satisfiable SAT solver calls = 0 Unsatisfiable SAT solver calls = 0 Indeterminate SAT solver calls = 0 Move executions = 0 Produced CNF variables = 4706 Produced CNF clauses = 29157 Search steps = 0 Wall clock TIME (seconds) = 0.030 CPU/machine TIME (seconds) = 0.030 ] ] 774 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=13 --obstacle-probability=0.2 --seed=774 --cnf-level=12 --cnf-file=grid_6x6_r13_774.cnf ================================================================ reLOC 0.09-vegas : Grid Instance Generator (C) Copyright 2011-2013 Pavel Surynek ---------------------------------------------------------------- Phase statistics (current phase = 'root_phase') [ Phase (name = 'root_phase') [ Total SAT solver calls = 0 Satisfiable SAT solver calls = 0 Unsatisfiable SAT solver calls = 0 Indeterminate SAT solver calls = 0 Move executions = 0 Produced CNF variables = 5491 Produced CNF clauses = 35434 Search steps = 0 Wall clock TIME (seconds) = 0.036 CPU/machine TIME (seconds) = 0.030 ] ] 3455 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=14 --obstacle-probability=0.2 --seed=3455 --cnf-level=12 --cnf-file=grid_6x6_r14_3455.cnf ================================================================ reLOC 0.09-vegas : Grid Instance Generator (C) Copyright 2011-2013 Pavel Surynek ---------------------------------------------------------------- Phase statistics (current phase = 'root_phase') [ Phase (name = 'root_phase') [ Total SAT solver calls = 0 Satisfiable SAT solver calls = 0 Unsatisfiable SAT solver calls = 0 Indeterminate SAT solver calls = 0 Move executions = 0 Produced CNF variables = 3619 Produced CNF clauses = 21854 Search steps = 0 Wall clock TIME (seconds) = 0.023 CPU/machine TIME (seconds) = 0.020 ] ] 12 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=14 --obstacle-probability=0.2 --seed=12 --cnf-level=12 --cnf-file=grid_6x6_r14_12.cnf ================================================================ reLOC 0.09-vegas : Grid Instance Generator (C) Copyright 2011-2013 Pavel Surynek ---------------------------------------------------------------- Phase statistics (current phase = 'root_phase') [ Phase (name = 'root_phase') [ Total SAT solver calls = 0 Satisfiable SAT solver calls = 0 Unsatisfiable SAT solver calls = 0 Indeterminate SAT solver calls = 0 Move executions = 0 Produced CNF variables = 3941 Produced CNF clauses = 23388 Search steps = 0 Wall clock TIME (seconds) = 0.025 CPU/machine TIME (seconds) = 0.020 ] ] 45 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=14 --obstacle-probability=0.2 --seed=45 --cnf-level=12 --cnf-file=grid_6x6_r14_45.cnf ================================================================ reLOC 0.09-vegas : Grid Instance Generator (C) Copyright 2011-2013 Pavel Surynek ---------------------------------------------------------------- Phase statistics (current phase = 'root_phase') [ Phase (name = 'root_phase') [ Total SAT solver calls = 0 Satisfiable SAT solver calls = 0 Unsatisfiable SAT solver calls = 0 Indeterminate SAT solver calls = 0 Move executions = 0 Produced CNF variables = 3329 Produced CNF clauses = 19165 Search steps = 0 Wall clock TIME (seconds) = 0.020 CPU/machine TIME (seconds) = 0.010 ] ] 78 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=14 --obstacle-probability=0.2 --seed=78 --cnf-level=12 --cnf-file=grid_6x6_r14_78.cnf ================================================================ reLOC 0.09-vegas : Grid Instance Generator (C) Copyright 2011-2013 Pavel Surynek ---------------------------------------------------------------- Phase statistics (current phase = 'root_phase') [ Phase (name = 'root_phase') [ Total SAT solver calls = 0 Satisfiable SAT solver calls = 0 Unsatisfiable SAT solver calls = 0 Indeterminate SAT solver calls = 0 Move executions = 0 Produced CNF variables = 4643 Produced CNF clauses = 28745 Search steps = 0 Wall clock TIME (seconds) = 0.029 CPU/machine TIME (seconds) = 0.020 ] ] 8546 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=14 --obstacle-probability=0.2 --seed=8546 --cnf-level=12 --cnf-file=grid_6x6_r14_8546.cnf ================================================================ reLOC 0.09-vegas : Grid Instance Generator (C) Copyright 2011-2013 Pavel Surynek ---------------------------------------------------------------- Phase statistics (current phase = 'root_phase') [ Phase (name = 'root_phase') [ Total SAT solver calls = 0 Satisfiable SAT solver calls = 0 Unsatisfiable SAT solver calls = 0 Indeterminate SAT solver calls = 0 Move executions = 0 Produced CNF variables = 4706 Produced CNF clauses = 28857 Search steps = 0 Wall clock TIME (seconds) = 0.030 CPU/machine TIME (seconds) = 0.020 ] ] 474 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=14 --obstacle-probability=0.2 --seed=474 --cnf-level=12 --cnf-file=grid_6x6_r14_474.cnf ================================================================ reLOC 0.09-vegas : Grid Instance Generator (C) Copyright 2011-2013 Pavel Surynek ---------------------------------------------------------------- Phase statistics (current phase = 'root_phase') [ Phase (name = 'root_phase') [ Total SAT solver calls = 0 Satisfiable SAT solver calls = 0 Unsatisfiable SAT solver calls = 0 Indeterminate SAT solver calls = 0 Move executions = 0 Produced CNF variables = 4416 Produced CNF clauses = 26901 Search steps = 0 Wall clock TIME (seconds) = 0.027 CPU/machine TIME (seconds) = 0.020 ] ] 188 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=14 --obstacle-probability=0.2 --seed=188 --cnf-level=12 --cnf-file=grid_6x6_r14_188.cnf ================================================================ reLOC 0.09-vegas : Grid Instance Generator (C) Copyright 2011-2013 Pavel Surynek ---------------------------------------------------------------- Phase statistics (current phase = 'root_phase') [ Phase (name = 'root_phase') [ Total SAT solver calls = 0 Satisfiable SAT solver calls = 0 Unsatisfiable SAT solver calls = 0 Indeterminate SAT solver calls = 0 Move executions = 0 Produced CNF variables = 4945 Produced CNF clauses = 30680 Search steps = 0 Wall clock TIME (seconds) = 0.031 CPU/machine TIME (seconds) = 0.020 ] ] 7899 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=14 --obstacle-probability=0.2 --seed=7899 --cnf-level=12 --cnf-file=grid_6x6_r14_7899.cnf ================================================================ reLOC 0.09-vegas : Grid Instance Generator (C) Copyright 2011-2013 Pavel Surynek ---------------------------------------------------------------- Phase statistics (current phase = 'root_phase') [ Phase (name = 'root_phase') [ Total SAT solver calls = 0 Satisfiable SAT solver calls = 0 Unsatisfiable SAT solver calls = 0 Indeterminate SAT solver calls = 0 Move executions = 0 Produced CNF variables = 4667 Produced CNF clauses = 29151 Search steps = 0 Wall clock TIME (seconds) = 0.029 CPU/machine TIME (seconds) = 0.020 ] ] 9 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=14 --obstacle-probability=0.2 --seed=9 --cnf-level=12 --cnf-file=grid_6x6_r14_9.cnf ================================================================ reLOC 0.09-vegas : Grid Instance Generator (C) Copyright 2011-2013 Pavel Surynek ---------------------------------------------------------------- Phase statistics (current phase = 'root_phase') [ Phase (name = 'root_phase') [ Total SAT solver calls = 0 Satisfiable SAT solver calls = 0 Unsatisfiable SAT solver calls = 0 Indeterminate SAT solver calls = 0 Move executions = 0 Produced CNF variables = 4706 Produced CNF clauses = 28940 Search steps = 0 Wall clock TIME (seconds) = 0.030 CPU/machine TIME (seconds) = 0.020 ] ] 774 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=14 --obstacle-probability=0.2 --seed=774 --cnf-level=12 --cnf-file=grid_6x6_r14_774.cnf ================================================================ reLOC 0.09-vegas : Grid Instance Generator (C) Copyright 2011-2013 Pavel Surynek ---------------------------------------------------------------- Phase statistics (current phase = 'root_phase') [ Phase (name = 'root_phase') [ Total SAT solver calls = 0 Satisfiable SAT solver calls = 0 Unsatisfiable SAT solver calls = 0 Indeterminate SAT solver calls = 0 Move executions = 0 Produced CNF variables = 5491 Produced CNF clauses = 35209 Search steps = 0 Wall clock TIME (seconds) = 0.035 CPU/machine TIME (seconds) = 0.030 ] ] 3455 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=15 --obstacle-probability=0.2 --seed=3455 --cnf-level=12 --cnf-file=grid_6x6_r15_3455.cnf ================================================================ reLOC 0.09-vegas : Grid Instance Generator (C) Copyright 2011-2013 Pavel Surynek ---------------------------------------------------------------- Phase statistics (current phase = 'root_phase') [ Phase (name = 'root_phase') [ Total SAT solver calls = 0 Satisfiable SAT solver calls = 0 Unsatisfiable SAT solver calls = 0 Indeterminate SAT solver calls = 0 Move executions = 0 Produced CNF variables = 3619 Produced CNF clauses = 21594 Search steps = 0 Wall clock TIME (seconds) = 0.023 CPU/machine TIME (seconds) = 0.020 ] ] 12 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=15 --obstacle-probability=0.2 --seed=12 --cnf-level=12 --cnf-file=grid_6x6_r15_12.cnf ================================================================ reLOC 0.09-vegas : Grid Instance Generator (C) Copyright 2011-2013 Pavel Surynek ---------------------------------------------------------------- Phase statistics (current phase = 'root_phase') [ Phase (name = 'root_phase') [ Total SAT solver calls = 0 Satisfiable SAT solver calls = 0 Unsatisfiable SAT solver calls = 0 Indeterminate SAT solver calls = 0 Move executions = 0 Produced CNF variables = 3941 Produced CNF clauses = 23233 Search steps = 0 Wall clock TIME (seconds) = 0.024 CPU/machine TIME (seconds) = 0.020 ] ] 45 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=15 --obstacle-probability=0.2 --seed=45 --cnf-level=12 --cnf-file=grid_6x6_r15_45.cnf ================================================================ reLOC 0.09-vegas : Grid Instance Generator (C) Copyright 2011-2013 Pavel Surynek ---------------------------------------------------------------- Phase statistics (current phase = 'root_phase') [ Phase (name = 'root_phase') [ Total SAT solver calls = 0 Satisfiable SAT solver calls = 0 Unsatisfiable SAT solver calls = 0 Indeterminate SAT solver calls = 0 Move executions = 0 Produced CNF variables = 3329 Produced CNF clauses = 19144 Search steps = 0 Wall clock TIME (seconds) = 0.020 CPU/machine TIME (seconds) = 0.010 ] ] 78 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=15 --obstacle-probability=0.2 --seed=78 --cnf-level=12 --cnf-file=grid_6x6_r15_78.cnf ================================================================ reLOC 0.09-vegas : Grid Instance Generator (C) Copyright 2011-2013 Pavel Surynek ---------------------------------------------------------------- Phase statistics (current phase = 'root_phase') [ Phase (name = 'root_phase') [ Total SAT solver calls = 0 Satisfiable SAT solver calls = 0 Unsatisfiable SAT solver calls = 0 Indeterminate SAT solver calls = 0 Move executions = 0 Produced CNF variables = 4643 Produced CNF clauses = 28643 Search steps = 0 Wall clock TIME (seconds) = 0.029 CPU/machine TIME (seconds) = 0.020 ] ] 8546 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=15 --obstacle-probability=0.2 --seed=8546 --cnf-level=12 --cnf-file=grid_6x6_r15_8546.cnf ================================================================ reLOC 0.09-vegas : Grid Instance Generator (C) Copyright 2011-2013 Pavel Surynek ---------------------------------------------------------------- Phase statistics (current phase = 'root_phase') [ Phase (name = 'root_phase') [ Total SAT solver calls = 0 Satisfiable SAT solver calls = 0 Unsatisfiable SAT solver calls = 0 Indeterminate SAT solver calls = 0 Move executions = 0 Produced CNF variables = 4706 Produced CNF clauses = 28731 Search steps = 0 Wall clock TIME (seconds) = 0.029 CPU/machine TIME (seconds) = 0.020 ] ] 474 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=15 --obstacle-probability=0.2 --seed=474 --cnf-level=12 --cnf-file=grid_6x6_r15_474.cnf ================================================================ reLOC 0.09-vegas : Grid Instance Generator (C) Copyright 2011-2013 Pavel Surynek ---------------------------------------------------------------- Phase statistics (current phase = 'root_phase') [ Phase (name = 'root_phase') [ Total SAT solver calls = 0 Satisfiable SAT solver calls = 0 Unsatisfiable SAT solver calls = 0 Indeterminate SAT solver calls = 0 Move executions = 0 Produced CNF variables = 4416 Produced CNF clauses = 26856 Search steps = 0 Wall clock TIME (seconds) = 0.027 CPU/machine TIME (seconds) = 0.020 ] ] 188 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=15 --obstacle-probability=0.2 --seed=188 --cnf-level=12 --cnf-file=grid_6x6_r15_188.cnf ================================================================ reLOC 0.09-vegas : Grid Instance Generator (C) Copyright 2011-2013 Pavel Surynek ---------------------------------------------------------------- Phase statistics (current phase = 'root_phase') [ Phase (name = 'root_phase') [ Total SAT solver calls = 0 Satisfiable SAT solver calls = 0 Unsatisfiable SAT solver calls = 0 Indeterminate SAT solver calls = 0 Move executions = 0 Produced CNF variables = 4945 Produced CNF clauses = 30564 Search steps = 0 Wall clock TIME (seconds) = 0.031 CPU/machine TIME (seconds) = 0.030 ] ] 7899 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=15 --obstacle-probability=0.2 --seed=7899 --cnf-level=12 --cnf-file=grid_6x6_r15_7899.cnf ================================================================ reLOC 0.09-vegas : Grid Instance Generator (C) Copyright 2011-2013 Pavel Surynek ---------------------------------------------------------------- Phase statistics (current phase = 'root_phase') [ Phase (name = 'root_phase') [ Total SAT solver calls = 0 Satisfiable SAT solver calls = 0 Unsatisfiable SAT solver calls = 0 Indeterminate SAT solver calls = 0 Move executions = 0 Produced CNF variables = 4667 Produced CNF clauses = 28972 Search steps = 0 Wall clock TIME (seconds) = 0.029 CPU/machine TIME (seconds) = 0.020 ] ] 9 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=15 --obstacle-probability=0.2 --seed=9 --cnf-level=12 --cnf-file=grid_6x6_r15_9.cnf ================================================================ reLOC 0.09-vegas : Grid Instance Generator (C) Copyright 2011-2013 Pavel Surynek ---------------------------------------------------------------- Phase statistics (current phase = 'root_phase') [ Phase (name = 'root_phase') [ Total SAT solver calls = 0 Satisfiable SAT solver calls = 0 Unsatisfiable SAT solver calls = 0 Indeterminate SAT solver calls = 0 Move executions = 0 Produced CNF variables = 4706 Produced CNF clauses = 28842 Search steps = 0 Wall clock TIME (seconds) = 0.030 CPU/machine TIME (seconds) = 0.030 ] ] 774 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=15 --obstacle-probability=0.2 --seed=774 --cnf-level=12 --cnf-file=grid_6x6_r15_774.cnf ================================================================ reLOC 0.09-vegas : Grid Instance Generator (C) Copyright 2011-2013 Pavel Surynek ---------------------------------------------------------------- Phase statistics (current phase = 'root_phase') [ Phase (name = 'root_phase') [ Total SAT solver calls = 0 Satisfiable SAT solver calls = 0 Unsatisfiable SAT solver calls = 0 Indeterminate SAT solver calls = 0 Move executions = 0 Produced CNF variables = 5491 Produced CNF clauses = 35011 Search steps = 0 Wall clock TIME (seconds) = 0.035 CPU/machine TIME (seconds) = 0.030 ] ] 3455 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=16 --obstacle-probability=0.2 --seed=3455 --cnf-level=12 --cnf-file=grid_6x6_r16_3455.cnf ================================================================ reLOC 0.09-vegas : Grid Instance Generator (C) Copyright 2011-2013 Pavel Surynek ---------------------------------------------------------------- Phase statistics (current phase = 'root_phase') [ Phase (name = 'root_phase') [ Total SAT solver calls = 0 Satisfiable SAT solver calls = 0 Unsatisfiable SAT solver calls = 0 Indeterminate SAT solver calls = 0 Move executions = 0 Produced CNF variables = 3931 Produced CNF clauses = 29367 Search steps = 0 Wall clock TIME (seconds) = 0.037 CPU/machine TIME (seconds) = 0.030 ] ] 12 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=16 --obstacle-probability=0.2 --seed=12 --cnf-level=12 --cnf-file=grid_6x6_r16_12.cnf ================================================================ reLOC 0.09-vegas : Grid Instance Generator (C) Copyright 2011-2013 Pavel Surynek ---------------------------------------------------------------- Phase statistics (current phase = 'root_phase') [ Phase (name = 'root_phase') [ Total SAT solver calls = 0 Satisfiable SAT solver calls = 0 Unsatisfiable SAT solver calls = 0 Indeterminate SAT solver calls = 0 Move executions = 0 Produced CNF variables = 4277 Produced CNF clauses = 31827 Search steps = 0 Wall clock TIME (seconds) = 0.038 CPU/machine TIME (seconds) = 0.030 ] ] 45 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=16 --obstacle-probability=0.2 --seed=45 --cnf-level=12 --cnf-file=grid_6x6_r16_45.cnf ================================================================ reLOC 0.09-vegas : Grid Instance Generator (C) Copyright 2011-2013 Pavel Surynek ---------------------------------------------------------------- Phase statistics (current phase = 'root_phase') [ Phase (name = 'root_phase') [ Total SAT solver calls = 0 Satisfiable SAT solver calls = 0 Unsatisfiable SAT solver calls = 0 Indeterminate SAT solver calls = 0 Move executions = 0 Produced CNF variables = 3617 Produced CNF clauses = 26149 Search steps = 0 Wall clock TIME (seconds) = 0.032 CPU/machine TIME (seconds) = 0.020 ] ] 78 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=16 --obstacle-probability=0.2 --seed=78 --cnf-level=12 --cnf-file=grid_6x6_r16_78.cnf ================================================================ reLOC 0.09-vegas : Grid Instance Generator (C) Copyright 2011-2013 Pavel Surynek ---------------------------------------------------------------- Phase statistics (current phase = 'root_phase') [ Phase (name = 'root_phase') [ Total SAT solver calls = 0 Satisfiable SAT solver calls = 0 Unsatisfiable SAT solver calls = 0 Indeterminate SAT solver calls = 0 Move executions = 0 Produced CNF variables = 5003 Produced CNF clauses = 38429 Search steps = 0 Wall clock TIME (seconds) = 0.044 CPU/machine TIME (seconds) = 0.040 ] ] 8546 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=16 --obstacle-probability=0.2 --seed=8546 --cnf-level=12 --cnf-file=grid_6x6_r16_8546.cnf ================================================================ reLOC 0.09-vegas : Grid Instance Generator (C) Copyright 2011-2013 Pavel Surynek ---------------------------------------------------------------- Phase statistics (current phase = 'root_phase') [ Phase (name = 'root_phase') [ Total SAT solver calls = 0 Satisfiable SAT solver calls = 0 Unsatisfiable SAT solver calls = 0 Indeterminate SAT solver calls = 0 Move executions = 0 Produced CNF variables = 5078 Produced CNF clauses = 38489 Search steps = 0 Wall clock TIME (seconds) = 0.045 CPU/machine TIME (seconds) = 0.040 ] ] 474 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=16 --obstacle-probability=0.2 --seed=474 --cnf-level=12 --cnf-file=grid_6x6_r16_474.cnf ================================================================ reLOC 0.09-vegas : Grid Instance Generator (C) Copyright 2011-2013 Pavel Surynek ---------------------------------------------------------------- Phase statistics (current phase = 'root_phase') [ Phase (name = 'root_phase') [ Total SAT solver calls = 0 Satisfiable SAT solver calls = 0 Unsatisfiable SAT solver calls = 0 Indeterminate SAT solver calls = 0 Move executions = 0 Produced CNF variables = 4764 Produced CNF clauses = 36430 Search steps = 0 Wall clock TIME (seconds) = 0.044 CPU/machine TIME (seconds) = 0.040 ] ] 188 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=16 --obstacle-probability=0.2 --seed=188 --cnf-level=12 --cnf-file=grid_6x6_r16_188.cnf ================================================================ reLOC 0.09-vegas : Grid Instance Generator (C) Copyright 2011-2013 Pavel Surynek ---------------------------------------------------------------- Phase statistics (current phase = 'root_phase') [ Phase (name = 'root_phase') [ Total SAT solver calls = 0 Satisfiable SAT solver calls = 0 Unsatisfiable SAT solver calls = 0 Indeterminate SAT solver calls = 0 Move executions = 0 Produced CNF variables = 5329 Produced CNF clauses = 40851 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=16 --obstacle-probability=0.2 --seed=7899 --cnf-level=12 --cnf-file=grid_6x6_r16_7899.cnf ================================================================ reLOC 0.09-vegas : Grid Instance Generator (C) Copyright 2011-2013 Pavel Surynek ---------------------------------------------------------------- Phase statistics (current phase = 'root_phase') [ Phase (name = 'root_phase') [ Total SAT solver calls = 0 Satisfiable SAT solver calls = 0 Unsatisfiable SAT solver calls = 0 Indeterminate SAT solver calls = 0 Move executions = 0 Produced CNF variables = 5027 Produced CNF clauses = 38663 Search steps = 0 Wall clock TIME (seconds) = 0.044 CPU/machine TIME (seconds) = 0.040 ] ] 9 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=16 --obstacle-probability=0.2 --seed=9 --cnf-level=12 --cnf-file=grid_6x6_r16_9.cnf ================================================================ reLOC 0.09-vegas : Grid Instance Generator (C) Copyright 2011-2013 Pavel Surynek ---------------------------------------------------------------- Phase statistics (current phase = 'root_phase') [ Phase (name = 'root_phase') [ Total SAT solver calls = 0 Satisfiable SAT solver calls = 0 Unsatisfiable SAT solver calls = 0 Indeterminate SAT solver calls = 0 Move executions = 0 Produced CNF variables = 5078 Produced CNF clauses = 38602 Search steps = 0 Wall clock TIME (seconds) = 0.046 CPU/machine TIME (seconds) = 0.040 ] ] 774 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=16 --obstacle-probability=0.2 --seed=774 --cnf-level=12 --cnf-file=grid_6x6_r16_774.cnf ================================================================ reLOC 0.09-vegas : Grid Instance Generator (C) Copyright 2011-2013 Pavel Surynek ---------------------------------------------------------------- Phase statistics (current phase = 'root_phase') [ Phase (name = 'root_phase') [ Total SAT solver calls = 0 Satisfiable SAT solver calls = 0 Unsatisfiable SAT solver calls = 0 Indeterminate SAT solver calls = 0 Move executions = 0 Produced CNF variables = 5899 Produced CNF clauses = 46464 Search steps = 0 Wall clock TIME (seconds) = 0.053 CPU/machine TIME (seconds) = 0.040 ] ] 3455 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=17 --obstacle-probability=0.2 --seed=3455 --cnf-level=12 --cnf-file=grid_6x6_r17_3455.cnf ================================================================ reLOC 0.09-vegas : Grid Instance Generator (C) Copyright 2011-2013 Pavel Surynek ---------------------------------------------------------------- Phase statistics (current phase = 'root_phase') [ Phase (name = 'root_phase') [ Total SAT solver calls = 0 Satisfiable SAT solver calls = 0 Unsatisfiable SAT solver calls = 0 Indeterminate SAT solver calls = 0 Move executions = 0 Produced CNF variables = 3931 Produced CNF clauses = 29189 Search steps = 0 Wall clock TIME (seconds) = 0.036 CPU/machine TIME (seconds) = 0.030 ] ] 12 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=17 --obstacle-probability=0.2 --seed=12 --cnf-level=12 --cnf-file=grid_6x6_r17_12.cnf ================================================================ reLOC 0.09-vegas : Grid Instance Generator (C) Copyright 2011-2013 Pavel Surynek ---------------------------------------------------------------- Phase statistics (current phase = 'root_phase') [ Phase (name = 'root_phase') [ Total SAT solver calls = 0 Satisfiable SAT solver calls = 0 Unsatisfiable SAT solver calls = 0 Indeterminate SAT solver calls = 0 Move executions = 0 Produced CNF variables = 4277 Produced CNF clauses = 31515 Search steps = 0 Wall clock TIME (seconds) = 0.038 CPU/machine TIME (seconds) = 0.030 ] ] 45 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=17 --obstacle-probability=0.2 --seed=45 --cnf-level=12 --cnf-file=grid_6x6_r17_45.cnf ================================================================ reLOC 0.09-vegas : Grid Instance Generator (C) Copyright 2011-2013 Pavel Surynek ---------------------------------------------------------------- Phase statistics (current phase = 'root_phase') [ Phase (name = 'root_phase') [ Total SAT solver calls = 0 Satisfiable SAT solver calls = 0 Unsatisfiable SAT solver calls = 0 Indeterminate SAT solver calls = 0 Move executions = 0 Produced CNF variables = 3617 Produced CNF clauses = 26083 Search steps = 0 Wall clock TIME (seconds) = 0.032 CPU/machine TIME (seconds) = 0.030 ] ] 78 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=17 --obstacle-probability=0.2 --seed=78 --cnf-level=12 --cnf-file=grid_6x6_r17_78.cnf ================================================================ reLOC 0.09-vegas : Grid Instance Generator (C) Copyright 2011-2013 Pavel Surynek ---------------------------------------------------------------- Phase statistics (current phase = 'root_phase') [ Phase (name = 'root_phase') [ Total SAT solver calls = 0 Satisfiable SAT solver calls = 0 Unsatisfiable SAT solver calls = 0 Indeterminate SAT solver calls = 0 Move executions = 0 Produced CNF variables = 5003 Produced CNF clauses = 38222 Search steps = 0 Wall clock TIME (seconds) = 0.043 CPU/machine TIME (seconds) = 0.040 ] ] 8546 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=17 --obstacle-probability=0.2 --seed=8546 --cnf-level=12 --cnf-file=grid_6x6_r17_8546.cnf ================================================================ reLOC 0.09-vegas : Grid Instance Generator (C) Copyright 2011-2013 Pavel Surynek ---------------------------------------------------------------- Phase statistics (current phase = 'root_phase') [ Phase (name = 'root_phase') [ Total SAT solver calls = 0 Satisfiable SAT solver calls = 0 Unsatisfiable SAT solver calls = 0 Indeterminate SAT solver calls = 0 Move executions = 0 Produced CNF variables = 5078 Produced CNF clauses = 38254 Search steps = 0 Wall clock TIME (seconds) = 0.045 CPU/machine TIME (seconds) = 0.040 ] ] 474 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=17 --obstacle-probability=0.2 --seed=474 --cnf-level=12 --cnf-file=grid_6x6_r17_474.cnf ================================================================ reLOC 0.09-vegas : Grid Instance Generator (C) Copyright 2011-2013 Pavel Surynek ---------------------------------------------------------------- Phase statistics (current phase = 'root_phase') [ Phase (name = 'root_phase') [ Total SAT solver calls = 0 Satisfiable SAT solver calls = 0 Unsatisfiable SAT solver calls = 0 Indeterminate SAT solver calls = 0 Move executions = 0 Produced CNF variables = 4764 Produced CNF clauses = 36164 Search steps = 0 Wall clock TIME (seconds) = 0.042 CPU/machine TIME (seconds) = 0.040 ] ] 188 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=17 --obstacle-probability=0.2 --seed=188 --cnf-level=12 --cnf-file=grid_6x6_r17_188.cnf ================================================================ reLOC 0.09-vegas : Grid Instance Generator (C) Copyright 2011-2013 Pavel Surynek ---------------------------------------------------------------- Phase statistics (current phase = 'root_phase') [ Phase (name = 'root_phase') [ Total SAT solver calls = 0 Satisfiable SAT solver calls = 0 Unsatisfiable SAT solver calls = 0 Indeterminate SAT solver calls = 0 Move executions = 0 Produced CNF variables = 5329 Produced CNF clauses = 40782 Search steps = 0 Wall clock TIME (seconds) = 0.047 CPU/machine TIME (seconds) = 0.040 ] ] 7899 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=17 --obstacle-probability=0.2 --seed=7899 --cnf-level=12 --cnf-file=grid_6x6_r17_7899.cnf ================================================================ reLOC 0.09-vegas : Grid Instance Generator (C) Copyright 2011-2013 Pavel Surynek ---------------------------------------------------------------- Phase statistics (current phase = 'root_phase') [ Phase (name = 'root_phase') [ Total SAT solver calls = 0 Satisfiable SAT solver calls = 0 Unsatisfiable SAT solver calls = 0 Indeterminate SAT solver calls = 0 Move executions = 0 Produced CNF variables = 5027 Produced CNF clauses = 38451 Search steps = 0 Wall clock TIME (seconds) = 0.044 CPU/machine TIME (seconds) = 0.030 ] ] 9 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=17 --obstacle-probability=0.2 --seed=9 --cnf-level=12 --cnf-file=grid_6x6_r17_9.cnf ================================================================ reLOC 0.09-vegas : Grid Instance Generator (C) Copyright 2011-2013 Pavel Surynek ---------------------------------------------------------------- Phase statistics (current phase = 'root_phase') [ Phase (name = 'root_phase') [ Total SAT solver calls = 0 Satisfiable SAT solver calls = 0 Unsatisfiable SAT solver calls = 0 Indeterminate SAT solver calls = 0 Move executions = 0 Produced CNF variables = 5078 Produced CNF clauses = 38442 Search steps = 0 Wall clock TIME (seconds) = 0.045 CPU/machine TIME (seconds) = 0.040 ] ] 774 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=17 --obstacle-probability=0.2 --seed=774 --cnf-level=12 --cnf-file=grid_6x6_r17_774.cnf ================================================================ reLOC 0.09-vegas : Grid Instance Generator (C) Copyright 2011-2013 Pavel Surynek ---------------------------------------------------------------- Phase statistics (current phase = 'root_phase') [ Phase (name = 'root_phase') [ Total SAT solver calls = 0 Satisfiable SAT solver calls = 0 Unsatisfiable SAT solver calls = 0 Indeterminate SAT solver calls = 0 Move executions = 0 Produced CNF variables = 5899 Produced CNF clauses = 46343 Search steps = 0 Wall clock TIME (seconds) = 0.052 CPU/machine TIME (seconds) = 0.050 ] ] 3455 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=18 --obstacle-probability=0.2 --seed=3455 --cnf-level=12 --cnf-file=grid_6x6_r18_3455.cnf ================================================================ reLOC 0.09-vegas : Grid Instance Generator (C) Copyright 2011-2013 Pavel Surynek ---------------------------------------------------------------- Phase statistics (current phase = 'root_phase') [ Phase (name = 'root_phase') [ Total SAT solver calls = 0 Satisfiable SAT solver calls = 0 Unsatisfiable SAT solver calls = 0 Indeterminate SAT solver calls = 0 Move executions = 0 Produced CNF variables = 3931 Produced CNF clauses = 28910 Search steps = 0 Wall clock TIME (seconds) = 0.036 CPU/machine TIME (seconds) = 0.030 ] ] 12 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=18 --obstacle-probability=0.2 --seed=12 --cnf-level=12 --cnf-file=grid_6x6_r18_12.cnf ================================================================ reLOC 0.09-vegas : Grid Instance Generator (C) Copyright 2011-2013 Pavel Surynek ---------------------------------------------------------------- Phase statistics (current phase = 'root_phase') [ Phase (name = 'root_phase') [ Total SAT solver calls = 0 Satisfiable SAT solver calls = 0 Unsatisfiable SAT solver calls = 0 Indeterminate SAT solver calls = 0 Move executions = 0 Produced CNF variables = 4277 Produced CNF clauses = 31314 Search steps = 0 Wall clock TIME (seconds) = 0.038 CPU/machine TIME (seconds) = 0.030 ] ] 45 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=18 --obstacle-probability=0.2 --seed=45 --cnf-level=12 --cnf-file=grid_6x6_r18_45.cnf ================================================================ reLOC 0.09-vegas : Grid Instance Generator (C) Copyright 2011-2013 Pavel Surynek ---------------------------------------------------------------- Phase statistics (current phase = 'root_phase') [ Phase (name = 'root_phase') [ Total SAT solver calls = 0 Satisfiable SAT solver calls = 0 Unsatisfiable SAT solver calls = 0 Indeterminate SAT solver calls = 0 Move executions = 0 Produced CNF variables = 3617 Produced CNF clauses = 26027 Search steps = 0 Wall clock TIME (seconds) = 0.031 CPU/machine TIME (seconds) = 0.020 ] ] 78 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=18 --obstacle-probability=0.2 --seed=78 --cnf-level=12 --cnf-file=grid_6x6_r18_78.cnf ================================================================ reLOC 0.09-vegas : Grid Instance Generator (C) Copyright 2011-2013 Pavel Surynek ---------------------------------------------------------------- Phase statistics (current phase = 'root_phase') [ Phase (name = 'root_phase') [ Total SAT solver calls = 0 Satisfiable SAT solver calls = 0 Unsatisfiable SAT solver calls = 0 Indeterminate SAT solver calls = 0 Move executions = 0 Produced CNF variables = 5003 Produced CNF clauses = 37955 Search steps = 0 Wall clock TIME (seconds) = 0.043 CPU/machine TIME (seconds) = 0.040 ] ] 8546 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=18 --obstacle-probability=0.2 --seed=8546 --cnf-level=12 --cnf-file=grid_6x6_r18_8546.cnf ================================================================ reLOC 0.09-vegas : Grid Instance Generator (C) Copyright 2011-2013 Pavel Surynek ---------------------------------------------------------------- Phase statistics (current phase = 'root_phase') [ Phase (name = 'root_phase') [ Total SAT solver calls = 0 Satisfiable SAT solver calls = 0 Unsatisfiable SAT solver calls = 0 Indeterminate SAT solver calls = 0 Move executions = 0 Produced CNF variables = 5078 Produced CNF clauses = 38131 Search steps = 0 Wall clock TIME (seconds) = 0.044 CPU/machine TIME (seconds) = 0.030 ] ] 474 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=18 --obstacle-probability=0.2 --seed=474 --cnf-level=12 --cnf-file=grid_6x6_r18_474.cnf ================================================================ reLOC 0.09-vegas : Grid Instance Generator (C) Copyright 2011-2013 Pavel Surynek ---------------------------------------------------------------- Phase statistics (current phase = 'root_phase') [ Phase (name = 'root_phase') [ Total SAT solver calls = 0 Satisfiable SAT solver calls = 0 Unsatisfiable SAT solver calls = 0 Indeterminate SAT solver calls = 0 Move executions = 0 Produced CNF variables = 4764 Produced CNF clauses = 35966 Search steps = 0 Wall clock TIME (seconds) = 0.041 CPU/machine TIME (seconds) = 0.030 ] ] 188 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=18 --obstacle-probability=0.2 --seed=188 --cnf-level=12 --cnf-file=grid_6x6_r18_188.cnf ================================================================ reLOC 0.09-vegas : Grid Instance Generator (C) Copyright 2011-2013 Pavel Surynek ---------------------------------------------------------------- Phase statistics (current phase = 'root_phase') [ Phase (name = 'root_phase') [ Total SAT solver calls = 0 Satisfiable SAT solver calls = 0 Unsatisfiable SAT solver calls = 0 Indeterminate SAT solver calls = 0 Move executions = 0 Produced CNF variables = 5329 Produced CNF clauses = 40646 Search steps = 0 Wall clock TIME (seconds) = 0.047 CPU/machine TIME (seconds) = 0.040 ] ] 7899 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=18 --obstacle-probability=0.2 --seed=7899 --cnf-level=12 --cnf-file=grid_6x6_r18_7899.cnf ================================================================ reLOC 0.09-vegas : Grid Instance Generator (C) Copyright 2011-2013 Pavel Surynek ---------------------------------------------------------------- Phase statistics (current phase = 'root_phase') [ Phase (name = 'root_phase') [ Total SAT solver calls = 0 Satisfiable SAT solver calls = 0 Unsatisfiable SAT solver calls = 0 Indeterminate SAT solver calls = 0 Move executions = 0 Produced CNF variables = 5027 Produced CNF clauses = 38353 Search steps = 0 Wall clock TIME (seconds) = 0.044 CPU/machine TIME (seconds) = 0.030 ] ] 9 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=18 --obstacle-probability=0.2 --seed=9 --cnf-level=12 --cnf-file=grid_6x6_r18_9.cnf ================================================================ reLOC 0.09-vegas : Grid Instance Generator (C) Copyright 2011-2013 Pavel Surynek ---------------------------------------------------------------- Phase statistics (current phase = 'root_phase') [ Phase (name = 'root_phase') [ Total SAT solver calls = 0 Satisfiable SAT solver calls = 0 Unsatisfiable SAT solver calls = 0 Indeterminate SAT solver calls = 0 Move executions = 0 Produced CNF variables = 5078 Produced CNF clauses = 38323 Search steps = 0 Wall clock TIME (seconds) = 0.045 CPU/machine TIME (seconds) = 0.030 ] ] 774 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=18 --obstacle-probability=0.2 --seed=774 --cnf-level=12 --cnf-file=grid_6x6_r18_774.cnf ================================================================ reLOC 0.09-vegas : Grid Instance Generator (C) Copyright 2011-2013 Pavel Surynek ---------------------------------------------------------------- Phase statistics (current phase = 'root_phase') [ Phase (name = 'root_phase') [ Total SAT solver calls = 0 Satisfiable SAT solver calls = 0 Unsatisfiable SAT solver calls = 0 Indeterminate SAT solver calls = 0 Move executions = 0 Produced CNF variables = 5899 Produced CNF clauses = 46057 Search steps = 0 Wall clock TIME (seconds) = 0.053 CPU/machine TIME (seconds) = 0.050 ] ] grid size = 6 max robots = 18 1,3455 c number of literals = 25238 c number of literals / number of clauses = 2.630 1,12 c number of literals = 26755 c number of literals / number of clauses = 2.598 1,45 c number of literals = 21327 c number of literals / number of clauses = 2.558 1,78 c number of literals = 34850 c number of literals / number of clauses = 2.611 1,8546 c number of literals = 34866 c number of literals / number of clauses = 2.625 1,474 c number of literals = 32458 c number of literals / number of clauses = 2.619 1,188 c number of literals = 37374 c number of literals / number of clauses = 2.633 1,7899 c number of literals = 36419 c number of literals / number of clauses = 2.649 1,9 c number of literals = 34071 c number of literals / number of clauses = 2.609 1,774 c number of literals = 44238 c number of literals / number of clauses = 2.652 2,3455 c number of literals = 34143 c number of literals / number of clauses = 2.606 2,12 c number of literals = 36507 c number of literals / number of clauses = 2.585 2,45 c number of literals = 29603 c number of literals / number of clauses = 2.557 2,78 c number of literals = 47091 c number of literals / number of clauses = 2.593 2,8546 c number of literals = 46948 c number of literals / number of clauses = 2.602 2,474 c number of literals = 43910 c number of literals / number of clauses = 2.594 2,188 c number of literals = 50197 c number of literals / number of clauses = 2.605 2,7899 c number of literals = 48647 c number of literals / number of clauses = 2.617 2,9 c number of literals = 46232 c number of literals / number of clauses = 2.588 2,774 c number of literals = 58837 c number of literals / number of clauses = 2.620 3,3455 c number of literals = 33943 c number of literals / number of clauses = 2.611 3,12 c number of literals = 36429 c number of literals / number of clauses = 2.587 3,45 c number of literals = 29461 c number of literals / number of clauses = 2.561 3,78 c number of literals = 46749 c number of literals / number of clauses = 2.598 3,8546 c number of literals = 46666 c number of literals / number of clauses = 2.606 3,474 c number of literals = 43884 c number of literals / number of clauses = 2.594 3,188 c number of literals = 50023 c number of literals / number of clauses = 2.608 3,7899 c number of literals = 48253 c number of literals / number of clauses = 2.623 3,9 c number of literals = 45936 c number of literals / number of clauses = 2.593 3,774 c number of literals = 58465 c number of literals / number of clauses = 2.625 4,3455 c number of literals = 46093 c number of literals / number of clauses = 2.660 4,12 c number of literals = 49190 c number of literals / number of clauses = 2.641 4,45 c number of literals = 40258 c number of literals / number of clauses = 2.624 4,78 c number of literals = 61922 c number of literals / number of clauses = 2.635 4,8546 c number of literals = 61854 c number of literals / number of clauses = 2.643 4,474 c number of literals = 58053 c number of literals / number of clauses = 2.637 4,188 c number of literals = 65940 c number of literals / number of clauses = 2.643 4,7899 c number of literals = 63463 c number of literals / number of clauses = 2.651 4,9 c number of literals = 61185 c number of literals / number of clauses = 2.635 4,774 c number of literals = 76237 c number of literals / number of clauses = 2.649 5,3455 c number of literals = 45754 c number of literals / number of clauses = 2.658 5,12 c number of literals = 48977 c number of literals / number of clauses = 2.640 5,45 c number of literals = 39556 c number of literals / number of clauses = 2.618 5,78 c number of literals = 61247 c number of literals / number of clauses = 2.631 5,8546 c number of literals = 61266 c number of literals / number of clauses = 2.640 5,474 c number of literals = 57795 c number of literals / number of clauses = 2.636 5,188 c number of literals = 65805 c number of literals / number of clauses = 2.642 5,7899 c number of literals = 62998 c number of literals / number of clauses = 2.649 5,9 c number of literals = 60855 c number of literals / number of clauses = 2.633 5,774 c number of literals = 75766 c number of literals / number of clauses = 2.647 6,3455 c number of literals = 45124 c number of literals / number of clauses = 2.654 6,12 c number of literals = 48776 c number of literals / number of clauses = 2.639 6,45 c number of literals = 39205 c number of literals / number of clauses = 2.615 6,78 c number of literals = 60527 c number of literals / number of clauses = 2.627 6,8546 c number of literals = 60591 c number of literals / number of clauses = 2.637 6,474 c number of literals = 56922 c number of literals / number of clauses = 2.631 6,188 c number of literals = 65061 c number of literals / number of clauses = 2.638 6,7899 c number of literals = 62206 c number of literals / number of clauses = 2.645 6,9 c number of literals = 60372 c number of literals / number of clauses = 2.631 6,774 c number of literals = 75007 c number of literals / number of clauses = 2.644 7,3455 c number of literals = 45130 c number of literals / number of clauses = 2.654 7,12 c number of literals = 48713 c number of literals / number of clauses = 2.638 7,45 c number of literals = 39016 c number of literals / number of clauses = 2.614 7,78 c number of literals = 59942 c number of literals / number of clauses = 2.624 7,8546 c number of literals = 60447 c number of literals / number of clauses = 2.636 7,474 c number of literals = 56763 c number of literals / number of clauses = 2.630 7,188 c number of literals = 64569 c number of literals / number of clauses = 2.636 7,7899 c number of literals = 61789 c number of literals / number of clauses = 2.643 7,9 c number of literals = 59946 c number of literals / number of clauses = 2.628 7,774 c number of literals = 74452 c number of literals / number of clauses = 2.641 8,3455 c number of literals = 64063 c number of literals / number of clauses = 2.850 8,12 c number of literals = 67989 c number of literals / number of clauses = 2.822 8,45 c number of literals = 55785 c number of literals / number of clauses = 2.809 8,78 c number of literals = 82991 c number of literals / number of clauses = 2.777 8,8546 c number of literals = 83114 c number of literals / number of clauses = 2.790 8,474 c number of literals = 77716 c number of literals / number of clauses = 2.781 8,188 c number of literals = 88469 c number of literals / number of clauses = 2.786 8,7899 c number of literals = 84459 c number of literals / number of clauses = 2.787 8,9 c number of literals = 83218 c number of literals / number of clauses = 2.793 8,774 c number of literals = 100891 c number of literals / number of clauses = 2.775 9,3455 c number of literals = 63255 c number of literals / number of clauses = 2.840 9,12 c number of literals = 67469 c number of literals / number of clauses = 2.816 9,45 c number of literals = 55549 c number of literals / number of clauses = 2.805 9,78 c number of literals = 81871 c number of literals / number of clauses = 2.766 9,8546 c number of literals = 82866 c number of literals / number of clauses = 2.788 9,474 c number of literals = 77264 c number of literals / number of clauses = 2.776 9,188 c number of literals = 88045 c number of literals / number of clauses = 2.782 9,7899 c number of literals = 83943 c number of literals / number of clauses = 2.782 9,9 c number of literals = 82430 c number of literals / number of clauses = 2.785 9,774 c number of literals = 100135 c number of literals / number of clauses = 2.769 10,3455 c number of literals = 62783 c number of literals / number of clauses = 2.834 10,12 c number of literals = 66417 c number of literals / number of clauses = 2.803 10,45 c number of literals = 55121 c number of literals / number of clauses = 2.799 10,78 c number of literals = 81959 c number of literals / number of clauses = 2.766 10,8546 c number of literals = 81694 c number of literals / number of clauses = 2.776 10,474 c number of literals = 77204 c number of literals / number of clauses = 2.775 10,188 c number of literals = 87313 c number of literals / number of clauses = 2.775 10,7899 c number of literals = 83071 c number of literals / number of clauses = 2.773 10,9 c number of literals = 81962 c number of literals / number of clauses = 2.781 10,774 c number of literals = 99539 c number of literals / number of clauses = 2.764 11,3455 c number of literals = 62055 c number of literals / number of clauses = 2.824 11,12 c number of literals = 67437 c number of literals / number of clauses = 2.815 11,45 c number of literals = 54225 c number of literals / number of clauses = 2.785 11,78 c number of literals = 80347 c number of literals / number of clauses = 2.749 11,8546 c number of literals = 81094 c number of literals / number of clauses = 2.770 11,474 c number of literals = 77400 c number of literals / number of clauses = 2.777 11,188 c number of literals = 87233 c number of literals / number of clauses = 2.774 11,7899 c number of literals = 82563 c number of literals / number of clauses = 2.768 11,9 c number of literals = 81674 c number of literals / number of clauses = 2.778 11,774 c number of literals = 98479 c number of literals / number of clauses = 2.755 12,3455 c number of literals = 61439 c number of literals / number of clauses = 2.816 12,12 c number of literals = 66441 c number of literals / number of clauses = 2.803 12,45 c number of literals = 54169 c number of literals / number of clauses = 2.784 12,78 c number of literals = 80295 c number of literals / number of clauses = 2.749 12,8546 c number of literals = 80082 c number of literals / number of clauses = 2.759 12,474 c number of literals = 75780 c number of literals / number of clauses = 2.759 12,188 c number of literals = 85913 c number of literals / number of clauses = 2.761 12,7899 c number of literals = 81023 c number of literals / number of clauses = 2.751 12,9 c number of literals = 80718 c number of literals / number of clauses = 2.768 12,774 c number of literals = 97659 c number of literals / number of clauses = 2.748 13,3455 c number of literals = 61555 c number of literals / number of clauses = 2.817 13,12 c number of literals = 65313 c number of literals / number of clauses = 2.788 13,45 c number of literals = 53669 c number of literals / number of clauses = 2.776 13,78 c number of literals = 79663 c number of literals / number of clauses = 2.742 13,8546 c number of literals = 80002 c number of literals / number of clauses = 2.758 13,474 c number of literals = 75272 c number of literals / number of clauses = 2.754 13,188 c number of literals = 85265 c number of literals / number of clauses = 2.755 13,7899 c number of literals = 80851 c number of literals / number of clauses = 2.750 13,9 c number of literals = 80686 c number of literals / number of clauses = 2.767 13,774 c number of literals = 97219 c number of literals / number of clauses = 2.744 14,3455 c number of literals = 61571 c number of literals / number of clauses = 2.817 14,12 c number of literals = 65173 c number of literals / number of clauses = 2.787 14,45 c number of literals = 52997 c number of literals / number of clauses = 2.765 14,78 c number of literals = 78435 c number of literals / number of clauses = 2.729 14,8546 c number of literals = 79398 c number of literals / number of clauses = 2.751 14,474 c number of literals = 73536 c number of literals / number of clauses = 2.734 14,188 c number of literals = 84169 c number of literals / number of clauses = 2.743 14,7899 c number of literals = 79839 c number of literals / number of clauses = 2.739 14,9 c number of literals = 79818 c number of literals / number of clauses = 2.758 14,774 c number of literals = 96319 c number of literals / number of clauses = 2.736 15,3455 c number of literals = 60531 c number of literals / number of clauses = 2.803 15,12 c number of literals = 64553 c number of literals / number of clauses = 2.779 15,45 c number of literals = 52913 c number of literals / number of clauses = 2.764 15,78 c number of literals = 78027 c number of literals / number of clauses = 2.724 15,8546 c number of literals = 78894 c number of literals / number of clauses = 2.746 15,474 c number of literals = 73356 c number of literals / number of clauses = 2.731 15,188 c number of literals = 83705 c number of literals / number of clauses = 2.739 15,7899 c number of literals = 79123 c number of literals / number of clauses = 2.731 15,9 c number of literals = 79426 c number of literals / number of clauses = 2.754 15,774 c number of literals = 95527 c number of literals / number of clauses = 2.728 16,3455 c number of literals = 94905 c number of literals / number of clauses = 3.232 16,12 c number of literals = 102307 c number of literals / number of clauses = 3.214 16,45 c number of literals = 83504 c number of literals / number of clauses = 3.193 16,78 c number of literals = 119034 c number of literals / number of clauses = 3.098 16,8546 c number of literals = 120251 c number of literals / number of clauses = 3.124 16,474 c number of literals = 113974 c number of literals / number of clauses = 3.129 16,188 c number of literals = 127016 c number of literals / number of clauses = 3.109 16,7899 c number of literals = 119522 c number of literals / number of clauses = 3.091 16,9 c number of literals = 121124 c number of literals / number of clauses = 3.138 16,774 c number of literals = 143011 c number of literals / number of clauses = 3.078 17,3455 c number of literals = 94015 c number of literals / number of clauses = 3.221 17,12 c number of literals = 100747 c number of literals / number of clauses = 3.197 17,45 c number of literals = 83174 c number of literals / number of clauses = 3.189 17,78 c number of literals = 117999 c number of literals / number of clauses = 3.087 17,8546 c number of literals = 119076 c number of literals / number of clauses = 3.113 17,474 c number of literals = 112644 c number of literals / number of clauses = 3.115 17,188 c number of literals = 126671 c number of literals / number of clauses = 3.106 17,7899 c number of literals = 118462 c number of literals / number of clauses = 3.081 17,9 c number of literals = 120324 c number of literals / number of clauses = 3.130 17,774 c number of literals = 142406 c number of literals / number of clauses = 3.073 18,3455 c number of literals = 92620 c number of literals / number of clauses = 3.204 18,12 c number of literals = 99742 c number of literals / number of clauses = 3.185 18,45 c number of literals = 82894 c number of literals / number of clauses = 3.185 18,78 c number of literals = 116664 c number of literals / number of clauses = 3.074 18,8546 c number of literals = 118461 c number of literals / number of clauses = 3.107 18,474 c number of literals = 111654 c number of literals / number of clauses = 3.104 18,188 c number of literals = 125991 c number of literals / number of clauses = 3.100 18,7899 c number of literals = 117972 c number of literals / number of clauses = 3.076 18,9 c number of literals = 119729 c number of literals / number of clauses = 3.124 18,774 c number of literals = 140976 c number of literals / number of clauses = 3.061 grid size = 6 max robots = 18 1,3455 c number of visible variables = 1176 c number of hidden variables = 1507 c number of propositional variables = 2683 c number of clauses / number of variables = 3.577 1,12 c number of visible variables = 1272 c number of hidden variables = 1661 c number of propositional variables = 2933 c number of clauses / number of variables = 3.511 1,45 c number of visible variables = 1068 c number of hidden variables = 1397 c number of propositional variables = 2465 c number of clauses / number of variables = 3.382 1,78 c number of visible variables = 1440 c number of hidden variables = 2123 c number of propositional variables = 3563 c number of clauses / number of variables = 3.745 1,8546 c number of visible variables = 1500 c number of hidden variables = 2090 c number of propositional variables = 3590 c number of clauses / number of variables = 3.700 1,474 c number of visible variables = 1392 c number of hidden variables = 1980 c number of propositional variables = 3372 c number of clauses / number of variables = 3.676 1,188 c number of visible variables = 1560 c number of hidden variables = 2233 c number of propositional variables = 3793 c number of clauses / number of variables = 3.743 1,7899 c number of visible variables = 1464 c number of hidden variables = 2123 c number of propositional variables = 3587 c number of clauses / number of variables = 3.833 1,9 c number of visible variables = 1500 c number of hidden variables = 2090 c number of propositional variables = 3590 c number of clauses / number of variables = 3.638 1,774 c number of visible variables = 1704 c number of hidden variables = 2563 c number of propositional variables = 4267 c number of clauses / number of variables = 3.910 2,3455 c number of visible variables = 1488 c number of hidden variables = 1507 c number of propositional variables = 2995 c number of clauses / number of variables = 4.374 2,12 c number of visible variables = 1608 c number of hidden variables = 1661 c number of propositional variables = 3269 c number of clauses / number of variables = 4.320 2,45 c number of visible variables = 1356 c number of hidden variables = 1397 c number of propositional variables = 2753 c number of clauses / number of variables = 4.205 2,78 c number of visible variables = 1800 c number of hidden variables = 2123 c number of propositional variables = 3923 c number of clauses / number of variables = 4.630 2,8546 c number of visible variables = 1872 c number of hidden variables = 2090 c number of propositional variables = 3962 c number of clauses / number of variables = 4.555 2,474 c number of visible variables = 1740 c number of hidden variables = 1980 c number of propositional variables = 3720 c number of clauses / number of variables = 4.551 2,188 c number of visible variables = 1944 c number of hidden variables = 2233 c number of propositional variables = 4177 c number of clauses / number of variables = 4.613 2,7899 c number of visible variables = 1824 c number of hidden variables = 2123 c number of propositional variables = 3947 c number of clauses / number of variables = 4.710 2,9 c number of visible variables = 1872 c number of hidden variables = 2090 c number of propositional variables = 3962 c number of clauses / number of variables = 4.509 2,774 c number of visible variables = 2112 c number of hidden variables = 2563 c number of propositional variables = 4675 c number of clauses / number of variables = 4.804 3,3455 c number of visible variables = 1488 c number of hidden variables = 1507 c number of propositional variables = 2995 c number of clauses / number of variables = 4.341 3,12 c number of visible variables = 1608 c number of hidden variables = 1661 c number of propositional variables = 3269 c number of clauses / number of variables = 4.308 3,45 c number of visible variables = 1356 c number of hidden variables = 1397 c number of propositional variables = 2753 c number of clauses / number of variables = 4.179 3,78 c number of visible variables = 1800 c number of hidden variables = 2123 c number of propositional variables = 3923 c number of clauses / number of variables = 4.587 3,8546 c number of visible variables = 1872 c number of hidden variables = 2090 c number of propositional variables = 3962 c number of clauses / number of variables = 4.519 3,474 c number of visible variables = 1740 c number of hidden variables = 1980 c number of propositional variables = 3720 c number of clauses / number of variables = 4.547 3,188 c number of visible variables = 1944 c number of hidden variables = 2233 c number of propositional variables = 4177 c number of clauses / number of variables = 4.593 3,7899 c number of visible variables = 1824 c number of hidden variables = 2123 c number of propositional variables = 3947 c number of clauses / number of variables = 4.660 3,9 c number of visible variables = 1872 c number of hidden variables = 2090 c number of propositional variables = 3962 c number of clauses / number of variables = 4.471 3,774 c number of visible variables = 2112 c number of hidden variables = 2563 c number of propositional variables = 4675 c number of clauses / number of variables = 4.765 4,3455 c number of visible variables = 1800 c number of hidden variables = 1507 c number of propositional variables = 3307 c number of clauses / number of variables = 5.239 4,12 c number of visible variables = 1944 c number of hidden variables = 1661 c number of propositional variables = 3605 c number of clauses / number of variables = 5.166 4,45 c number of visible variables = 1644 c number of hidden variables = 1397 c number of propositional variables = 3041 c number of clauses / number of variables = 5.045 4,78 c number of visible variables = 2160 c number of hidden variables = 2123 c number of propositional variables = 4283 c number of clauses / number of variables = 5.488 4,8546 c number of visible variables = 2244 c number of hidden variables = 2090 c number of propositional variables = 4334 c number of clauses / number of variables = 5.399 4,474 c number of visible variables = 2088 c number of hidden variables = 1980 c number of propositional variables = 4068 c number of clauses / number of variables = 5.412 4,188 c number of visible variables = 2328 c number of hidden variables = 2233 c number of propositional variables = 4561 c number of clauses / number of variables = 5.471 4,7899 c number of visible variables = 2184 c number of hidden variables = 2123 c number of propositional variables = 4307 c number of clauses / number of variables = 5.557 4,9 c number of visible variables = 2244 c number of hidden variables = 2090 c number of propositional variables = 4334 c number of clauses / number of variables = 5.358 4,774 c number of visible variables = 2520 c number of hidden variables = 2563 c number of propositional variables = 5083 c number of clauses / number of variables = 5.662 5,3455 c number of visible variables = 1800 c number of hidden variables = 1507 c number of propositional variables = 3307 c number of clauses / number of variables = 5.205 5,12 c number of visible variables = 1944 c number of hidden variables = 1661 c number of propositional variables = 3605 c number of clauses / number of variables = 5.146 5,45 c number of visible variables = 1644 c number of hidden variables = 1397 c number of propositional variables = 3041 c number of clauses / number of variables = 4.968 5,78 c number of visible variables = 2160 c number of hidden variables = 2123 c number of propositional variables = 4283 c number of clauses / number of variables = 5.435 5,8546 c number of visible variables = 2244 c number of hidden variables = 2090 c number of propositional variables = 4334 c number of clauses / number of variables = 5.354 5,474 c number of visible variables = 2088 c number of hidden variables = 1980 c number of propositional variables = 4068 c number of clauses / number of variables = 5.391 5,188 c number of visible variables = 2328 c number of hidden variables = 2233 c number of propositional variables = 4561 c number of clauses / number of variables = 5.461 5,7899 c number of visible variables = 2184 c number of hidden variables = 2123 c number of propositional variables = 4307 c number of clauses / number of variables = 5.521 5,9 c number of visible variables = 2244 c number of hidden variables = 2090 c number of propositional variables = 4334 c number of clauses / number of variables = 5.332 5,774 c number of visible variables = 2520 c number of hidden variables = 2563 c number of propositional variables = 5083 c number of clauses / number of variables = 5.632 6,3455 c number of visible variables = 1800 c number of hidden variables = 1507 c number of propositional variables = 3307 c number of clauses / number of variables = 5.142 6,12 c number of visible variables = 1944 c number of hidden variables = 1661 c number of propositional variables = 3605 c number of clauses / number of variables = 5.128 6,45 c number of visible variables = 1644 c number of hidden variables = 1397 c number of propositional variables = 3041 c number of clauses / number of variables = 4.929 6,78 c number of visible variables = 2160 c number of hidden variables = 2123 c number of propositional variables = 4283 c number of clauses / number of variables = 5.379 6,8546 c number of visible variables = 2244 c number of hidden variables = 2090 c number of propositional variables = 4334 c number of clauses / number of variables = 5.302 6,474 c number of visible variables = 2088 c number of hidden variables = 1980 c number of propositional variables = 4068 c number of clauses / number of variables = 5.319 6,188 c number of visible variables = 2328 c number of hidden variables = 2233 c number of propositional variables = 4561 c number of clauses / number of variables = 5.407 6,7899 c number of visible variables = 2184 c number of hidden variables = 2123 c number of propositional variables = 4307 c number of clauses / number of variables = 5.460 6,9 c number of visible variables = 2244 c number of hidden variables = 2090 c number of propositional variables = 4334 c number of clauses / number of variables = 5.295 6,774 c number of visible variables = 2520 c number of hidden variables = 2563 c number of propositional variables = 5083 c number of clauses / number of variables = 5.582 7,3455 c number of visible variables = 1800 c number of hidden variables = 1507 c number of propositional variables = 3307 c number of clauses / number of variables = 5.142 7,12 c number of visible variables = 1944 c number of hidden variables = 1661 c number of propositional variables = 3605 c number of clauses / number of variables = 5.122 7,45 c number of visible variables = 1644 c number of hidden variables = 1397 c number of propositional variables = 3041 c number of clauses / number of variables = 4.909 7,78 c number of visible variables = 2160 c number of hidden variables = 2123 c number of propositional variables = 4283 c number of clauses / number of variables = 5.333 7,8546 c number of visible variables = 2244 c number of hidden variables = 2090 c number of propositional variables = 4334 c number of clauses / number of variables = 5.291 7,474 c number of visible variables = 2088 c number of hidden variables = 1980 c number of propositional variables = 4068 c number of clauses / number of variables = 5.306 7,188 c number of visible variables = 2328 c number of hidden variables = 2233 c number of propositional variables = 4561 c number of clauses / number of variables = 5.371 7,7899 c number of visible variables = 2184 c number of hidden variables = 2123 c number of propositional variables = 4307 c number of clauses / number of variables = 5.428 7,9 c number of visible variables = 2244 c number of hidden variables = 2090 c number of propositional variables = 4334 c number of clauses / number of variables = 5.263 7,774 c number of visible variables = 2520 c number of hidden variables = 2563 c number of propositional variables = 5083 c number of clauses / number of variables = 5.545 8,3455 c number of visible variables = 2112 c number of hidden variables = 1507 c number of propositional variables = 3619 c number of clauses / number of variables = 6.211 8,12 c number of visible variables = 2280 c number of hidden variables = 1661 c number of propositional variables = 3941 c number of clauses / number of variables = 6.113 8,45 c number of visible variables = 1932 c number of hidden variables = 1397 c number of propositional variables = 3329 c number of clauses / number of variables = 5.966 8,78 c number of visible variables = 2520 c number of hidden variables = 2123 c number of propositional variables = 4643 c number of clauses / number of variables = 6.436 8,8546 c number of visible variables = 2616 c number of hidden variables = 2090 c number of propositional variables = 4706 c number of clauses / number of variables = 6.329 8,474 c number of visible variables = 2436 c number of hidden variables = 1980 c number of propositional variables = 4416 c number of clauses / number of variables = 6.328 8,188 c number of visible variables = 2712 c number of hidden variables = 2233 c number of propositional variables = 4945 c number of clauses / number of variables = 6.422 8,7899 c number of visible variables = 2544 c number of hidden variables = 2123 c number of propositional variables = 4667 c number of clauses / number of variables = 6.494 8,9 c number of visible variables = 2616 c number of hidden variables = 2090 c number of propositional variables = 4706 c number of clauses / number of variables = 6.330 8,774 c number of visible variables = 2928 c number of hidden variables = 2563 c number of propositional variables = 5491 c number of clauses / number of variables = 6.620 9,3455 c number of visible variables = 2112 c number of hidden variables = 1507 c number of propositional variables = 3619 c number of clauses / number of variables = 6.155 9,12 c number of visible variables = 2280 c number of hidden variables = 1661 c number of propositional variables = 3941 c number of clauses / number of variables = 6.080 9,45 c number of visible variables = 1932 c number of hidden variables = 1397 c number of propositional variables = 3329 c number of clauses / number of variables = 5.949 9,78 c number of visible variables = 2520 c number of hidden variables = 2123 c number of propositional variables = 4643 c number of clauses / number of variables = 6.376 9,8546 c number of visible variables = 2616 c number of hidden variables = 2090 c number of propositional variables = 4706 c number of clauses / number of variables = 6.316 9,474 c number of visible variables = 2436 c number of hidden variables = 1980 c number of propositional variables = 4416 c number of clauses / number of variables = 6.303 9,188 c number of visible variables = 2712 c number of hidden variables = 2233 c number of propositional variables = 4945 c number of clauses / number of variables = 6.400 9,7899 c number of visible variables = 2544 c number of hidden variables = 2123 c number of propositional variables = 4667 c number of clauses / number of variables = 6.466 9,9 c number of visible variables = 2616 c number of hidden variables = 2090 c number of propositional variables = 4706 c number of clauses / number of variables = 6.288 9,774 c number of visible variables = 2928 c number of hidden variables = 2563 c number of propositional variables = 5491 c number of clauses / number of variables = 6.586 10,3455 c number of visible variables = 2112 c number of hidden variables = 1507 c number of propositional variables = 3619 c number of clauses / number of variables = 6.122 10,12 c number of visible variables = 2280 c number of hidden variables = 1661 c number of propositional variables = 3941 c number of clauses / number of variables = 6.013 10,45 c number of visible variables = 1932 c number of hidden variables = 1397 c number of propositional variables = 3329 c number of clauses / number of variables = 5.916 10,78 c number of visible variables = 2520 c number of hidden variables = 2123 c number of propositional variables = 4643 c number of clauses / number of variables = 6.381 10,8546 c number of visible variables = 2616 c number of hidden variables = 2090 c number of propositional variables = 4706 c number of clauses / number of variables = 6.254 10,474 c number of visible variables = 2436 c number of hidden variables = 1980 c number of propositional variables = 4416 c number of clauses / number of variables = 6.299 10,188 c number of visible variables = 2712 c number of hidden variables = 2233 c number of propositional variables = 4945 c number of clauses / number of variables = 6.363 10,7899 c number of visible variables = 2544 c number of hidden variables = 2123 c number of propositional variables = 4667 c number of clauses / number of variables = 6.419 10,9 c number of visible variables = 2616 c number of hidden variables = 2090 c number of propositional variables = 4706 c number of clauses / number of variables = 6.263 10,774 c number of visible variables = 2928 c number of hidden variables = 2563 c number of propositional variables = 5491 c number of clauses / number of variables = 6.559 11,3455 c number of visible variables = 2112 c number of hidden variables = 1507 c number of propositional variables = 3619 c number of clauses / number of variables = 6.072 11,12 c number of visible variables = 2280 c number of hidden variables = 1661 c number of propositional variables = 3941 c number of clauses / number of variables = 6.078 11,45 c number of visible variables = 1932 c number of hidden variables = 1397 c number of propositional variables = 3329 c number of clauses / number of variables = 5.849 11,78 c number of visible variables = 2520 c number of hidden variables = 2123 c number of propositional variables = 4643 c number of clauses / number of variables = 6.294 11,8546 c number of visible variables = 2616 c number of hidden variables = 2090 c number of propositional variables = 4706 c number of clauses / number of variables = 6.222 11,474 c number of visible variables = 2436 c number of hidden variables = 1980 c number of propositional variables = 4416 c number of clauses / number of variables = 6.310 11,188 c number of visible variables = 2712 c number of hidden variables = 2233 c number of propositional variables = 4945 c number of clauses / number of variables = 6.359 11,7899 c number of visible variables = 2544 c number of hidden variables = 2123 c number of propositional variables = 4667 c number of clauses / number of variables = 6.392 11,9 c number of visible variables = 2616 c number of hidden variables = 2090 c number of propositional variables = 4706 c number of clauses / number of variables = 6.248 11,774 c number of visible variables = 2928 c number of hidden variables = 2563 c number of propositional variables = 5491 c number of clauses / number of variables = 6.510 12,3455 c number of visible variables = 2112 c number of hidden variables = 1507 c number of propositional variables = 3619 c number of clauses / number of variables = 6.030 12,12 c number of visible variables = 2280 c number of hidden variables = 1661 c number of propositional variables = 3941 c number of clauses / number of variables = 6.015 12,45 c number of visible variables = 1932 c number of hidden variables = 1397 c number of propositional variables = 3329 c number of clauses / number of variables = 5.845 12,78 c number of visible variables = 2520 c number of hidden variables = 2123 c number of propositional variables = 4643 c number of clauses / number of variables = 6.291 12,8546 c number of visible variables = 2616 c number of hidden variables = 2090 c number of propositional variables = 4706 c number of clauses / number of variables = 6.168 12,474 c number of visible variables = 2436 c number of hidden variables = 1980 c number of propositional variables = 4416 c number of clauses / number of variables = 6.219 12,188 c number of visible variables = 2712 c number of hidden variables = 2233 c number of propositional variables = 4945 c number of clauses / number of variables = 6.292 12,7899 c number of visible variables = 2544 c number of hidden variables = 2123 c number of propositional variables = 4667 c number of clauses / number of variables = 6.310 12,9 c number of visible variables = 2616 c number of hidden variables = 2090 c number of propositional variables = 4706 c number of clauses / number of variables = 6.197 12,774 c number of visible variables = 2928 c number of hidden variables = 2563 c number of propositional variables = 5491 c number of clauses / number of variables = 6.473 13,3455 c number of visible variables = 2112 c number of hidden variables = 1507 c number of propositional variables = 3619 c number of clauses / number of variables = 6.038 13,12 c number of visible variables = 2280 c number of hidden variables = 1661 c number of propositional variables = 3941 c number of clauses / number of variables = 5.943 13,45 c number of visible variables = 1932 c number of hidden variables = 1397 c number of propositional variables = 3329 c number of clauses / number of variables = 5.807 13,78 c number of visible variables = 2520 c number of hidden variables = 2123 c number of propositional variables = 4643 c number of clauses / number of variables = 6.257 13,8546 c number of visible variables = 2616 c number of hidden variables = 2090 c number of propositional variables = 4706 c number of clauses / number of variables = 6.164 13,474 c number of visible variables = 2436 c number of hidden variables = 1980 c number of propositional variables = 4416 c number of clauses / number of variables = 6.190 13,188 c number of visible variables = 2712 c number of hidden variables = 2233 c number of propositional variables = 4945 c number of clauses / number of variables = 6.260 13,7899 c number of visible variables = 2544 c number of hidden variables = 2123 c number of propositional variables = 4667 c number of clauses / number of variables = 6.300 13,9 c number of visible variables = 2616 c number of hidden variables = 2090 c number of propositional variables = 4706 c number of clauses / number of variables = 6.196 13,774 c number of visible variables = 2928 c number of hidden variables = 2563 c number of propositional variables = 5491 c number of clauses / number of variables = 6.453 14,3455 c number of visible variables = 2112 c number of hidden variables = 1507 c number of propositional variables = 3619 c number of clauses / number of variables = 6.039 14,12 c number of visible variables = 2280 c number of hidden variables = 1661 c number of propositional variables = 3941 c number of clauses / number of variables = 5.935 14,45 c number of visible variables = 1932 c number of hidden variables = 1397 c number of propositional variables = 3329 c number of clauses / number of variables = 5.757 14,78 c number of visible variables = 2520 c number of hidden variables = 2123 c number of propositional variables = 4643 c number of clauses / number of variables = 6.191 14,8546 c number of visible variables = 2616 c number of hidden variables = 2090 c number of propositional variables = 4706 c number of clauses / number of variables = 6.132 14,474 c number of visible variables = 2436 c number of hidden variables = 1980 c number of propositional variables = 4416 c number of clauses / number of variables = 6.092 14,188 c number of visible variables = 2712 c number of hidden variables = 2233 c number of propositional variables = 4945 c number of clauses / number of variables = 6.204 14,7899 c number of visible variables = 2544 c number of hidden variables = 2123 c number of propositional variables = 4667 c number of clauses / number of variables = 6.246 14,9 c number of visible variables = 2616 c number of hidden variables = 2090 c number of propositional variables = 4706 c number of clauses / number of variables = 6.150 14,774 c number of visible variables = 2928 c number of hidden variables = 2563 c number of propositional variables = 5491 c number of clauses / number of variables = 6.412 15,3455 c number of visible variables = 2112 c number of hidden variables = 1507 c number of propositional variables = 3619 c number of clauses / number of variables = 5.967 15,12 c number of visible variables = 2280 c number of hidden variables = 1661 c number of propositional variables = 3941 c number of clauses / number of variables = 5.895 15,45 c number of visible variables = 1932 c number of hidden variables = 1397 c number of propositional variables = 3329 c number of clauses / number of variables = 5.751 15,78 c number of visible variables = 2520 c number of hidden variables = 2123 c number of propositional variables = 4643 c number of clauses / number of variables = 6.169 15,8546 c number of visible variables = 2616 c number of hidden variables = 2090 c number of propositional variables = 4706 c number of clauses / number of variables = 6.105 15,474 c number of visible variables = 2436 c number of hidden variables = 1980 c number of propositional variables = 4416 c number of clauses / number of variables = 6.082 15,188 c number of visible variables = 2712 c number of hidden variables = 2233 c number of propositional variables = 4945 c number of clauses / number of variables = 6.181 15,7899 c number of visible variables = 2544 c number of hidden variables = 2123 c number of propositional variables = 4667 c number of clauses / number of variables = 6.208 15,9 c number of visible variables = 2616 c number of hidden variables = 2090 c number of propositional variables = 4706 c number of clauses / number of variables = 6.129 15,774 c number of visible variables = 2928 c number of hidden variables = 2563 c number of propositional variables = 5491 c number of clauses / number of variables = 6.376 16,3455 c number of visible variables = 2424 c number of hidden variables = 1507 c number of propositional variables = 3931 c number of clauses / number of variables = 7.471 16,12 c number of visible variables = 2616 c number of hidden variables = 1661 c number of propositional variables = 4277 c number of clauses / number of variables = 7.441 16,45 c number of visible variables = 2220 c number of hidden variables = 1397 c number of propositional variables = 3617 c number of clauses / number of variables = 7.229 16,78 c number of visible variables = 2880 c number of hidden variables = 2123 c number of propositional variables = 5003 c number of clauses / number of variables = 7.681 16,8546 c number of visible variables = 2988 c number of hidden variables = 2090 c number of propositional variables = 5078 c number of clauses / number of variables = 7.580 16,474 c number of visible variables = 2784 c number of hidden variables = 1980 c number of propositional variables = 4764 c number of clauses / number of variables = 7.647 16,188 c number of visible variables = 3096 c number of hidden variables = 2233 c number of propositional variables = 5329 c number of clauses / number of variables = 7.666 16,7899 c number of visible variables = 2904 c number of hidden variables = 2123 c number of propositional variables = 5027 c number of clauses / number of variables = 7.691 16,9 c number of visible variables = 2988 c number of hidden variables = 2090 c number of propositional variables = 5078 c number of clauses / number of variables = 7.602 16,774 c number of visible variables = 3336 c number of hidden variables = 2563 c number of propositional variables = 5899 c number of clauses / number of variables = 7.877 17,3455 c number of visible variables = 2424 c number of hidden variables = 1507 c number of propositional variables = 3931 c number of clauses / number of variables = 7.425 17,12 c number of visible variables = 2616 c number of hidden variables = 1661 c number of propositional variables = 4277 c number of clauses / number of variables = 7.368 17,45 c number of visible variables = 2220 c number of hidden variables = 1397 c number of propositional variables = 3617 c number of clauses / number of variables = 7.211 17,78 c number of visible variables = 2880 c number of hidden variables = 2123 c number of propositional variables = 5003 c number of clauses / number of variables = 7.640 17,8546 c number of visible variables = 2988 c number of hidden variables = 2090 c number of propositional variables = 5078 c number of clauses / number of variables = 7.533 17,474 c number of visible variables = 2784 c number of hidden variables = 1980 c number of propositional variables = 4764 c number of clauses / number of variables = 7.591 17,188 c number of visible variables = 3096 c number of hidden variables = 2233 c number of propositional variables = 5329 c number of clauses / number of variables = 7.653 17,7899 c number of visible variables = 2904 c number of hidden variables = 2123 c number of propositional variables = 5027 c number of clauses / number of variables = 7.649 17,9 c number of visible variables = 2988 c number of hidden variables = 2090 c number of propositional variables = 5078 c number of clauses / number of variables = 7.570 17,774 c number of visible variables = 3336 c number of hidden variables = 2563 c number of propositional variables = 5899 c number of clauses / number of variables = 7.856 18,3455 c number of visible variables = 2424 c number of hidden variables = 1507 c number of propositional variables = 3931 c number of clauses / number of variables = 7.354 18,12 c number of visible variables = 2616 c number of hidden variables = 1661 c number of propositional variables = 4277 c number of clauses / number of variables = 7.321 18,45 c number of visible variables = 2220 c number of hidden variables = 1397 c number of propositional variables = 3617 c number of clauses / number of variables = 7.196 18,78 c number of visible variables = 2880 c number of hidden variables = 2123 c number of propositional variables = 5003 c number of clauses / number of variables = 7.586 18,8546 c number of visible variables = 2988 c number of hidden variables = 2090 c number of propositional variables = 5078 c number of clauses / number of variables = 7.509 18,474 c number of visible variables = 2784 c number of hidden variables = 1980 c number of propositional variables = 4764 c number of clauses / number of variables = 7.550 18,188 c number of visible variables = 3096 c number of hidden variables = 2233 c number of propositional variables = 5329 c number of clauses / number of variables = 7.627 18,7899 c number of visible variables = 2904 c number of hidden variables = 2123 c number of propositional variables = 5027 c number of clauses / number of variables = 7.629 18,9 c number of visible variables = 2988 c number of hidden variables = 2090 c number of propositional variables = 5078 c number of clauses / number of variables = 7.547 18,774 c number of visible variables = 3336 c number of hidden variables = 2563 c number of propositional variables = 5899 c number of clauses / number of variables = 7.808 grid size = 6 max robots = 18 1,3455 c number of clauses = 9596 c number of clauses / number of variables = 3.577 c number of literals / number of clauses = 2.630 1,12 c number of clauses = 10299 c number of clauses / number of variables = 3.511 c number of literals / number of clauses = 2.598 1,45 c number of clauses = 8336 c number of clauses / number of variables = 3.382 c number of literals / number of clauses = 2.558 1,78 c number of clauses = 13345 c number of clauses / number of variables = 3.745 c number of literals / number of clauses = 2.611 1,8546 c number of clauses = 13284 c number of clauses / number of variables = 3.700 c number of literals / number of clauses = 2.625 1,474 c number of clauses = 12394 c number of clauses / number of variables = 3.676 c number of literals / number of clauses = 2.619 1,188 c number of clauses = 14197 c number of clauses / number of variables = 3.743 c number of literals / number of clauses = 2.633 1,7899 c number of clauses = 13748 c number of clauses / number of variables = 3.833 c number of literals / number of clauses = 2.649 1,9 c number of clauses = 13061 c number of clauses / number of variables = 3.638 c number of literals / number of clauses = 2.609 1,774 c number of clauses = 16683 c number of clauses / number of variables = 3.910 c number of literals / number of clauses = 2.652 2,3455 c number of clauses = 13101 c number of clauses / number of variables = 4.374 c number of literals / number of clauses = 2.606 2,12 c number of clauses = 14122 c number of clauses / number of variables = 4.320 c number of literals / number of clauses = 2.585 2,45 c number of clauses = 11575 c number of clauses / number of variables = 4.205 c number of literals / number of clauses = 2.557 2,78 c number of clauses = 18164 c number of clauses / number of variables = 4.630 c number of literals / number of clauses = 2.593 2,8546 c number of clauses = 18045 c number of clauses / number of variables = 4.555 c number of literals / number of clauses = 2.602 2,474 c number of clauses = 16929 c number of clauses / number of variables = 4.551 c number of literals / number of clauses = 2.594 2,188 c number of clauses = 19270 c number of clauses / number of variables = 4.613 c number of literals / number of clauses = 2.605 2,7899 c number of clauses = 18590 c number of clauses / number of variables = 4.710 c number of literals / number of clauses = 2.617 2,9 c number of clauses = 17863 c number of clauses / number of variables = 4.509 c number of literals / number of clauses = 2.588 2,774 c number of clauses = 22461 c number of clauses / number of variables = 4.804 c number of literals / number of clauses = 2.620 3,3455 c number of clauses = 13001 c number of clauses / number of variables = 4.341 c number of literals / number of clauses = 2.611 3,12 c number of clauses = 14083 c number of clauses / number of variables = 4.308 c number of literals / number of clauses = 2.587 3,45 c number of clauses = 11504 c number of clauses / number of variables = 4.179 c number of literals / number of clauses = 2.561 3,78 c number of clauses = 17993 c number of clauses / number of variables = 4.587 c number of literals / number of clauses = 2.598 3,8546 c number of clauses = 17904 c number of clauses / number of variables = 4.519 c number of literals / number of clauses = 2.606 3,474 c number of clauses = 16916 c number of clauses / number of variables = 4.547 c number of literals / number of clauses = 2.594 3,188 c number of clauses = 19183 c number of clauses / number of variables = 4.593 c number of literals / number of clauses = 2.608 3,7899 c number of clauses = 18393 c number of clauses / number of variables = 4.660 c number of literals / number of clauses = 2.623 3,9 c number of clauses = 17715 c number of clauses / number of variables = 4.471 c number of literals / number of clauses = 2.593 3,774 c number of clauses = 22275 c number of clauses / number of variables = 4.765 c number of literals / number of clauses = 2.625 4,3455 c number of clauses = 17327 c number of clauses / number of variables = 5.239 c number of literals / number of clauses = 2.660 4,12 c number of clauses = 18624 c number of clauses / number of variables = 5.166 c number of literals / number of clauses = 2.641 4,45 c number of clauses = 15341 c number of clauses / number of variables = 5.045 c number of literals / number of clauses = 2.624 4,78 c number of clauses = 23503 c number of clauses / number of variables = 5.488 c number of literals / number of clauses = 2.635 4,8546 c number of clauses = 23400 c number of clauses / number of variables = 5.399 c number of literals / number of clauses = 2.643 4,474 c number of clauses = 22015 c number of clauses / number of variables = 5.412 c number of literals / number of clauses = 2.637 4,188 c number of clauses = 24953 c number of clauses / number of variables = 5.471 c number of literals / number of clauses = 2.643 4,7899 c number of clauses = 23936 c number of clauses / number of variables = 5.557 c number of literals / number of clauses = 2.651 4,9 c number of clauses = 23221 c number of clauses / number of variables = 5.358 c number of literals / number of clauses = 2.635 4,774 c number of clauses = 28782 c number of clauses / number of variables = 5.662 c number of literals / number of clauses = 2.649 5,3455 c number of clauses = 17214 c number of clauses / number of variables = 5.205 c number of literals / number of clauses = 2.658 5,12 c number of clauses = 18553 c number of clauses / number of variables = 5.146 c number of literals / number of clauses = 2.640 5,45 c number of clauses = 15107 c number of clauses / number of variables = 4.968 c number of literals / number of clauses = 2.618 5,78 c number of clauses = 23278 c number of clauses / number of variables = 5.435 c number of literals / number of clauses = 2.631 5,8546 c number of clauses = 23204 c number of clauses / number of variables = 5.354 c number of literals / number of clauses = 2.640 5,474 c number of clauses = 21929 c number of clauses / number of variables = 5.391 c number of literals / number of clauses = 2.636 5,188 c number of clauses = 24908 c number of clauses / number of variables = 5.461 c number of literals / number of clauses = 2.642 5,7899 c number of clauses = 23781 c number of clauses / number of variables = 5.521 c number of literals / number of clauses = 2.649 5,9 c number of clauses = 23111 c number of clauses / number of variables = 5.332 c number of literals / number of clauses = 2.633 5,774 c number of clauses = 28625 c number of clauses / number of variables = 5.632 c number of literals / number of clauses = 2.647 6,3455 c number of clauses = 17004 c number of clauses / number of variables = 5.142 c number of literals / number of clauses = 2.654 6,12 c number of clauses = 18486 c number of clauses / number of variables = 5.128 c number of literals / number of clauses = 2.639 6,45 c number of clauses = 14990 c number of clauses / number of variables = 4.929 c number of literals / number of clauses = 2.615 6,78 c number of clauses = 23038 c number of clauses / number of variables = 5.379 c number of literals / number of clauses = 2.627 6,8546 c number of clauses = 22979 c number of clauses / number of variables = 5.302 c number of literals / number of clauses = 2.637 6,474 c number of clauses = 21638 c number of clauses / number of variables = 5.319 c number of literals / number of clauses = 2.631 6,188 c number of clauses = 24660 c number of clauses / number of variables = 5.407 c number of literals / number of clauses = 2.638 6,7899 c number of clauses = 23517 c number of clauses / number of variables = 5.460 c number of literals / number of clauses = 2.645 6,9 c number of clauses = 22950 c number of clauses / number of variables = 5.295 c number of literals / number of clauses = 2.631 6,774 c number of clauses = 28372 c number of clauses / number of variables = 5.582 c number of literals / number of clauses = 2.644 7,3455 c number of clauses = 17006 c number of clauses / number of variables = 5.142 c number of literals / number of clauses = 2.654 7,12 c number of clauses = 18465 c number of clauses / number of variables = 5.122 c number of literals / number of clauses = 2.638 7,45 c number of clauses = 14927 c number of clauses / number of variables = 4.909 c number of literals / number of clauses = 2.614 7,78 c number of clauses = 22843 c number of clauses / number of variables = 5.333 c number of literals / number of clauses = 2.624 7,8546 c number of clauses = 22931 c number of clauses / number of variables = 5.291 c number of literals / number of clauses = 2.636 7,474 c number of clauses = 21585 c number of clauses / number of variables = 5.306 c number of literals / number of clauses = 2.630 7,188 c number of clauses = 24496 c number of clauses / number of variables = 5.371 c number of literals / number of clauses = 2.636 7,7899 c number of clauses = 23378 c number of clauses / number of variables = 5.428 c number of literals / number of clauses = 2.643 7,9 c number of clauses = 22808 c number of clauses / number of variables = 5.263 c number of literals / number of clauses = 2.628 7,774 c number of clauses = 28187 c number of clauses / number of variables = 5.545 c number of literals / number of clauses = 2.641 8,3455 c number of clauses = 22477 c number of clauses / number of variables = 6.211 c number of literals / number of clauses = 2.850 8,12 c number of clauses = 24092 c number of clauses / number of variables = 6.113 c number of literals / number of clauses = 2.822 8,45 c number of clauses = 19862 c number of clauses / number of variables = 5.966 c number of literals / number of clauses = 2.809 8,78 c number of clauses = 29884 c number of clauses / number of variables = 6.436 c number of literals / number of clauses = 2.777 8,8546 c number of clauses = 29786 c number of clauses / number of variables = 6.329 c number of literals / number of clauses = 2.790 8,474 c number of clauses = 27946 c number of clauses / number of variables = 6.328 c number of literals / number of clauses = 2.781 8,188 c number of clauses = 31755 c number of clauses / number of variables = 6.422 c number of literals / number of clauses = 2.786 8,7899 c number of clauses = 30306 c number of clauses / number of variables = 6.494 c number of literals / number of clauses = 2.787 8,9 c number of clauses = 29790 c number of clauses / number of variables = 6.330 c number of literals / number of clauses = 2.793 8,774 c number of clauses = 36352 c number of clauses / number of variables = 6.620 c number of literals / number of clauses = 2.775 9,3455 c number of clauses = 22275 c number of clauses / number of variables = 6.155 c number of literals / number of clauses = 2.840 9,12 c number of clauses = 23962 c number of clauses / number of variables = 6.080 c number of literals / number of clauses = 2.816 9,45 c number of clauses = 19803 c number of clauses / number of variables = 5.949 c number of literals / number of clauses = 2.805 9,78 c number of clauses = 29604 c number of clauses / number of variables = 6.376 c number of literals / number of clauses = 2.766 9,8546 c number of clauses = 29724 c number of clauses / number of variables = 6.316 c number of literals / number of clauses = 2.788 9,474 c number of clauses = 27833 c number of clauses / number of variables = 6.303 c number of literals / number of clauses = 2.776 9,188 c number of clauses = 31649 c number of clauses / number of variables = 6.400 c number of literals / number of clauses = 2.782 9,7899 c number of clauses = 30177 c number of clauses / number of variables = 6.466 c number of literals / number of clauses = 2.782 9,9 c number of clauses = 29593 c number of clauses / number of variables = 6.288 c number of literals / number of clauses = 2.785 9,774 c number of clauses = 36163 c number of clauses / number of variables = 6.586 c number of literals / number of clauses = 2.769 10,3455 c number of clauses = 22157 c number of clauses / number of variables = 6.122 c number of literals / number of clauses = 2.834 10,12 c number of clauses = 23699 c number of clauses / number of variables = 6.013 c number of literals / number of clauses = 2.803 10,45 c number of clauses = 19696 c number of clauses / number of variables = 5.916 c number of literals / number of clauses = 2.799 10,78 c number of clauses = 29626 c number of clauses / number of variables = 6.381 c number of literals / number of clauses = 2.766 10,8546 c number of clauses = 29431 c number of clauses / number of variables = 6.254 c number of literals / number of clauses = 2.776 10,474 c number of clauses = 27818 c number of clauses / number of variables = 6.299 c number of literals / number of clauses = 2.775 10,188 c number of clauses = 31466 c number of clauses / number of variables = 6.363 c number of literals / number of clauses = 2.775 10,7899 c number of clauses = 29959 c number of clauses / number of variables = 6.419 c number of literals / number of clauses = 2.773 10,9 c number of clauses = 29476 c number of clauses / number of variables = 6.263 c number of literals / number of clauses = 2.781 10,774 c number of clauses = 36014 c number of clauses / number of variables = 6.559 c number of literals / number of clauses = 2.764 11,3455 c number of clauses = 21975 c number of clauses / number of variables = 6.072 c number of literals / number of clauses = 2.824 11,12 c number of clauses = 23954 c number of clauses / number of variables = 6.078 c number of literals / number of clauses = 2.815 11,45 c number of clauses = 19472 c number of clauses / number of variables = 5.849 c number of literals / number of clauses = 2.785 11,78 c number of clauses = 29223 c number of clauses / number of variables = 6.294 c number of literals / number of clauses = 2.749 11,8546 c number of clauses = 29281 c number of clauses / number of variables = 6.222 c number of literals / number of clauses = 2.770 11,474 c number of clauses = 27867 c number of clauses / number of variables = 6.310 c number of literals / number of clauses = 2.777 11,188 c number of clauses = 31446 c number of clauses / number of variables = 6.359 c number of literals / number of clauses = 2.774 11,7899 c number of clauses = 29832 c number of clauses / number of variables = 6.392 c number of literals / number of clauses = 2.768 11,9 c number of clauses = 29404 c number of clauses / number of variables = 6.248 c number of literals / number of clauses = 2.778 11,774 c number of clauses = 35749 c number of clauses / number of variables = 6.510 c number of literals / number of clauses = 2.755 12,3455 c number of clauses = 21821 c number of clauses / number of variables = 6.030 c number of literals / number of clauses = 2.816 12,12 c number of clauses = 23705 c number of clauses / number of variables = 6.015 c number of literals / number of clauses = 2.803 12,45 c number of clauses = 19458 c number of clauses / number of variables = 5.845 c number of literals / number of clauses = 2.784 12,78 c number of clauses = 29210 c number of clauses / number of variables = 6.291 c number of literals / number of clauses = 2.749 12,8546 c number of clauses = 29028 c number of clauses / number of variables = 6.168 c number of literals / number of clauses = 2.759 12,474 c number of clauses = 27462 c number of clauses / number of variables = 6.219 c number of literals / number of clauses = 2.759 12,188 c number of clauses = 31116 c number of clauses / number of variables = 6.292 c number of literals / number of clauses = 2.761 12,7899 c number of clauses = 29447 c number of clauses / number of variables = 6.310 c number of literals / number of clauses = 2.751 12,9 c number of clauses = 29165 c number of clauses / number of variables = 6.197 c number of literals / number of clauses = 2.768 12,774 c number of clauses = 35544 c number of clauses / number of variables = 6.473 c number of literals / number of clauses = 2.748 13,3455 c number of clauses = 21850 c number of clauses / number of variables = 6.038 c number of literals / number of clauses = 2.817 13,12 c number of clauses = 23423 c number of clauses / number of variables = 5.943 c number of literals / number of clauses = 2.788 13,45 c number of clauses = 19333 c number of clauses / number of variables = 5.807 c number of literals / number of clauses = 2.776 13,78 c number of clauses = 29052 c number of clauses / number of variables = 6.257 c number of literals / number of clauses = 2.742 13,8546 c number of clauses = 29008 c number of clauses / number of variables = 6.164 c number of literals / number of clauses = 2.758 13,474 c number of clauses = 27335 c number of clauses / number of variables = 6.190 c number of literals / number of clauses = 2.754 13,188 c number of clauses = 30954 c number of clauses / number of variables = 6.260 c number of literals / number of clauses = 2.755 13,7899 c number of clauses = 29404 c number of clauses / number of variables = 6.300 c number of literals / number of clauses = 2.750 13,9 c number of clauses = 29157 c number of clauses / number of variables = 6.196 c number of literals / number of clauses = 2.767 13,774 c number of clauses = 35434 c number of clauses / number of variables = 6.453 c number of literals / number of clauses = 2.744 14,3455 c number of clauses = 21854 c number of clauses / number of variables = 6.039 c number of literals / number of clauses = 2.817 14,12 c number of clauses = 23388 c number of clauses / number of variables = 5.935 c number of literals / number of clauses = 2.787 14,45 c number of clauses = 19165 c number of clauses / number of variables = 5.757 c number of literals / number of clauses = 2.765 14,78 c number of clauses = 28745 c number of clauses / number of variables = 6.191 c number of literals / number of clauses = 2.729 14,8546 c number of clauses = 28857 c number of clauses / number of variables = 6.132 c number of literals / number of clauses = 2.751 14,474 c number of clauses = 26901 c number of clauses / number of variables = 6.092 c number of literals / number of clauses = 2.734 14,188 c number of clauses = 30680 c number of clauses / number of variables = 6.204 c number of literals / number of clauses = 2.743 14,7899 c number of clauses = 29151 c number of clauses / number of variables = 6.246 c number of literals / number of clauses = 2.739 14,9 c number of clauses = 28940 c number of clauses / number of variables = 6.150 c number of literals / number of clauses = 2.758 14,774 c number of clauses = 35209 c number of clauses / number of variables = 6.412 c number of literals / number of clauses = 2.736 15,3455 c number of clauses = 21594 c number of clauses / number of variables = 5.967 c number of literals / number of clauses = 2.803 15,12 c number of clauses = 23233 c number of clauses / number of variables = 5.895 c number of literals / number of clauses = 2.779 15,45 c number of clauses = 19144 c number of clauses / number of variables = 5.751 c number of literals / number of clauses = 2.764 15,78 c number of clauses = 28643 c number of clauses / number of variables = 6.169 c number of literals / number of clauses = 2.724 15,8546 c number of clauses = 28731 c number of clauses / number of variables = 6.105 c number of literals / number of clauses = 2.746 15,474 c number of clauses = 26856 c number of clauses / number of variables = 6.082 c number of literals / number of clauses = 2.731 15,188 c number of clauses = 30564 c number of clauses / number of variables = 6.181 c number of literals / number of clauses = 2.739 15,7899 c number of clauses = 28972 c number of clauses / number of variables = 6.208 c number of literals / number of clauses = 2.731 15,9 c number of clauses = 28842 c number of clauses / number of variables = 6.129 c number of literals / number of clauses = 2.754 15,774 c number of clauses = 35011 c number of clauses / number of variables = 6.376 c number of literals / number of clauses = 2.728 16,3455 c number of clauses = 29367 c number of clauses / number of variables = 7.471 c number of literals / number of clauses = 3.232 16,12 c number of clauses = 31827 c number of clauses / number of variables = 7.441 c number of literals / number of clauses = 3.214 16,45 c number of clauses = 26149 c number of clauses / number of variables = 7.229 c number of literals / number of clauses = 3.193 16,78 c number of clauses = 38429 c number of clauses / number of variables = 7.681 c number of literals / number of clauses = 3.098 16,8546 c number of clauses = 38489 c number of clauses / number of variables = 7.580 c number of literals / number of clauses = 3.124 16,474 c number of clauses = 36430 c number of clauses / number of variables = 7.647 c number of literals / number of clauses = 3.129 16,188 c number of clauses = 40851 c number of clauses / number of variables = 7.666 c number of literals / number of clauses = 3.109 16,7899 c number of clauses = 38663 c number of clauses / number of variables = 7.691 c number of literals / number of clauses = 3.091 16,9 c number of clauses = 38602 c number of clauses / number of variables = 7.602 c number of literals / number of clauses = 3.138 16,774 c number of clauses = 46464 c number of clauses / number of variables = 7.877 c number of literals / number of clauses = 3.078 17,3455 c number of clauses = 29189 c number of clauses / number of variables = 7.425 c number of literals / number of clauses = 3.221 17,12 c number of clauses = 31515 c number of clauses / number of variables = 7.368 c number of literals / number of clauses = 3.197 17,45 c number of clauses = 26083 c number of clauses / number of variables = 7.211 c number of literals / number of clauses = 3.189 17,78 c number of clauses = 38222 c number of clauses / number of variables = 7.640 c number of literals / number of clauses = 3.087 17,8546 c number of clauses = 38254 c number of clauses / number of variables = 7.533 c number of literals / number of clauses = 3.113 17,474 c number of clauses = 36164 c number of clauses / number of variables = 7.591 c number of literals / number of clauses = 3.115 17,188 c number of clauses = 40782 c number of clauses / number of variables = 7.653 c number of literals / number of clauses = 3.106 17,7899 c number of clauses = 38451 c number of clauses / number of variables = 7.649 c number of literals / number of clauses = 3.081 17,9 c number of clauses = 38442 c number of clauses / number of variables = 7.570 c number of literals / number of clauses = 3.130 17,774 c number of clauses = 46343 c number of clauses / number of variables = 7.856 c number of literals / number of clauses = 3.073 18,3455 c number of clauses = 28910 c number of clauses / number of variables = 7.354 c number of literals / number of clauses = 3.204 18,12 c number of clauses = 31314 c number of clauses / number of variables = 7.321 c number of literals / number of clauses = 3.185 18,45 c number of clauses = 26027 c number of clauses / number of variables = 7.196 c number of literals / number of clauses = 3.185 18,78 c number of clauses = 37955 c number of clauses / number of variables = 7.586 c number of literals / number of clauses = 3.074 18,8546 c number of clauses = 38131 c number of clauses / number of variables = 7.509 c number of literals / number of clauses = 3.107 18,474 c number of clauses = 35966 c number of clauses / number of variables = 7.550 c number of literals / number of clauses = 3.104 18,188 c number of clauses = 40646 c number of clauses / number of variables = 7.627 c number of literals / number of clauses = 3.100 18,7899 c number of clauses = 38353 c number of clauses / number of variables = 7.629 c number of literals / number of clauses = 3.076 18,9 c number of clauses = 38323 c number of clauses / number of variables = 7.547 c number of literals / number of clauses = 3.124 18,774 c number of clauses = 46057 c number of clauses / number of variables = 7.808 c number of literals / number of clauses = 3.061