grid size = 4 max robots = 8 obstacles = 0.2 3455 ./gridgen_reLOC --x-size=4 --y-size=4 --N-robots=1 --obstacle-probability=0.2 --seed=3455 --cnf-level=8 --cnf-file=grid_4x4_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 = 88 Produced CNF clauses = 807 Search steps = 0 Wall clock TIME (seconds) = 0.004 CPU/machine TIME (seconds) = 0.000 ] ] 12 ./gridgen_reLOC --x-size=4 --y-size=4 --N-robots=1 --obstacle-probability=0.2 --seed=12 --cnf-level=8 --cnf-file=grid_4x4_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 = 96 Produced CNF clauses = 656 Search steps = 0 Wall clock TIME (seconds) = 0.002 CPU/machine TIME (seconds) = 0.000 ] ] 45 ./gridgen_reLOC --x-size=4 --y-size=4 --N-robots=1 --obstacle-probability=0.2 --seed=45 --cnf-level=8 --cnf-file=grid_4x4_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 = 104 Produced CNF clauses = 1103 Search steps = 0 Wall clock TIME (seconds) = 0.005 CPU/machine TIME (seconds) = 0.000 ] ] 78 ./gridgen_reLOC --x-size=4 --y-size=4 --N-robots=1 --obstacle-probability=0.2 --seed=78 --cnf-level=8 --cnf-file=grid_4x4_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 = 104 Produced CNF clauses = 946 Search steps = 0 Wall clock TIME (seconds) = 0.004 CPU/machine TIME (seconds) = 0.000 ] ] 8546 ./gridgen_reLOC --x-size=4 --y-size=4 --N-robots=1 --obstacle-probability=0.2 --seed=8546 --cnf-level=8 --cnf-file=grid_4x4_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 = 96 Produced CNF clauses = 845 Search steps = 0 Wall clock TIME (seconds) = 0.003 CPU/machine TIME (seconds) = 0.000 ] ] 474 ./gridgen_reLOC --x-size=4 --y-size=4 --N-robots=1 --obstacle-probability=0.2 --seed=474 --cnf-level=8 --cnf-file=grid_4x4_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 = 96 Produced CNF clauses = 835 Search steps = 0 Wall clock TIME (seconds) = 0.003 CPU/machine TIME (seconds) = 0.000 ] ] 188 ./gridgen_reLOC --x-size=4 --y-size=4 --N-robots=1 --obstacle-probability=0.2 --seed=188 --cnf-level=8 --cnf-file=grid_4x4_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 = 120 Produced CNF clauses = 1438 Search steps = 0 Wall clock TIME (seconds) = 0.006 CPU/machine TIME (seconds) = 0.000 ] ] 7899 ./gridgen_reLOC --x-size=4 --y-size=4 --N-robots=1 --obstacle-probability=0.2 --seed=7899 --cnf-level=8 --cnf-file=grid_4x4_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 = 112 Produced CNF clauses = 1176 Search steps = 0 Wall clock TIME (seconds) = 0.005 CPU/machine TIME (seconds) = 0.000 ] ] 9 ./gridgen_reLOC --x-size=4 --y-size=4 --N-robots=1 --obstacle-probability=0.2 --seed=9 --cnf-level=8 --cnf-file=grid_4x4_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 = 104 Produced CNF clauses = 1006 Search steps = 0 Wall clock TIME (seconds) = 0.004 CPU/machine TIME (seconds) = 0.000 ] ] 774 ./gridgen_reLOC --x-size=4 --y-size=4 --N-robots=1 --obstacle-probability=0.2 --seed=774 --cnf-level=8 --cnf-file=grid_4x4_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 = 120 Produced CNF clauses = 1296 Search steps = 0 Wall clock TIME (seconds) = 0.005 CPU/machine TIME (seconds) = 0.000 ] ] 3455 ./gridgen_reLOC --x-size=4 --y-size=4 --N-robots=2 --obstacle-probability=0.2 --seed=3455 --cnf-level=8 --cnf-file=grid_4x4_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 = 176 Produced CNF clauses = 1643 Search steps = 0 Wall clock TIME (seconds) = 0.009 CPU/machine TIME (seconds) = 0.000 ] ] 12 ./gridgen_reLOC --x-size=4 --y-size=4 --N-robots=2 --obstacle-probability=0.2 --seed=12 --cnf-level=8 --cnf-file=grid_4x4_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 = 192 Produced CNF clauses = 1543 Search steps = 0 Wall clock TIME (seconds) = 0.005 CPU/machine TIME (seconds) = 0.000 ] ] 45 ./gridgen_reLOC --x-size=4 --y-size=4 --N-robots=2 --obstacle-probability=0.2 --seed=45 --cnf-level=8 --cnf-file=grid_4x4_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 = 208 Produced CNF clauses = 1982 Search steps = 0 Wall clock TIME (seconds) = 0.008 CPU/machine TIME (seconds) = 0.000 ] ] 78 ./gridgen_reLOC --x-size=4 --y-size=4 --N-robots=2 --obstacle-probability=0.2 --seed=78 --cnf-level=8 --cnf-file=grid_4x4_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 = 208 Produced CNF clauses = 1964 Search steps = 0 Wall clock TIME (seconds) = 0.008 CPU/machine TIME (seconds) = 0.000 ] ] 8546 ./gridgen_reLOC --x-size=4 --y-size=4 --N-robots=2 --obstacle-probability=0.2 --seed=8546 --cnf-level=8 --cnf-file=grid_4x4_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 = 192 Produced CNF clauses = 1878 Search steps = 0 Wall clock TIME (seconds) = 0.009 CPU/machine TIME (seconds) = 0.000 ] ] 474 ./gridgen_reLOC --x-size=4 --y-size=4 --N-robots=2 --obstacle-probability=0.2 --seed=474 --cnf-level=8 --cnf-file=grid_4x4_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 = 192 Produced CNF clauses = 1706 Search steps = 0 Wall clock TIME (seconds) = 0.007 CPU/machine TIME (seconds) = 0.000 ] ] 188 ./gridgen_reLOC --x-size=4 --y-size=4 --N-robots=2 --obstacle-probability=0.2 --seed=188 --cnf-level=8 --cnf-file=grid_4x4_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 = 240 Produced CNF clauses = 2866 Search steps = 0 Wall clock TIME (seconds) = 0.014 CPU/machine TIME (seconds) = 0.000 ] ] 7899 ./gridgen_reLOC --x-size=4 --y-size=4 --N-robots=2 --obstacle-probability=0.2 --seed=7899 --cnf-level=8 --cnf-file=grid_4x4_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 = 224 Produced CNF clauses = 2435 Search steps = 0 Wall clock TIME (seconds) = 0.011 CPU/machine TIME (seconds) = 0.010 ] ] 9 ./gridgen_reLOC --x-size=4 --y-size=4 --N-robots=2 --obstacle-probability=0.2 --seed=9 --cnf-level=8 --cnf-file=grid_4x4_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 = 208 Produced CNF clauses = 2064 Search steps = 0 Wall clock TIME (seconds) = 0.009 CPU/machine TIME (seconds) = 0.000 ] ] 774 ./gridgen_reLOC --x-size=4 --y-size=4 --N-robots=2 --obstacle-probability=0.2 --seed=774 --cnf-level=8 --cnf-file=grid_4x4_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 = 240 Produced CNF clauses = 2899 Search steps = 0 Wall clock TIME (seconds) = 0.015 CPU/machine TIME (seconds) = 0.010 ] ] 3455 ./gridgen_reLOC --x-size=4 --y-size=4 --N-robots=3 --obstacle-probability=0.2 --seed=3455 --cnf-level=8 --cnf-file=grid_4x4_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 = 264 Produced CNF clauses = 2569 Search steps = 0 Wall clock TIME (seconds) = 0.015 CPU/machine TIME (seconds) = 0.010 ] ] 12 ./gridgen_reLOC --x-size=4 --y-size=4 --N-robots=3 --obstacle-probability=0.2 --seed=12 --cnf-level=8 --cnf-file=grid_4x4_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 = 288 Produced CNF clauses = 2386 Search steps = 0 Wall clock TIME (seconds) = 0.007 CPU/machine TIME (seconds) = 0.000 ] ] 45 ./gridgen_reLOC --x-size=4 --y-size=4 --N-robots=3 --obstacle-probability=0.2 --seed=45 --cnf-level=8 --cnf-file=grid_4x4_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 = 312 Produced CNF clauses = 3255 Search steps = 0 Wall clock TIME (seconds) = 0.017 CPU/machine TIME (seconds) = 0.010 ] ] 78 ./gridgen_reLOC --x-size=4 --y-size=4 --N-robots=3 --obstacle-probability=0.2 --seed=78 --cnf-level=8 --cnf-file=grid_4x4_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 = 312 Produced CNF clauses = 3299 Search steps = 0 Wall clock TIME (seconds) = 0.018 CPU/machine TIME (seconds) = 0.010 ] ] 8546 ./gridgen_reLOC --x-size=4 --y-size=4 --N-robots=3 --obstacle-probability=0.2 --seed=8546 --cnf-level=8 --cnf-file=grid_4x4_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 = 288 Produced CNF clauses = 2908 Search steps = 0 Wall clock TIME (seconds) = 0.016 CPU/machine TIME (seconds) = 0.010 ] ] 474 ./gridgen_reLOC --x-size=4 --y-size=4 --N-robots=3 --obstacle-probability=0.2 --seed=474 --cnf-level=8 --cnf-file=grid_4x4_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 = 288 Produced CNF clauses = 3032 Search steps = 0 Wall clock TIME (seconds) = 0.018 CPU/machine TIME (seconds) = 0.010 ] ] 188 ./gridgen_reLOC --x-size=4 --y-size=4 --N-robots=3 --obstacle-probability=0.2 --seed=188 --cnf-level=8 --cnf-file=grid_4x4_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 = 360 Produced CNF clauses = 4587 Search steps = 0 Wall clock TIME (seconds) = 0.028 CPU/machine TIME (seconds) = 0.020 ] ] 7899 ./gridgen_reLOC --x-size=4 --y-size=4 --N-robots=3 --obstacle-probability=0.2 --seed=7899 --cnf-level=8 --cnf-file=grid_4x4_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 = 336 Produced CNF clauses = 4033 Search steps = 0 Wall clock TIME (seconds) = 0.025 CPU/machine TIME (seconds) = 0.020 ] ] 9 ./gridgen_reLOC --x-size=4 --y-size=4 --N-robots=3 --obstacle-probability=0.2 --seed=9 --cnf-level=8 --cnf-file=grid_4x4_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 = 312 Produced CNF clauses = 3473 Search steps = 0 Wall clock TIME (seconds) = 0.021 CPU/machine TIME (seconds) = 0.010 ] ] 774 ./gridgen_reLOC --x-size=4 --y-size=4 --N-robots=3 --obstacle-probability=0.2 --seed=774 --cnf-level=8 --cnf-file=grid_4x4_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 = 360 Produced CNF clauses = 4506 Search steps = 0 Wall clock TIME (seconds) = 0.027 CPU/machine TIME (seconds) = 0.020 ] ] 3455 ./gridgen_reLOC --x-size=4 --y-size=4 --N-robots=4 --obstacle-probability=0.2 --seed=3455 --cnf-level=8 --cnf-file=grid_4x4_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 = 352 Produced CNF clauses = 3654 Search steps = 0 Wall clock TIME (seconds) = 0.024 CPU/machine TIME (seconds) = 0.020 ] ] 12 ./gridgen_reLOC --x-size=4 --y-size=4 --N-robots=4 --obstacle-probability=0.2 --seed=12 --cnf-level=8 --cnf-file=grid_4x4_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 = 384 Produced CNF clauses = 3704 Search steps = 0 Wall clock TIME (seconds) = 0.016 CPU/machine TIME (seconds) = 0.010 ] ] 45 ./gridgen_reLOC --x-size=4 --y-size=4 --N-robots=4 --obstacle-probability=0.2 --seed=45 --cnf-level=8 --cnf-file=grid_4x4_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 = 416 Produced CNF clauses = 4562 Search steps = 0 Wall clock TIME (seconds) = 0.026 CPU/machine TIME (seconds) = 0.020 ] ] 78 ./gridgen_reLOC --x-size=4 --y-size=4 --N-robots=4 --obstacle-probability=0.2 --seed=78 --cnf-level=8 --cnf-file=grid_4x4_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 = 416 Produced CNF clauses = 4478 Search steps = 0 Wall clock TIME (seconds) = 0.024 CPU/machine TIME (seconds) = 0.020 ] ] 8546 ./gridgen_reLOC --x-size=4 --y-size=4 --N-robots=4 --obstacle-probability=0.2 --seed=8546 --cnf-level=8 --cnf-file=grid_4x4_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 = 384 Produced CNF clauses = 4057 Search steps = 0 Wall clock TIME (seconds) = 0.024 CPU/machine TIME (seconds) = 0.020 ] ] 474 ./gridgen_reLOC --x-size=4 --y-size=4 --N-robots=4 --obstacle-probability=0.2 --seed=474 --cnf-level=8 --cnf-file=grid_4x4_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 = 384 Produced CNF clauses = 3982 Search steps = 0 Wall clock TIME (seconds) = 0.023 CPU/machine TIME (seconds) = 0.020 ] ] 188 ./gridgen_reLOC --x-size=4 --y-size=4 --N-robots=4 --obstacle-probability=0.2 --seed=188 --cnf-level=8 --cnf-file=grid_4x4_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 = 480 Produced CNF clauses = 6357 Search steps = 0 Wall clock TIME (seconds) = 0.043 CPU/machine TIME (seconds) = 0.040 ] ] 7899 ./gridgen_reLOC --x-size=4 --y-size=4 --N-robots=4 --obstacle-probability=0.2 --seed=7899 --cnf-level=8 --cnf-file=grid_4x4_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 = 448 Produced CNF clauses = 5514 Search steps = 0 Wall clock TIME (seconds) = 0.035 CPU/machine TIME (seconds) = 0.030 ] ] 9 ./gridgen_reLOC --x-size=4 --y-size=4 --N-robots=4 --obstacle-probability=0.2 --seed=9 --cnf-level=8 --cnf-file=grid_4x4_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 = 416 Produced CNF clauses = 4921 Search steps = 0 Wall clock TIME (seconds) = 0.033 CPU/machine TIME (seconds) = 0.020 ] ] 774 ./gridgen_reLOC --x-size=4 --y-size=4 --N-robots=4 --obstacle-probability=0.2 --seed=774 --cnf-level=8 --cnf-file=grid_4x4_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 = 480 Produced CNF clauses = 6258 Search steps = 0 Wall clock TIME (seconds) = 0.040 CPU/machine TIME (seconds) = 0.040 ] ] 3455 ./gridgen_reLOC --x-size=4 --y-size=4 --N-robots=5 --obstacle-probability=0.2 --seed=3455 --cnf-level=8 --cnf-file=grid_4x4_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 = 440 Produced CNF clauses = 4701 Search steps = 0 Wall clock TIME (seconds) = 0.036 CPU/machine TIME (seconds) = 0.030 ] ] 12 ./gridgen_reLOC --x-size=4 --y-size=4 --N-robots=5 --obstacle-probability=0.2 --seed=12 --cnf-level=8 --cnf-file=grid_4x4_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 = 480 Produced CNF clauses = 4658 Search steps = 0 Wall clock TIME (seconds) = 0.020 CPU/machine TIME (seconds) = 0.020 ] ] 45 ./gridgen_reLOC --x-size=4 --y-size=4 --N-robots=5 --obstacle-probability=0.2 --seed=45 --cnf-level=8 --cnf-file=grid_4x4_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 = 520 Produced CNF clauses = 6047 Search steps = 0 Wall clock TIME (seconds) = 0.044 CPU/machine TIME (seconds) = 0.040 ] ] 78 ./gridgen_reLOC --x-size=4 --y-size=4 --N-robots=5 --obstacle-probability=0.2 --seed=78 --cnf-level=8 --cnf-file=grid_4x4_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 = 520 Produced CNF clauses = 5592 Search steps = 0 Wall clock TIME (seconds) = 0.031 CPU/machine TIME (seconds) = 0.030 ] ] 8546 ./gridgen_reLOC --x-size=4 --y-size=4 --N-robots=5 --obstacle-probability=0.2 --seed=8546 --cnf-level=8 --cnf-file=grid_4x4_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 = 480 Produced CNF clauses = 5228 Search steps = 0 Wall clock TIME (seconds) = 0.037 CPU/machine TIME (seconds) = 0.030 ] ] 474 ./gridgen_reLOC --x-size=4 --y-size=4 --N-robots=5 --obstacle-probability=0.2 --seed=474 --cnf-level=8 --cnf-file=grid_4x4_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 = 480 Produced CNF clauses = 5342 Search steps = 0 Wall clock TIME (seconds) = 0.040 CPU/machine TIME (seconds) = 0.030 ] ] 188 ./gridgen_reLOC --x-size=4 --y-size=4 --N-robots=5 --obstacle-probability=0.2 --seed=188 --cnf-level=8 --cnf-file=grid_4x4_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 = 600 Produced CNF clauses = 8076 Search steps = 0 Wall clock TIME (seconds) = 0.062 CPU/machine TIME (seconds) = 0.060 ] ] 7899 ./gridgen_reLOC --x-size=4 --y-size=4 --N-robots=5 --obstacle-probability=0.2 --seed=7899 --cnf-level=8 --cnf-file=grid_4x4_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 = 560 Produced CNF clauses = 7266 Search steps = 0 Wall clock TIME (seconds) = 0.060 CPU/machine TIME (seconds) = 0.060 ] ] 9 ./gridgen_reLOC --x-size=4 --y-size=4 --N-robots=5 --obstacle-probability=0.2 --seed=9 --cnf-level=8 --cnf-file=grid_4x4_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 = 520 Produced CNF clauses = 6186 Search steps = 0 Wall clock TIME (seconds) = 0.047 CPU/machine TIME (seconds) = 0.040 ] ] 774 ./gridgen_reLOC --x-size=4 --y-size=4 --N-robots=5 --obstacle-probability=0.2 --seed=774 --cnf-level=8 --cnf-file=grid_4x4_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 = 600 Produced CNF clauses = 8210 Search steps = 0 Wall clock TIME (seconds) = 0.066 CPU/machine TIME (seconds) = 0.060 ] ] 3455 ./gridgen_reLOC --x-size=4 --y-size=4 --N-robots=6 --obstacle-probability=0.2 --seed=3455 --cnf-level=8 --cnf-file=grid_4x4_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 = 528 Produced CNF clauses = 5913 Search steps = 0 Wall clock TIME (seconds) = 0.048 CPU/machine TIME (seconds) = 0.040 ] ] 12 ./gridgen_reLOC --x-size=4 --y-size=4 --N-robots=6 --obstacle-probability=0.2 --seed=12 --cnf-level=8 --cnf-file=grid_4x4_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 = 576 Produced CNF clauses = 5899 Search steps = 0 Wall clock TIME (seconds) = 0.027 CPU/machine TIME (seconds) = 0.020 ] ] 45 ./gridgen_reLOC --x-size=4 --y-size=4 --N-robots=6 --obstacle-probability=0.2 --seed=45 --cnf-level=8 --cnf-file=grid_4x4_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 = 624 Produced CNF clauses = 7565 Search steps = 0 Wall clock TIME (seconds) = 0.057 CPU/machine TIME (seconds) = 0.050 ] ] 78 ./gridgen_reLOC --x-size=4 --y-size=4 --N-robots=6 --obstacle-probability=0.2 --seed=78 --cnf-level=8 --cnf-file=grid_4x4_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 = 624 Produced CNF clauses = 7200 Search steps = 0 Wall clock TIME (seconds) = 0.046 CPU/machine TIME (seconds) = 0.030 ] ] 8546 ./gridgen_reLOC --x-size=4 --y-size=4 --N-robots=6 --obstacle-probability=0.2 --seed=8546 --cnf-level=8 --cnf-file=grid_4x4_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 = 576 Produced CNF clauses = 6730 Search steps = 0 Wall clock TIME (seconds) = 0.051 CPU/machine TIME (seconds) = 0.050 ] ] 474 ./gridgen_reLOC --x-size=4 --y-size=4 --N-robots=6 --obstacle-probability=0.2 --seed=474 --cnf-level=8 --cnf-file=grid_4x4_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 = 576 Produced CNF clauses = 6767 Search steps = 0 Wall clock TIME (seconds) = 0.053 CPU/machine TIME (seconds) = 0.050 ] ] 188 ./gridgen_reLOC --x-size=4 --y-size=4 --N-robots=6 --obstacle-probability=0.2 --seed=188 --cnf-level=8 --cnf-file=grid_4x4_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 = 720 Produced CNF clauses = 10269 Search steps = 0 Wall clock TIME (seconds) = 0.090 CPU/machine TIME (seconds) = 0.080 ] ] 7899 ./gridgen_reLOC --x-size=4 --y-size=4 --N-robots=6 --obstacle-probability=0.2 --seed=7899 --cnf-level=8 --cnf-file=grid_4x4_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 = 672 Produced CNF clauses = 8984 Search steps = 0 Wall clock TIME (seconds) = 0.075 CPU/machine TIME (seconds) = 0.070 ] ] 9 ./gridgen_reLOC --x-size=4 --y-size=4 --N-robots=6 --obstacle-probability=0.2 --seed=9 --cnf-level=8 --cnf-file=grid_4x4_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 = 624 Produced CNF clauses = 7915 Search steps = 0 Wall clock TIME (seconds) = 0.067 CPU/machine TIME (seconds) = 0.060 ] ] 774 ./gridgen_reLOC --x-size=4 --y-size=4 --N-robots=6 --obstacle-probability=0.2 --seed=774 --cnf-level=8 --cnf-file=grid_4x4_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 = 720 Produced CNF clauses = 10129 Search steps = 0 Wall clock TIME (seconds) = 0.084 CPU/machine TIME (seconds) = 0.080 ] ] 3455 ./gridgen_reLOC --x-size=4 --y-size=4 --N-robots=7 --obstacle-probability=0.2 --seed=3455 --cnf-level=8 --cnf-file=grid_4x4_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 = 616 Produced CNF clauses = 7182 Search steps = 0 Wall clock TIME (seconds) = 0.059 CPU/machine TIME (seconds) = 0.060 ] ] 12 ./gridgen_reLOC --x-size=4 --y-size=4 --N-robots=7 --obstacle-probability=0.2 --seed=12 --cnf-level=8 --cnf-file=grid_4x4_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 = 672 Produced CNF clauses = 7113 Search steps = 0 Wall clock TIME (seconds) = 0.029 CPU/machine TIME (seconds) = 0.020 ] ] 45 ./gridgen_reLOC --x-size=4 --y-size=4 --N-robots=7 --obstacle-probability=0.2 --seed=45 --cnf-level=8 --cnf-file=grid_4x4_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 = 728 Produced CNF clauses = 9345 Search steps = 0 Wall clock TIME (seconds) = 0.076 CPU/machine TIME (seconds) = 0.070 ] ] 78 ./gridgen_reLOC --x-size=4 --y-size=4 --N-robots=7 --obstacle-probability=0.2 --seed=78 --cnf-level=8 --cnf-file=grid_4x4_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 = 728 Produced CNF clauses = 9028 Search steps = 0 Wall clock TIME (seconds) = 0.066 CPU/machine TIME (seconds) = 0.060 ] ] 8546 ./gridgen_reLOC --x-size=4 --y-size=4 --N-robots=7 --obstacle-probability=0.2 --seed=8546 --cnf-level=8 --cnf-file=grid_4x4_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 = 672 Produced CNF clauses = 8079 Search steps = 0 Wall clock TIME (seconds) = 0.062 CPU/machine TIME (seconds) = 0.060 ] ] 474 ./gridgen_reLOC --x-size=4 --y-size=4 --N-robots=7 --obstacle-probability=0.2 --seed=474 --cnf-level=8 --cnf-file=grid_4x4_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 = 672 Produced CNF clauses = 8317 Search steps = 0 Wall clock TIME (seconds) = 0.083 CPU/machine TIME (seconds) = 0.080 ] ] 188 ./gridgen_reLOC --x-size=4 --y-size=4 --N-robots=7 --obstacle-probability=0.2 --seed=188 --cnf-level=8 --cnf-file=grid_4x4_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 = 840 Produced CNF clauses = 12292 Search steps = 0 Wall clock TIME (seconds) = 0.110 CPU/machine TIME (seconds) = 0.100 ] ] 7899 ./gridgen_reLOC --x-size=4 --y-size=4 --N-robots=7 --obstacle-probability=0.2 --seed=7899 --cnf-level=8 --cnf-file=grid_4x4_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 = 784 Produced CNF clauses = 10805 Search steps = 0 Wall clock TIME (seconds) = 0.093 CPU/machine TIME (seconds) = 0.080 ] ] 9 ./gridgen_reLOC --x-size=4 --y-size=4 --N-robots=7 --obstacle-probability=0.2 --seed=9 --cnf-level=8 --cnf-file=grid_4x4_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 = 728 Produced CNF clauses = 9418 Search steps = 0 Wall clock TIME (seconds) = 0.079 CPU/machine TIME (seconds) = 0.080 ] ] 774 ./gridgen_reLOC --x-size=4 --y-size=4 --N-robots=7 --obstacle-probability=0.2 --seed=774 --cnf-level=8 --cnf-file=grid_4x4_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 = 840 Produced CNF clauses = 11997 Search steps = 0 Wall clock TIME (seconds) = 0.099 CPU/machine TIME (seconds) = 0.100 ] ] 3455 ./gridgen_reLOC --x-size=4 --y-size=4 --N-robots=8 --obstacle-probability=0.2 --seed=3455 --cnf-level=8 --cnf-file=grid_4x4_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 = 704 Produced CNF clauses = 8482 Search steps = 0 Wall clock TIME (seconds) = 0.070 CPU/machine TIME (seconds) = 0.060 ] ] 12 ./gridgen_reLOC --x-size=4 --y-size=4 --N-robots=8 --obstacle-probability=0.2 --seed=12 --cnf-level=8 --cnf-file=grid_4x4_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 = 768 Produced CNF clauses = 8582 Search steps = 0 Wall clock TIME (seconds) = 0.037 CPU/machine TIME (seconds) = 0.030 ] ] 45 ./gridgen_reLOC --x-size=4 --y-size=4 --N-robots=8 --obstacle-probability=0.2 --seed=45 --cnf-level=8 --cnf-file=grid_4x4_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 = 832 Produced CNF clauses = 11031 Search steps = 0 Wall clock TIME (seconds) = 0.093 CPU/machine TIME (seconds) = 0.090 ] ] 78 ./gridgen_reLOC --x-size=4 --y-size=4 --N-robots=8 --obstacle-probability=0.2 --seed=78 --cnf-level=8 --cnf-file=grid_4x4_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 = 832 Produced CNF clauses = 10507 Search steps = 0 Wall clock TIME (seconds) = 0.073 CPU/machine TIME (seconds) = 0.060 ] ] 8546 ./gridgen_reLOC --x-size=4 --y-size=4 --N-robots=8 --obstacle-probability=0.2 --seed=8546 --cnf-level=8 --cnf-file=grid_4x4_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 = 768 Produced CNF clauses = 9501 Search steps = 0 Wall clock TIME (seconds) = 0.072 CPU/machine TIME (seconds) = 0.060 ] ] 474 ./gridgen_reLOC --x-size=4 --y-size=4 --N-robots=8 --obstacle-probability=0.2 --seed=474 --cnf-level=8 --cnf-file=grid_4x4_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 = 768 Produced CNF clauses = 9869 Search steps = 0 Wall clock TIME (seconds) = 0.088 CPU/machine TIME (seconds) = 0.080 ] ] 188 ./gridgen_reLOC --x-size=4 --y-size=4 --N-robots=8 --obstacle-probability=0.2 --seed=188 --cnf-level=8 --cnf-file=grid_4x4_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 = 960 Produced CNF clauses = 14441 Search steps = 0 Wall clock TIME (seconds) = 0.131 CPU/machine TIME (seconds) = 0.120 ] ] 7899 ./gridgen_reLOC --x-size=4 --y-size=4 --N-robots=8 --obstacle-probability=0.2 --seed=7899 --cnf-level=8 --cnf-file=grid_4x4_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 = 896 Produced CNF clauses = 12790 Search steps = 0 Wall clock TIME (seconds) = 0.116 CPU/machine TIME (seconds) = 0.100 ] ] 9 ./gridgen_reLOC --x-size=4 --y-size=4 --N-robots=8 --obstacle-probability=0.2 --seed=9 --cnf-level=8 --cnf-file=grid_4x4_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 = 832 Produced CNF clauses = 11278 Search steps = 0 Wall clock TIME (seconds) = 0.104 CPU/machine TIME (seconds) = 0.100 ] ] 774 ./gridgen_reLOC --x-size=4 --y-size=4 --N-robots=8 --obstacle-probability=0.2 --seed=774 --cnf-level=8 --cnf-file=grid_4x4_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 = 960 Produced CNF clauses = 14332 Search steps = 0 Wall clock TIME (seconds) = 0.132 CPU/machine TIME (seconds) = 0.130 ] ] grid size = 4 max robots = 8 1,3455 c number of literals = 2040 c number of literals / number of clauses = 2.528 1,12 c number of literals = 1272 c number of literals / number of clauses = 1.939 1,45 c number of literals = 2811 c number of literals / number of clauses = 2.549 1,78 c number of literals = 2199 c number of literals / number of clauses = 2.325 1,8546 c number of literals = 2005 c number of literals / number of clauses = 2.373 1,474 c number of literals = 1965 c number of literals / number of clauses = 2.353 1,188 c number of literals = 3668 c number of literals / number of clauses = 2.551 1,7899 c number of literals = 2873 c number of literals / number of clauses = 2.443 1,9 c number of literals = 2435 c number of literals / number of clauses = 2.420 1,774 c number of literals = 3102 c number of literals / number of clauses = 2.394 2,3455 c number of literals = 5102 c number of literals / number of clauses = 2.547 2,12 c number of literals = 3572 c number of literals / number of clauses = 2.166 2,45 c number of literals = 5443 c number of literals / number of clauses = 2.387 2,78 c number of literals = 5317 c number of literals / number of clauses = 2.369 2,8546 c number of literals = 5709 c number of literals / number of clauses = 2.524 2,474 c number of literals = 4639 c number of literals / number of clauses = 2.374 2,188 c number of literals = 8984 c number of literals / number of clauses = 2.560 2,7899 c number of literals = 7309 c number of literals / number of clauses = 2.502 2,9 c number of literals = 5969 c number of literals / number of clauses = 2.454 2,774 c number of literals = 9205 c number of literals / number of clauses = 2.578 3,3455 c number of literals = 9288 c number of literals / number of clauses = 2.579 3,12 c number of literals = 5501 c number of literals / number of clauses = 2.124 3,45 c number of literals = 10909 c number of literals / number of clauses = 2.505 3,78 c number of literals = 11285 c number of literals / number of clauses = 2.529 3,8546 c number of literals = 10118 c number of literals / number of clauses = 2.545 3,474 c number of literals = 11307 c number of literals / number of clauses = 2.610 3,188 c number of literals = 17717 c number of literals / number of clauses = 2.643 3,7899 c number of literals = 15397 c number of literals / number of clauses = 2.632 3,9 c number of literals = 12913 c number of literals / number of clauses = 2.607 3,774 c number of literals = 16971 c number of literals / number of clauses = 2.618 4,3455 c number of literals = 15432 c number of literals / number of clauses = 2.635 4,12 c number of literals = 11736 c number of literals / number of clauses = 2.399 4,45 c number of literals = 17338 c number of literals / number of clauses = 2.550 4,78 c number of literals = 16279 c number of literals / number of clauses = 2.516 4,8546 c number of literals = 15872 c number of literals / number of clauses = 2.575 4,474 c number of literals = 15161 c number of literals / number of clauses = 2.551 4,188 c number of literals = 28325 c number of literals / number of clauses = 2.675 4,7899 c number of literals = 23590 c number of literals / number of clauses = 2.644 4,9 c number of literals = 21520 c number of literals / number of clauses = 2.662 4,774 c number of literals = 27209 c number of literals / number of clauses = 2.657 5,3455 c number of literals = 21263 c number of literals / number of clauses = 2.633 5,12 c number of literals = 13817 c number of literals / number of clauses = 2.314 5,45 c number of literals = 26254 c number of literals / number of clauses = 2.603 5,78 c number of literals = 19733 c number of literals / number of clauses = 2.452 5,8546 c number of literals = 21844 c number of literals / number of clauses = 2.577 5,474 c number of literals = 23592 c number of literals / number of clauses = 2.615 5,188 c number of literals = 38896 c number of literals / number of clauses = 2.674 5,7899 c number of literals = 35638 c number of literals / number of clauses = 2.686 5,9 c number of literals = 28235 c number of literals / number of clauses = 2.637 5,774 c number of literals = 40792 c number of literals / number of clauses = 2.695 6,3455 c number of literals = 29212 c number of literals / number of clauses = 2.653 6,12 c number of literals = 18665 c number of literals / number of clauses = 2.348 6,45 c number of literals = 35724 c number of literals / number of clauses = 2.624 6,78 c number of literals = 29386 c number of literals / number of clauses = 2.531 6,8546 c number of literals = 32455 c number of literals / number of clauses = 2.639 6,474 c number of literals = 33270 c number of literals / number of clauses = 2.650 6,188 c number of literals = 56886 c number of literals / number of clauses = 2.721 6,7899 c number of literals = 47673 c number of literals / number of clauses = 2.696 6,9 c number of literals = 41567 c number of literals / number of clauses = 2.690 6,774 c number of literals = 54532 c number of literals / number of clauses = 2.704 7,3455 c number of literals = 37823 c number of literals / number of clauses = 2.663 7,12 c number of literals = 21998 c number of literals / number of clauses = 2.318 7,45 c number of literals = 49565 c number of literals / number of clauses = 2.667 7,78 c number of literals = 43099 c number of literals / number of clauses = 2.608 7,8546 c number of literals = 40360 c number of literals / number of clauses = 2.633 7,474 c number of literals = 45349 c number of literals / number of clauses = 2.682 7,188 c number of literals = 72585 c number of literals / number of clauses = 2.724 7,7899 c number of literals = 61177 c number of literals / number of clauses = 2.703 7,9 c number of literals = 51031 c number of literals / number of clauses = 2.678 7,774 c number of literals = 66832 c number of literals / number of clauses = 2.693 8,3455 c number of literals = 46134 c number of literals / number of clauses = 2.660 8,12 c number of literals = 28660 c number of literals / number of clauses = 2.364 8,45 c number of literals = 61358 c number of literals / number of clauses = 2.671 8,78 c number of literals = 49476 c number of literals / number of clauses = 2.581 8,8546 c number of literals = 48513 c number of literals / number of clauses = 2.626 8,474 c number of literals = 56895 c number of literals / number of clauses = 2.690 8,188 c number of literals = 90186 c number of literals / number of clauses = 2.729 8,7899 c number of literals = 77425 c number of literals / number of clauses = 2.714 8,9 c number of literals = 66733 c number of literals / number of clauses = 2.703 8,774 c number of literals = 87760 c number of literals / number of clauses = 2.720 grid size = 4 max robots = 8 1,3455 c number of visible variables = 88 c number of hidden variables = 0 c number of propositional variables = 88 c number of clauses / number of variables = 9.170 1,12 c number of visible variables = 96 c number of hidden variables = 0 c number of propositional variables = 96 c number of clauses / number of variables = 6.833 1,45 c number of visible variables = 104 c number of hidden variables = 0 c number of propositional variables = 104 c number of clauses / number of variables = 10.606 1,78 c number of visible variables = 104 c number of hidden variables = 0 c number of propositional variables = 104 c number of clauses / number of variables = 9.096 1,8546 c number of visible variables = 96 c number of hidden variables = 0 c number of propositional variables = 96 c number of clauses / number of variables = 8.802 1,474 c number of visible variables = 96 c number of hidden variables = 0 c number of propositional variables = 96 c number of clauses / number of variables = 8.698 1,188 c number of visible variables = 120 c number of hidden variables = 0 c number of propositional variables = 120 c number of clauses / number of variables = 11.983 1,7899 c number of visible variables = 112 c number of hidden variables = 0 c number of propositional variables = 112 c number of clauses / number of variables = 10.500 1,9 c number of visible variables = 104 c number of hidden variables = 0 c number of propositional variables = 104 c number of clauses / number of variables = 9.673 1,774 c number of visible variables = 120 c number of hidden variables = 0 c number of propositional variables = 120 c number of clauses / number of variables = 10.800 2,3455 c number of visible variables = 176 c number of hidden variables = 0 c number of propositional variables = 176 c number of clauses / number of variables = 11.381 2,12 c number of visible variables = 192 c number of hidden variables = 0 c number of propositional variables = 192 c number of clauses / number of variables = 8.589 2,45 c number of visible variables = 208 c number of hidden variables = 0 c number of propositional variables = 208 c number of clauses / number of variables = 10.962 2,78 c number of visible variables = 208 c number of hidden variables = 0 c number of propositional variables = 208 c number of clauses / number of variables = 10.788 2,8546 c number of visible variables = 192 c number of hidden variables = 0 c number of propositional variables = 192 c number of clauses / number of variables = 11.781 2,474 c number of visible variables = 192 c number of hidden variables = 0 c number of propositional variables = 192 c number of clauses / number of variables = 10.177 2,188 c number of visible variables = 240 c number of hidden variables = 0 c number of propositional variables = 240 c number of clauses / number of variables = 14.625 2,7899 c number of visible variables = 224 c number of hidden variables = 0 c number of propositional variables = 224 c number of clauses / number of variables = 13.040 2,9 c number of visible variables = 208 c number of hidden variables = 0 c number of propositional variables = 208 c number of clauses / number of variables = 11.692 2,774 c number of visible variables = 240 c number of hidden variables = 0 c number of propositional variables = 240 c number of clauses / number of variables = 14.879 3,3455 c number of visible variables = 264 c number of hidden variables = 0 c number of propositional variables = 264 c number of clauses / number of variables = 13.640 3,12 c number of visible variables = 288 c number of hidden variables = 0 c number of propositional variables = 288 c number of clauses / number of variables = 8.993 3,45 c number of visible variables = 312 c number of hidden variables = 0 c number of propositional variables = 312 c number of clauses / number of variables = 13.958 3,78 c number of visible variables = 312 c number of hidden variables = 0 c number of propositional variables = 312 c number of clauses / number of variables = 14.304 3,8546 c number of visible variables = 288 c number of hidden variables = 0 c number of propositional variables = 288 c number of clauses / number of variables = 13.806 3,474 c number of visible variables = 288 c number of hidden variables = 0 c number of propositional variables = 288 c number of clauses / number of variables = 15.042 3,188 c number of visible variables = 360 c number of hidden variables = 0 c number of propositional variables = 360 c number of clauses / number of variables = 18.619 3,7899 c number of visible variables = 336 c number of hidden variables = 0 c number of propositional variables = 336 c number of clauses / number of variables = 17.408 3,9 c number of visible variables = 312 c number of hidden variables = 0 c number of propositional variables = 312 c number of clauses / number of variables = 15.875 3,774 c number of visible variables = 360 c number of hidden variables = 0 c number of propositional variables = 360 c number of clauses / number of variables = 18.006 4,3455 c number of visible variables = 352 c number of hidden variables = 0 c number of propositional variables = 352 c number of clauses / number of variables = 16.636 4,12 c number of visible variables = 384 c number of hidden variables = 0 c number of propositional variables = 384 c number of clauses / number of variables = 12.740 4,45 c number of visible variables = 416 c number of hidden variables = 0 c number of propositional variables = 416 c number of clauses / number of variables = 16.346 4,78 c number of visible variables = 416 c number of hidden variables = 0 c number of propositional variables = 416 c number of clauses / number of variables = 15.553 4,8546 c number of visible variables = 384 c number of hidden variables = 0 c number of propositional variables = 384 c number of clauses / number of variables = 16.049 4,474 c number of visible variables = 384 c number of hidden variables = 0 c number of propositional variables = 384 c number of clauses / number of variables = 15.479 4,188 c number of visible variables = 480 c number of hidden variables = 0 c number of propositional variables = 480 c number of clauses / number of variables = 22.056 4,7899 c number of visible variables = 448 c number of hidden variables = 0 c number of propositional variables = 448 c number of clauses / number of variables = 19.915 4,9 c number of visible variables = 416 c number of hidden variables = 0 c number of propositional variables = 416 c number of clauses / number of variables = 19.430 4,774 c number of visible variables = 480 c number of hidden variables = 0 c number of propositional variables = 480 c number of clauses / number of variables = 21.337 5,3455 c number of visible variables = 440 c number of hidden variables = 0 c number of propositional variables = 440 c number of clauses / number of variables = 18.357 5,12 c number of visible variables = 480 c number of hidden variables = 0 c number of propositional variables = 480 c number of clauses / number of variables = 12.438 5,45 c number of visible variables = 520 c number of hidden variables = 0 c number of propositional variables = 520 c number of clauses / number of variables = 19.398 5,78 c number of visible variables = 520 c number of hidden variables = 0 c number of propositional variables = 520 c number of clauses / number of variables = 15.477 5,8546 c number of visible variables = 480 c number of hidden variables = 0 c number of propositional variables = 480 c number of clauses / number of variables = 17.658 5,474 c number of visible variables = 480 c number of hidden variables = 0 c number of propositional variables = 480 c number of clauses / number of variables = 18.796 5,188 c number of visible variables = 600 c number of hidden variables = 0 c number of propositional variables = 600 c number of clauses / number of variables = 24.247 5,7899 c number of visible variables = 560 c number of hidden variables = 0 c number of propositional variables = 560 c number of clauses / number of variables = 23.689 5,9 c number of visible variables = 520 c number of hidden variables = 0 c number of propositional variables = 520 c number of clauses / number of variables = 20.588 5,774 c number of visible variables = 600 c number of hidden variables = 0 c number of propositional variables = 600 c number of clauses / number of variables = 25.230 6,3455 c number of visible variables = 528 c number of hidden variables = 0 c number of propositional variables = 528 c number of clauses / number of variables = 20.858 6,12 c number of visible variables = 576 c number of hidden variables = 0 c number of propositional variables = 576 c number of clauses / number of variables = 13.800 6,45 c number of visible variables = 624 c number of hidden variables = 0 c number of propositional variables = 624 c number of clauses / number of variables = 21.819 6,78 c number of visible variables = 624 c number of hidden variables = 0 c number of propositional variables = 624 c number of clauses / number of variables = 18.606 6,8546 c number of visible variables = 576 c number of hidden variables = 0 c number of propositional variables = 576 c number of clauses / number of variables = 21.354 6,474 c number of visible variables = 576 c number of hidden variables = 0 c number of propositional variables = 576 c number of clauses / number of variables = 21.800 6,188 c number of visible variables = 720 c number of hidden variables = 0 c number of propositional variables = 720 c number of clauses / number of variables = 29.040 6,7899 c number of visible variables = 672 c number of hidden variables = 0 c number of propositional variables = 672 c number of clauses / number of variables = 26.315 6,9 c number of visible variables = 624 c number of hidden variables = 0 c number of propositional variables = 624 c number of clauses / number of variables = 24.768 6,774 c number of visible variables = 720 c number of hidden variables = 0 c number of propositional variables = 720 c number of clauses / number of variables = 28.012 7,3455 c number of visible variables = 616 c number of hidden variables = 0 c number of propositional variables = 616 c number of clauses / number of variables = 23.055 7,12 c number of visible variables = 672 c number of hidden variables = 0 c number of propositional variables = 672 c number of clauses / number of variables = 14.121 7,45 c number of visible variables = 728 c number of hidden variables = 0 c number of propositional variables = 728 c number of clauses / number of variables = 25.529 7,78 c number of visible variables = 728 c number of hidden variables = 0 c number of propositional variables = 728 c number of clauses / number of variables = 22.703 7,8546 c number of visible variables = 672 c number of hidden variables = 0 c number of propositional variables = 672 c number of clauses / number of variables = 22.808 7,474 c number of visible variables = 672 c number of hidden variables = 0 c number of propositional variables = 672 c number of clauses / number of variables = 25.162 7,188 c number of visible variables = 840 c number of hidden variables = 0 c number of propositional variables = 840 c number of clauses / number of variables = 31.719 7,7899 c number of visible variables = 784 c number of hidden variables = 0 c number of propositional variables = 784 c number of clauses / number of variables = 28.874 7,9 c number of visible variables = 728 c number of hidden variables = 0 c number of propositional variables = 728 c number of clauses / number of variables = 26.173 7,774 c number of visible variables = 840 c number of hidden variables = 0 c number of propositional variables = 840 c number of clauses / number of variables = 29.539 8,3455 c number of visible variables = 704 c number of hidden variables = 0 c number of propositional variables = 704 c number of clauses / number of variables = 24.636 8,12 c number of visible variables = 768 c number of hidden variables = 0 c number of propositional variables = 768 c number of clauses / number of variables = 15.786 8,45 c number of visible variables = 832 c number of hidden variables = 0 c number of propositional variables = 832 c number of clauses / number of variables = 27.612 8,78 c number of visible variables = 832 c number of hidden variables = 0 c number of propositional variables = 832 c number of clauses / number of variables = 23.044 8,8546 c number of visible variables = 768 c number of hidden variables = 0 c number of propositional variables = 768 c number of clauses / number of variables = 24.056 8,474 c number of visible variables = 768 c number of hidden variables = 0 c number of propositional variables = 768 c number of clauses / number of variables = 27.543 8,188 c number of visible variables = 960 c number of hidden variables = 0 c number of propositional variables = 960 c number of clauses / number of variables = 34.424 8,7899 c number of visible variables = 896 c number of hidden variables = 0 c number of propositional variables = 896 c number of clauses / number of variables = 31.837 8,9 c number of visible variables = 832 c number of hidden variables = 0 c number of propositional variables = 832 c number of clauses / number of variables = 29.675 8,774 c number of visible variables = 960 c number of hidden variables = 0 c number of propositional variables = 960 c number of clauses / number of variables = 33.610 grid size = 4 max robots = 8 1,3455 c number of clauses = 807 c number of clauses / number of variables = 9.170 c number of literals / number of clauses = 2.528 1,12 c number of clauses = 656 c number of clauses / number of variables = 6.833 c number of literals / number of clauses = 1.939 1,45 c number of clauses = 1103 c number of clauses / number of variables = 10.606 c number of literals / number of clauses = 2.549 1,78 c number of clauses = 946 c number of clauses / number of variables = 9.096 c number of literals / number of clauses = 2.325 1,8546 c number of clauses = 845 c number of clauses / number of variables = 8.802 c number of literals / number of clauses = 2.373 1,474 c number of clauses = 835 c number of clauses / number of variables = 8.698 c number of literals / number of clauses = 2.353 1,188 c number of clauses = 1438 c number of clauses / number of variables = 11.983 c number of literals / number of clauses = 2.551 1,7899 c number of clauses = 1176 c number of clauses / number of variables = 10.500 c number of literals / number of clauses = 2.443 1,9 c number of clauses = 1006 c number of clauses / number of variables = 9.673 c number of literals / number of clauses = 2.420 1,774 c number of clauses = 1296 c number of clauses / number of variables = 10.800 c number of literals / number of clauses = 2.394 2,3455 c number of clauses = 2003 c number of clauses / number of variables = 11.381 c number of literals / number of clauses = 2.547 2,12 c number of clauses = 1649 c number of clauses / number of variables = 8.589 c number of literals / number of clauses = 2.166 2,45 c number of clauses = 2280 c number of clauses / number of variables = 10.962 c number of literals / number of clauses = 2.387 2,78 c number of clauses = 2244 c number of clauses / number of variables = 10.788 c number of literals / number of clauses = 2.369 2,8546 c number of clauses = 2262 c number of clauses / number of variables = 11.781 c number of literals / number of clauses = 2.524 2,474 c number of clauses = 1954 c number of clauses / number of variables = 10.177 c number of literals / number of clauses = 2.374 2,188 c number of clauses = 3510 c number of clauses / number of variables = 14.625 c number of literals / number of clauses = 2.560 2,7899 c number of clauses = 2921 c number of clauses / number of variables = 13.040 c number of literals / number of clauses = 2.502 2,9 c number of clauses = 2432 c number of clauses / number of variables = 11.692 c number of literals / number of clauses = 2.454 2,774 c number of clauses = 3571 c number of clauses / number of variables = 14.879 c number of literals / number of clauses = 2.578 3,3455 c number of clauses = 3601 c number of clauses / number of variables = 13.640 c number of literals / number of clauses = 2.579 3,12 c number of clauses = 2590 c number of clauses / number of variables = 8.993 c number of literals / number of clauses = 2.124 3,45 c number of clauses = 4355 c number of clauses / number of variables = 13.958 c number of literals / number of clauses = 2.505 3,78 c number of clauses = 4463 c number of clauses / number of variables = 14.304 c number of literals / number of clauses = 2.529 3,8546 c number of clauses = 3976 c number of clauses / number of variables = 13.806 c number of literals / number of clauses = 2.545 3,474 c number of clauses = 4332 c number of clauses / number of variables = 15.042 c number of literals / number of clauses = 2.610 3,188 c number of clauses = 6703 c number of clauses / number of variables = 18.619 c number of literals / number of clauses = 2.643 3,7899 c number of clauses = 5849 c number of clauses / number of variables = 17.408 c number of literals / number of clauses = 2.632 3,9 c number of clauses = 4953 c number of clauses / number of variables = 15.875 c number of literals / number of clauses = 2.607 3,774 c number of clauses = 6482 c number of clauses / number of variables = 18.006 c number of literals / number of clauses = 2.618 4,3455 c number of clauses = 5856 c number of clauses / number of variables = 16.636 c number of literals / number of clauses = 2.635 4,12 c number of clauses = 4892 c number of clauses / number of variables = 12.740 c number of literals / number of clauses = 2.399 4,45 c number of clauses = 6800 c number of clauses / number of variables = 16.346 c number of literals / number of clauses = 2.550 4,78 c number of clauses = 6470 c number of clauses / number of variables = 15.553 c number of literals / number of clauses = 2.516 4,8546 c number of clauses = 6163 c number of clauses / number of variables = 16.049 c number of literals / number of clauses = 2.575 4,474 c number of clauses = 5944 c number of clauses / number of variables = 15.479 c number of literals / number of clauses = 2.551 4,188 c number of clauses = 10587 c number of clauses / number of variables = 22.056 c number of literals / number of clauses = 2.675 4,7899 c number of clauses = 8922 c number of clauses / number of variables = 19.915 c number of literals / number of clauses = 2.644 4,9 c number of clauses = 8083 c number of clauses / number of variables = 19.430 c number of literals / number of clauses = 2.662 4,774 c number of clauses = 10242 c number of clauses / number of variables = 21.337 c number of literals / number of clauses = 2.657 5,3455 c number of clauses = 8077 c number of clauses / number of variables = 18.357 c number of literals / number of clauses = 2.633 5,12 c number of clauses = 5970 c number of clauses / number of variables = 12.438 c number of literals / number of clauses = 2.314 5,45 c number of clauses = 10087 c number of clauses / number of variables = 19.398 c number of literals / number of clauses = 2.603 5,78 c number of clauses = 8048 c number of clauses / number of variables = 15.477 c number of literals / number of clauses = 2.452 5,8546 c number of clauses = 8476 c number of clauses / number of variables = 17.658 c number of literals / number of clauses = 2.577 5,474 c number of clauses = 9022 c number of clauses / number of variables = 18.796 c number of literals / number of clauses = 2.615 5,188 c number of clauses = 14548 c number of clauses / number of variables = 24.247 c number of literals / number of clauses = 2.674 5,7899 c number of clauses = 13266 c number of clauses / number of variables = 23.689 c number of literals / number of clauses = 2.686 5,9 c number of clauses = 10706 c number of clauses / number of variables = 20.588 c number of literals / number of clauses = 2.637 5,774 c number of clauses = 15138 c number of clauses / number of variables = 25.230 c number of literals / number of clauses = 2.695 6,3455 c number of clauses = 11013 c number of clauses / number of variables = 20.858 c number of literals / number of clauses = 2.653 6,12 c number of clauses = 7949 c number of clauses / number of variables = 13.800 c number of literals / number of clauses = 2.348 6,45 c number of clauses = 13615 c number of clauses / number of variables = 21.819 c number of literals / number of clauses = 2.624 6,78 c number of clauses = 11610 c number of clauses / number of variables = 18.606 c number of literals / number of clauses = 2.531 6,8546 c number of clauses = 12300 c number of clauses / number of variables = 21.354 c number of literals / number of clauses = 2.639 6,474 c number of clauses = 12557 c number of clauses / number of variables = 21.800 c number of literals / number of clauses = 2.650 6,188 c number of clauses = 20909 c number of clauses / number of variables = 29.040 c number of literals / number of clauses = 2.721 6,7899 c number of clauses = 17684 c number of clauses / number of variables = 26.315 c number of literals / number of clauses = 2.696 6,9 c number of clauses = 15455 c number of clauses / number of variables = 24.768 c number of literals / number of clauses = 2.690 6,774 c number of clauses = 20169 c number of clauses / number of variables = 28.012 c number of literals / number of clauses = 2.704 7,3455 c number of clauses = 14202 c number of clauses / number of variables = 23.055 c number of literals / number of clauses = 2.663 7,12 c number of clauses = 9489 c number of clauses / number of variables = 14.121 c number of literals / number of clauses = 2.318 7,45 c number of clauses = 18585 c number of clauses / number of variables = 25.529 c number of literals / number of clauses = 2.667 7,78 c number of clauses = 16528 c number of clauses / number of variables = 22.703 c number of literals / number of clauses = 2.608 7,8546 c number of clauses = 15327 c number of clauses / number of variables = 22.808 c number of literals / number of clauses = 2.633 7,474 c number of clauses = 16909 c number of clauses / number of variables = 25.162 c number of literals / number of clauses = 2.682 7,188 c number of clauses = 26644 c number of clauses / number of variables = 31.719 c number of literals / number of clauses = 2.724 7,7899 c number of clauses = 22637 c number of clauses / number of variables = 28.874 c number of literals / number of clauses = 2.703 7,9 c number of clauses = 19054 c number of clauses / number of variables = 26.173 c number of literals / number of clauses = 2.678 7,774 c number of clauses = 24813 c number of clauses / number of variables = 29.539 c number of literals / number of clauses = 2.693 8,3455 c number of clauses = 17344 c number of clauses / number of variables = 24.636 c number of literals / number of clauses = 2.660 8,12 c number of clauses = 12124 c number of clauses / number of variables = 15.786 c number of literals / number of clauses = 2.364 8,45 c number of clauses = 22973 c number of clauses / number of variables = 27.612 c number of literals / number of clauses = 2.671 8,78 c number of clauses = 19173 c number of clauses / number of variables = 23.044 c number of literals / number of clauses = 2.581 8,8546 c number of clauses = 18475 c number of clauses / number of variables = 24.056 c number of literals / number of clauses = 2.626 8,474 c number of clauses = 21153 c number of clauses / number of variables = 27.543 c number of literals / number of clauses = 2.690 8,188 c number of clauses = 33047 c number of clauses / number of variables = 34.424 c number of literals / number of clauses = 2.729 8,7899 c number of clauses = 28526 c number of clauses / number of variables = 31.837 c number of literals / number of clauses = 2.714 8,9 c number of clauses = 24690 c number of clauses / number of variables = 29.675 c number of literals / number of clauses = 2.703 8,774 c number of clauses = 32266 c number of clauses / number of variables = 33.610 c number of literals / number of clauses = 2.720