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 = 226 Produced CNF clauses = 79 Search steps = 0 Wall clock TIME (seconds) = 0.002 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 = 32 Produced CNF clauses = 124 Search steps = 0 Wall clock TIME (seconds) = 0.001 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 = 284 Produced CNF clauses = 69 Search steps = 0 Wall clock TIME (seconds) = 0.002 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 = 174 Produced CNF clauses = 90 Search steps = 0 Wall clock TIME (seconds) = 0.001 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 = 181 Produced CNF clauses = 88 Search steps = 0 Wall clock TIME (seconds) = 0.001 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 = 167 Produced CNF clauses = 94 Search steps = 0 Wall clock TIME (seconds) = 0.001 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 = 347 Produced CNF clauses = 58 Search steps = 0 Wall clock TIME (seconds) = 0.002 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 = 253 Produced CNF clauses = 75 Search steps = 0 Wall clock TIME (seconds) = 0.002 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 = 213 Produced CNF clauses = 84 Search steps = 0 Wall clock TIME (seconds) = 0.001 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 = 249 Produced CNF clauses = 76 Search steps = 0 Wall clock TIME (seconds) = 0.002 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 = 526 Produced CNF clauses = 169 Search steps = 0 Wall clock TIME (seconds) = 0.003 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 = 297 Produced CNF clauses = 218 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=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 = 447 Produced CNF clauses = 189 Search steps = 0 Wall clock TIME (seconds) = 0.002 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 = 440 Produced CNF clauses = 188 Search steps = 0 Wall clock TIME (seconds) = 0.002 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 = 552 Produced CNF clauses = 160 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=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 = 412 Produced CNF clauses = 196 Search steps = 0 Wall clock TIME (seconds) = 0.002 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 = 722 Produced CNF clauses = 134 Search steps = 0 Wall clock TIME (seconds) = 0.004 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 = 601 Produced CNF clauses = 157 Search steps = 0 Wall clock TIME (seconds) = 0.003 CPU/machine TIME (seconds) = 0.000 ] ] 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 = 508 Produced CNF clauses = 176 Search steps = 0 Wall clock TIME (seconds) = 0.003 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 = 746 Produced CNF clauses = 129 Search steps = 0 Wall clock TIME (seconds) = 0.004 CPU/machine TIME (seconds) = 0.000 ] ] 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 = 950 Produced CNF clauses = 257 Search steps = 0 Wall clock TIME (seconds) = 0.005 CPU/machine TIME (seconds) = 0.000 ] ] 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 = 565 Produced CNF clauses = 343 Search steps = 0 Wall clock TIME (seconds) = 0.003 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 = 951 Produced CNF clauses = 259 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=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 = 991 Produced CNF clauses = 247 Search steps = 0 Wall clock TIME (seconds) = 0.005 CPU/machine TIME (seconds) = 0.000 ] ] 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 = 965 Produced CNF clauses = 251 Search steps = 0 Wall clock TIME (seconds) = 0.004 CPU/machine TIME (seconds) = 0.000 ] ] 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 = 1039 Produced CNF clauses = 243 Search steps = 0 Wall clock TIME (seconds) = 0.005 CPU/machine TIME (seconds) = 0.000 ] ] 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 = 1341 Produced CNF clauses = 185 Search steps = 0 Wall clock TIME (seconds) = 0.007 CPU/machine TIME (seconds) = 0.000 ] ] 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 = 1238 Produced CNF clauses = 202 Search steps = 0 Wall clock TIME (seconds) = 0.006 CPU/machine TIME (seconds) = 0.000 ] ] 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 = 1102 Produced CNF clauses = 231 Search steps = 0 Wall clock TIME (seconds) = 0.005 CPU/machine TIME (seconds) = 0.000 ] ] 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 = 1284 Produced CNF clauses = 196 Search steps = 0 Wall clock TIME (seconds) = 0.006 CPU/machine TIME (seconds) = 0.000 ] ] 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 = 1543 Produced CNF clauses = 336 Search steps = 0 Wall clock TIME (seconds) = 0.007 CPU/machine TIME (seconds) = 0.000 ] ] 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 = 1270 Produced CNF clauses = 384 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=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 = 1517 Produced CNF clauses = 344 Search steps = 0 Wall clock TIME (seconds) = 0.007 CPU/machine TIME (seconds) = 0.000 ] ] 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 = 1472 Produced CNF clauses = 346 Search steps = 0 Wall clock TIME (seconds) = 0.006 CPU/machine TIME (seconds) = 0.000 ] ] 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 = 1517 Produced CNF clauses = 337 Search steps = 0 Wall clock TIME (seconds) = 0.007 CPU/machine TIME (seconds) = 0.000 ] ] 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 = 1439 Produced CNF clauses = 364 Search steps = 0 Wall clock TIME (seconds) = 0.006 CPU/machine TIME (seconds) = 0.000 ] ] 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 = 2031 Produced CNF clauses = 245 Search steps = 0 Wall clock TIME (seconds) = 0.009 CPU/machine TIME (seconds) = 0.000 ] ] 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 = 1828 Produced CNF clauses = 282 Search steps = 0 Wall clock TIME (seconds) = 0.008 CPU/machine TIME (seconds) = 0.000 ] ] 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 = 1773 Produced CNF clauses = 293 Search steps = 0 Wall clock TIME (seconds) = 0.008 CPU/machine TIME (seconds) = 0.000 ] ] 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 = 1956 Produced CNF clauses = 262 Search steps = 0 Wall clock TIME (seconds) = 0.009 CPU/machine TIME (seconds) = 0.000 ] ] 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 = 2166 Produced CNF clauses = 433 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=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 = 1710 Produced CNF clauses = 527 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=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 = 2247 Produced CNF clauses = 424 Search steps = 0 Wall clock TIME (seconds) = 0.009 CPU/machine TIME (seconds) = 0.000 ] ] 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 = 1931 Produced CNF clauses = 483 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=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 = 2128 Produced CNF clauses = 439 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=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 = 2194 Produced CNF clauses = 433 Search steps = 0 Wall clock TIME (seconds) = 0.009 CPU/machine TIME (seconds) = 0.000 ] ] 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 = 2715 Produced CNF clauses = 332 Search steps = 0 Wall clock TIME (seconds) = 0.012 CPU/machine TIME (seconds) = 0.000 ] ] 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 = 2652 Produced CNF clauses = 339 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=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 = 2347 Produced CNF clauses = 404 Search steps = 0 Wall clock TIME (seconds) = 0.010 CPU/machine TIME (seconds) = 0.000 ] ] 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 = 2812 Produced CNF clauses = 312 Search steps = 0 Wall clock TIME (seconds) = 0.012 CPU/machine TIME (seconds) = 0.000 ] ] 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 = 2964 Produced CNF clauses = 519 Search steps = 0 Wall clock TIME (seconds) = 0.012 CPU/machine TIME (seconds) = 0.010 ] ] 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 = 2431 Produced CNF clauses = 627 Search steps = 0 Wall clock TIME (seconds) = 0.009 CPU/machine TIME (seconds) = 0.000 ] ] 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 = 3053 Produced CNF clauses = 510 Search steps = 0 Wall clock TIME (seconds) = 0.012 CPU/machine TIME (seconds) = 0.010 ] ] 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 = 2817 Produced CNF clauses = 546 Search steps = 0 Wall clock TIME (seconds) = 0.011 CPU/machine TIME (seconds) = 0.000 ] ] 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 = 3041 Produced CNF clauses = 498 Search steps = 0 Wall clock TIME (seconds) = 0.012 CPU/machine TIME (seconds) = 0.010 ] ] 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 = 3049 Produced CNF clauses = 505 Search steps = 0 Wall clock TIME (seconds) = 0.012 CPU/machine TIME (seconds) = 0.010 ] ] 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 = 3774 Produced CNF clauses = 367 Search steps = 0 Wall clock TIME (seconds) = 0.016 CPU/machine TIME (seconds) = 0.010 ] ] 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 = 3490 Produced CNF clauses = 418 Search steps = 0 Wall clock TIME (seconds) = 0.015 CPU/machine TIME (seconds) = 0.010 ] ] 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 = 3308 Produced CNF clauses = 457 Search steps = 0 Wall clock TIME (seconds) = 0.014 CPU/machine TIME (seconds) = 0.000 ] ] 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 = 3674 Produced CNF clauses = 387 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=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 = 3859 Produced CNF clauses = 610 Search steps = 0 Wall clock TIME (seconds) = 0.015 CPU/machine TIME (seconds) = 0.000 ] ] 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 = 3168 Produced CNF clauses = 755 Search steps = 0 Wall clock TIME (seconds) = 0.012 CPU/machine TIME (seconds) = 0.000 ] ] 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 = 4100 Produced CNF clauses = 568 Search steps = 0 Wall clock TIME (seconds) = 0.016 CPU/machine TIME (seconds) = 0.010 ] ] 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 = 3903 Produced CNF clauses = 594 Search steps = 0 Wall clock TIME (seconds) = 0.015 CPU/machine TIME (seconds) = 0.010 ] ] 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 = 3888 Produced CNF clauses = 598 Search steps = 0 Wall clock TIME (seconds) = 0.015 CPU/machine TIME (seconds) = 0.010 ] ] 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 = 4028 Produced CNF clauses = 584 Search steps = 0 Wall clock TIME (seconds) = 0.016 CPU/machine TIME (seconds) = 0.010 ] ] 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 = 4742 Produced CNF clauses = 446 Search steps = 0 Wall clock TIME (seconds) = 0.020 CPU/machine TIME (seconds) = 0.010 ] ] 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 = 4442 Produced CNF clauses = 498 Search steps = 0 Wall clock TIME (seconds) = 0.018 CPU/machine TIME (seconds) = 0.010 ] ] 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 = 4149 Produced CNF clauses = 560 Search steps = 0 Wall clock TIME (seconds) = 0.016 CPU/machine TIME (seconds) = 0.010 ] ] 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 = 4536 Produced CNF clauses = 485 Search steps = 0 Wall clock TIME (seconds) = 0.018 CPU/machine TIME (seconds) = 0.010 ] ] 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 = 4841 Produced CNF clauses = 704 Search steps = 0 Wall clock TIME (seconds) = 0.018 CPU/machine TIME (seconds) = 0.010 ] ] 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 = 4159 Produced CNF clauses = 847 Search steps = 0 Wall clock TIME (seconds) = 0.015 CPU/machine TIME (seconds) = 0.010 ] ] 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 = 5117 Produced CNF clauses = 660 Search steps = 0 Wall clock TIME (seconds) = 0.019 CPU/machine TIME (seconds) = 0.010 ] ] 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 = 4773 Produced CNF clauses = 715 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=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 = 4839 Produced CNF clauses = 701 Search steps = 0 Wall clock TIME (seconds) = 0.018 CPU/machine TIME (seconds) = 0.010 ] ] 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 = 5080 Produced CNF clauses = 663 Search steps = 0 Wall clock TIME (seconds) = 0.019 CPU/machine TIME (seconds) = 0.020 ] ] 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 = 5839 Produced CNF clauses = 521 Search steps = 0 Wall clock TIME (seconds) = 0.023 CPU/machine TIME (seconds) = 0.020 ] ] 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 = 5552 Produced CNF clauses = 570 Search steps = 0 Wall clock TIME (seconds) = 0.022 CPU/machine TIME (seconds) = 0.010 ] ] 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 = 5298 Produced CNF clauses = 622 Search steps = 0 Wall clock TIME (seconds) = 0.020 CPU/machine TIME (seconds) = 0.020 ] ] 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 = 5765 Produced CNF clauses = 534 Search steps = 0 Wall clock TIME (seconds) = 0.023 CPU/machine TIME (seconds) = 0.020 ] ] grid size = 4 max robots = 8 1,3455 c number of literals = 2268 c number of literals / number of clauses = 2.972 1,12 c number of literals = 472 c number of literals / number of clauses = 3.806 1,45 c number of literals = 2790 c number of literals / number of clauses = 2.879 1,78 c number of literals = 1779 c number of literals / number of clauses = 3.005 1,8546 c number of literals = 1849 c number of literals / number of clauses = 3.021 1,474 c number of literals = 1717 c number of literals / number of clauses = 2.991 1,188 c number of literals = 3358 c number of literals / number of clauses = 2.817 1,7899 c number of literals = 2500 c number of literals / number of clauses = 2.890 1,9 c number of literals = 2136 c number of literals / number of clauses = 2.926 1,774 c number of literals = 2458 c number of literals / number of clauses = 2.878 2,3455 c number of literals = 4951 c number of literals / number of clauses = 3.010 2,12 c number of literals = 2831 c number of literals / number of clauses = 3.217 2,45 c number of literals = 4200 c number of literals / number of clauses = 3.006 2,78 c number of literals = 4138 c number of literals / number of clauses = 3.029 2,8546 c number of literals = 5184 c number of literals / number of clauses = 3.003 2,474 c number of literals = 3888 c number of literals / number of clauses = 3.052 2,188 c number of literals = 6710 c number of literals / number of clauses = 2.868 2,7899 c number of literals = 5608 c number of literals / number of clauses = 2.919 2,9 c number of literals = 4762 c number of literals / number of clauses = 2.973 2,774 c number of literals = 6931 c number of literals / number of clauses = 2.863 3,3455 c number of literals = 8512 c number of literals / number of clauses = 3.032 3,12 c number of literals = 4946 c number of literals / number of clauses = 3.231 3,45 c number of literals = 8489 c number of literals / number of clauses = 3.001 3,78 c number of literals = 8861 c number of literals / number of clauses = 3.001 3,8546 c number of literals = 8638 c number of literals / number of clauses = 3.026 3,474 c number of literals = 9312 c number of literals / number of clauses = 2.978 3,188 c number of literals = 12043 c number of literals / number of clauses = 2.882 3,7899 c number of literals = 11114 c number of literals / number of clauses = 2.916 3,9 c number of literals = 9876 c number of literals / number of clauses = 2.949 3,774 c number of literals = 11519 c number of literals / number of clauses = 2.891 4,3455 c number of literals = 13363 c number of literals / number of clauses = 3.032 4,12 c number of literals = 10838 c number of literals / number of clauses = 3.125 4,45 c number of literals = 13081 c number of literals / number of clauses = 3.011 4,78 c number of literals = 12674 c number of literals / number of clauses = 3.039 4,8546 c number of literals = 13108 c number of literals / number of clauses = 3.038 4,474 c number of literals = 12379 c number of literals / number of clauses = 3.031 4,188 c number of literals = 17766 c number of literals / number of clauses = 2.903 4,7899 c number of literals = 15922 c number of literals / number of clauses = 2.943 4,9 c number of literals = 15436 c number of literals / number of clauses = 2.960 4,774 c number of literals = 17074 c number of literals / number of clauses = 2.909 5,3455 c number of literals = 18226 c number of literals / number of clauses = 3.051 5,12 c number of literals = 14003 c number of literals / number of clauses = 3.153 5,45 c number of literals = 18914 c number of literals / number of clauses = 3.007 5,78 c number of literals = 16011 c number of literals / number of clauses = 3.077 5,8546 c number of literals = 17853 c number of literals / number of clauses = 3.052 5,474 c number of literals = 18453 c number of literals / number of clauses = 3.028 5,188 c number of literals = 23168 c number of literals / number of clauses = 2.930 5,7899 c number of literals = 22619 c number of literals / number of clauses = 2.951 5,9 c number of literals = 19834 c number of literals / number of clauses = 2.992 5,774 c number of literals = 24061 c number of literals / number of clauses = 2.922 6,3455 c number of literals = 24435 c number of literals / number of clauses = 3.056 6,12 c number of literals = 19500 c number of literals / number of clauses = 3.146 6,45 c number of literals = 25185 c number of literals / number of clauses = 3.017 6,78 c number of literals = 23025 c number of literals / number of clauses = 3.065 6,8546 c number of literals = 25119 c number of literals / number of clauses = 3.044 6,474 c number of literals = 25184 c number of literals / number of clauses = 3.032 6,188 c number of literals = 31757 c number of literals / number of clauses = 2.933 6,7899 c number of literals = 29180 c number of literals / number of clauses = 2.968 6,9 c number of literals = 27533 c number of literals / number of clauses = 2.990 6,774 c number of literals = 30837 c number of literals / number of clauses = 2.940 7,3455 c number of literals = 31272 c number of literals / number of clauses = 3.063 7,12 c number of literals = 24873 c number of literals / number of clauses = 3.150 7,45 c number of literals = 33413 c number of literals / number of clauses = 3.017 7,78 c number of literals = 31614 c number of literals / number of clauses = 3.050 7,8546 c number of literals = 31510 c number of literals / number of clauses = 3.058 7,474 c number of literals = 32784 c number of literals / number of clauses = 3.029 7,188 c number of literals = 39243 c number of literals / number of clauses = 2.949 7,7899 c number of literals = 36526 c number of literals / number of clauses = 2.982 7,9 c number of literals = 33862 c number of literals / number of clauses = 3.010 7,774 c number of literals = 37350 c number of literals / number of clauses = 2.965 8,3455 c number of literals = 38649 c number of literals / number of clauses = 3.074 8,12 c number of literals = 32328 c number of literals / number of clauses = 3.142 8,45 c number of literals = 41097 c number of literals / number of clauses = 3.027 8,78 c number of literals = 37946 c number of literals / number of clauses = 3.069 8,8546 c number of literals = 38594 c number of literals / number of clauses = 3.070 8,474 c number of literals = 40801 c number of literals / number of clauses = 3.040 8,188 c number of literals = 47654 c number of literals / number of clauses = 2.964 8,7899 c number of literals = 45062 c number of literals / number of clauses = 2.992 8,9 c number of literals = 42764 c number of literals / number of clauses = 3.015 8,774 c number of literals = 46975 c number of literals / number of clauses = 2.969 grid size = 4 max robots = 8 1,3455 c number of visible variables = 32 c number of hidden variables = 194 c number of propositional variables = 226 c number of clauses / number of variables = 3.376 1,12 c number of visible variables = 32 c number of hidden variables = 0 c number of propositional variables = 32 c number of clauses / number of variables = 3.875 1,45 c number of visible variables = 32 c number of hidden variables = 252 c number of propositional variables = 284 c number of clauses / number of variables = 3.412 1,78 c number of visible variables = 32 c number of hidden variables = 142 c number of propositional variables = 174 c number of clauses / number of variables = 3.402 1,8546 c number of visible variables = 32 c number of hidden variables = 149 c number of propositional variables = 181 c number of clauses / number of variables = 3.381 1,474 c number of visible variables = 32 c number of hidden variables = 135 c number of propositional variables = 167 c number of clauses / number of variables = 3.437 1,188 c number of visible variables = 32 c number of hidden variables = 315 c number of propositional variables = 347 c number of clauses / number of variables = 3.435 1,7899 c number of visible variables = 32 c number of hidden variables = 221 c number of propositional variables = 253 c number of clauses / number of variables = 3.419 1,9 c number of visible variables = 32 c number of hidden variables = 181 c number of propositional variables = 213 c number of clauses / number of variables = 3.427 1,774 c number of visible variables = 32 c number of hidden variables = 217 c number of propositional variables = 249 c number of clauses / number of variables = 3.430 2,3455 c number of visible variables = 64 c number of hidden variables = 462 c number of propositional variables = 526 c number of clauses / number of variables = 3.127 2,12 c number of visible variables = 64 c number of hidden variables = 233 c number of propositional variables = 297 c number of clauses / number of variables = 2.963 2,45 c number of visible variables = 64 c number of hidden variables = 383 c number of propositional variables = 447 c number of clauses / number of variables = 3.125 2,78 c number of visible variables = 64 c number of hidden variables = 376 c number of propositional variables = 440 c number of clauses / number of variables = 3.105 2,8546 c number of visible variables = 64 c number of hidden variables = 488 c number of propositional variables = 552 c number of clauses / number of variables = 3.127 2,474 c number of visible variables = 64 c number of hidden variables = 348 c number of propositional variables = 412 c number of clauses / number of variables = 3.092 2,188 c number of visible variables = 64 c number of hidden variables = 658 c number of propositional variables = 722 c number of clauses / number of variables = 3.241 2,7899 c number of visible variables = 64 c number of hidden variables = 537 c number of propositional variables = 601 c number of clauses / number of variables = 3.196 2,9 c number of visible variables = 64 c number of hidden variables = 444 c number of propositional variables = 508 c number of clauses / number of variables = 3.154 2,774 c number of visible variables = 64 c number of hidden variables = 682 c number of propositional variables = 746 c number of clauses / number of variables = 3.245 3,3455 c number of visible variables = 96 c number of hidden variables = 854 c number of propositional variables = 950 c number of clauses / number of variables = 2.955 3,12 c number of visible variables = 96 c number of hidden variables = 469 c number of propositional variables = 565 c number of clauses / number of variables = 2.710 3,45 c number of visible variables = 96 c number of hidden variables = 855 c number of propositional variables = 951 c number of clauses / number of variables = 2.975 3,78 c number of visible variables = 96 c number of hidden variables = 895 c number of propositional variables = 991 c number of clauses / number of variables = 2.980 3,8546 c number of visible variables = 96 c number of hidden variables = 869 c number of propositional variables = 965 c number of clauses / number of variables = 2.959 3,474 c number of visible variables = 96 c number of hidden variables = 943 c number of propositional variables = 1039 c number of clauses / number of variables = 3.010 3,188 c number of visible variables = 96 c number of hidden variables = 1245 c number of propositional variables = 1341 c number of clauses / number of variables = 3.116 3,7899 c number of visible variables = 96 c number of hidden variables = 1142 c number of propositional variables = 1238 c number of clauses / number of variables = 3.079 3,9 c number of visible variables = 96 c number of hidden variables = 1006 c number of propositional variables = 1102 c number of clauses / number of variables = 3.039 3,774 c number of visible variables = 96 c number of hidden variables = 1188 c number of propositional variables = 1284 c number of clauses / number of variables = 3.103 4,3455 c number of visible variables = 128 c number of hidden variables = 1415 c number of propositional variables = 1543 c number of clauses / number of variables = 2.857 4,12 c number of visible variables = 128 c number of hidden variables = 1142 c number of propositional variables = 1270 c number of clauses / number of variables = 2.731 4,45 c number of visible variables = 128 c number of hidden variables = 1389 c number of propositional variables = 1517 c number of clauses / number of variables = 2.864 4,78 c number of visible variables = 128 c number of hidden variables = 1344 c number of propositional variables = 1472 c number of clauses / number of variables = 2.833 4,8546 c number of visible variables = 128 c number of hidden variables = 1389 c number of propositional variables = 1517 c number of clauses / number of variables = 2.844 4,474 c number of visible variables = 128 c number of hidden variables = 1311 c number of propositional variables = 1439 c number of clauses / number of variables = 2.838 4,188 c number of visible variables = 128 c number of hidden variables = 1903 c number of propositional variables = 2031 c number of clauses / number of variables = 3.013 4,7899 c number of visible variables = 128 c number of hidden variables = 1700 c number of propositional variables = 1828 c number of clauses / number of variables = 2.960 4,9 c number of visible variables = 128 c number of hidden variables = 1645 c number of propositional variables = 1773 c number of clauses / number of variables = 2.941 4,774 c number of visible variables = 128 c number of hidden variables = 1828 c number of propositional variables = 1956 c number of clauses / number of variables = 3.001 5,3455 c number of visible variables = 160 c number of hidden variables = 2006 c number of propositional variables = 2166 c number of clauses / number of variables = 2.758 5,12 c number of visible variables = 160 c number of hidden variables = 1550 c number of propositional variables = 1710 c number of clauses / number of variables = 2.597 5,45 c number of visible variables = 160 c number of hidden variables = 2087 c number of propositional variables = 2247 c number of clauses / number of variables = 2.799 5,78 c number of visible variables = 160 c number of hidden variables = 1771 c number of propositional variables = 1931 c number of clauses / number of variables = 2.694 5,8546 c number of visible variables = 160 c number of hidden variables = 1968 c number of propositional variables = 2128 c number of clauses / number of variables = 2.749 5,474 c number of visible variables = 160 c number of hidden variables = 2034 c number of propositional variables = 2194 c number of clauses / number of variables = 2.778 5,188 c number of visible variables = 160 c number of hidden variables = 2555 c number of propositional variables = 2715 c number of clauses / number of variables = 2.912 5,7899 c number of visible variables = 160 c number of hidden variables = 2492 c number of propositional variables = 2652 c number of clauses / number of variables = 2.890 5,9 c number of visible variables = 160 c number of hidden variables = 2187 c number of propositional variables = 2347 c number of clauses / number of variables = 2.825 5,774 c number of visible variables = 160 c number of hidden variables = 2652 c number of propositional variables = 2812 c number of clauses / number of variables = 2.928 6,3455 c number of visible variables = 192 c number of hidden variables = 2772 c number of propositional variables = 2964 c number of clauses / number of variables = 2.697 6,12 c number of visible variables = 192 c number of hidden variables = 2239 c number of propositional variables = 2431 c number of clauses / number of variables = 2.550 6,45 c number of visible variables = 192 c number of hidden variables = 2861 c number of propositional variables = 3053 c number of clauses / number of variables = 2.734 6,78 c number of visible variables = 192 c number of hidden variables = 2625 c number of propositional variables = 2817 c number of clauses / number of variables = 2.667 6,8546 c number of visible variables = 192 c number of hidden variables = 2849 c number of propositional variables = 3041 c number of clauses / number of variables = 2.714 6,474 c number of visible variables = 192 c number of hidden variables = 2857 c number of propositional variables = 3049 c number of clauses / number of variables = 2.724 6,188 c number of visible variables = 192 c number of hidden variables = 3582 c number of propositional variables = 3774 c number of clauses / number of variables = 2.869 6,7899 c number of visible variables = 192 c number of hidden variables = 3298 c number of propositional variables = 3490 c number of clauses / number of variables = 2.817 6,9 c number of visible variables = 192 c number of hidden variables = 3116 c number of propositional variables = 3308 c number of clauses / number of variables = 2.784 6,774 c number of visible variables = 192 c number of hidden variables = 3482 c number of propositional variables = 3674 c number of clauses / number of variables = 2.854 7,3455 c number of visible variables = 224 c number of hidden variables = 3635 c number of propositional variables = 3859 c number of clauses / number of variables = 2.646 7,12 c number of visible variables = 224 c number of hidden variables = 2944 c number of propositional variables = 3168 c number of clauses / number of variables = 2.492 7,45 c number of visible variables = 224 c number of hidden variables = 3876 c number of propositional variables = 4100 c number of clauses / number of variables = 2.701 7,78 c number of visible variables = 224 c number of hidden variables = 3679 c number of propositional variables = 3903 c number of clauses / number of variables = 2.656 7,8546 c number of visible variables = 224 c number of hidden variables = 3664 c number of propositional variables = 3888 c number of clauses / number of variables = 2.650 7,474 c number of visible variables = 224 c number of hidden variables = 3804 c number of propositional variables = 4028 c number of clauses / number of variables = 2.687 7,188 c number of visible variables = 224 c number of hidden variables = 4518 c number of propositional variables = 4742 c number of clauses / number of variables = 2.806 7,7899 c number of visible variables = 224 c number of hidden variables = 4218 c number of propositional variables = 4442 c number of clauses / number of variables = 2.757 7,9 c number of visible variables = 224 c number of hidden variables = 3925 c number of propositional variables = 4149 c number of clauses / number of variables = 2.711 7,774 c number of visible variables = 224 c number of hidden variables = 4312 c number of propositional variables = 4536 c number of clauses / number of variables = 2.778 8,3455 c number of visible variables = 256 c number of hidden variables = 4585 c number of propositional variables = 4841 c number of clauses / number of variables = 2.597 8,12 c number of visible variables = 256 c number of hidden variables = 3903 c number of propositional variables = 4159 c number of clauses / number of variables = 2.474 8,45 c number of visible variables = 256 c number of hidden variables = 4861 c number of propositional variables = 5117 c number of clauses / number of variables = 2.653 8,78 c number of visible variables = 256 c number of hidden variables = 4517 c number of propositional variables = 4773 c number of clauses / number of variables = 2.591 8,8546 c number of visible variables = 256 c number of hidden variables = 4583 c number of propositional variables = 4839 c number of clauses / number of variables = 2.598 8,474 c number of visible variables = 256 c number of hidden variables = 4824 c number of propositional variables = 5080 c number of clauses / number of variables = 2.642 8,188 c number of visible variables = 256 c number of hidden variables = 5583 c number of propositional variables = 5839 c number of clauses / number of variables = 2.754 8,7899 c number of visible variables = 256 c number of hidden variables = 5296 c number of propositional variables = 5552 c number of clauses / number of variables = 2.713 8,9 c number of visible variables = 256 c number of hidden variables = 5042 c number of propositional variables = 5298 c number of clauses / number of variables = 2.678 8,774 c number of visible variables = 256 c number of hidden variables = 5509 c number of propositional variables = 5765 c number of clauses / number of variables = 2.744 grid size = 4 max robots = 8 1,3455 c number of clauses = 763 c number of clauses / number of variables = 3.376 c number of literals / number of clauses = 2.972 1,12 c number of clauses = 124 c number of clauses / number of variables = 3.875 c number of literals / number of clauses = 3.806 1,45 c number of clauses = 969 c number of clauses / number of variables = 3.412 c number of literals / number of clauses = 2.879 1,78 c number of clauses = 592 c number of clauses / number of variables = 3.402 c number of literals / number of clauses = 3.005 1,8546 c number of clauses = 612 c number of clauses / number of variables = 3.381 c number of literals / number of clauses = 3.021 1,474 c number of clauses = 574 c number of clauses / number of variables = 3.437 c number of literals / number of clauses = 2.991 1,188 c number of clauses = 1192 c number of clauses / number of variables = 3.435 c number of literals / number of clauses = 2.817 1,7899 c number of clauses = 865 c number of clauses / number of variables = 3.419 c number of literals / number of clauses = 2.890 1,9 c number of clauses = 730 c number of clauses / number of variables = 3.427 c number of literals / number of clauses = 2.926 1,774 c number of clauses = 854 c number of clauses / number of variables = 3.430 c number of literals / number of clauses = 2.878 2,3455 c number of clauses = 1645 c number of clauses / number of variables = 3.127 c number of literals / number of clauses = 3.010 2,12 c number of clauses = 880 c number of clauses / number of variables = 2.963 c number of literals / number of clauses = 3.217 2,45 c number of clauses = 1397 c number of clauses / number of variables = 3.125 c number of literals / number of clauses = 3.006 2,78 c number of clauses = 1366 c number of clauses / number of variables = 3.105 c number of literals / number of clauses = 3.029 2,8546 c number of clauses = 1726 c number of clauses / number of variables = 3.127 c number of literals / number of clauses = 3.003 2,474 c number of clauses = 1274 c number of clauses / number of variables = 3.092 c number of literals / number of clauses = 3.052 2,188 c number of clauses = 2340 c number of clauses / number of variables = 3.241 c number of literals / number of clauses = 2.868 2,7899 c number of clauses = 1921 c number of clauses / number of variables = 3.196 c number of literals / number of clauses = 2.919 2,9 c number of clauses = 1602 c number of clauses / number of variables = 3.154 c number of literals / number of clauses = 2.973 2,774 c number of clauses = 2421 c number of clauses / number of variables = 3.245 c number of literals / number of clauses = 2.863 3,3455 c number of clauses = 2807 c number of clauses / number of variables = 2.955 c number of literals / number of clauses = 3.032 3,12 c number of clauses = 1531 c number of clauses / number of variables = 2.710 c number of literals / number of clauses = 3.231 3,45 c number of clauses = 2829 c number of clauses / number of variables = 2.975 c number of literals / number of clauses = 3.001 3,78 c number of clauses = 2953 c number of clauses / number of variables = 2.980 c number of literals / number of clauses = 3.001 3,8546 c number of clauses = 2855 c number of clauses / number of variables = 2.959 c number of literals / number of clauses = 3.026 3,474 c number of clauses = 3127 c number of clauses / number of variables = 3.010 c number of literals / number of clauses = 2.978 3,188 c number of clauses = 4179 c number of clauses / number of variables = 3.116 c number of literals / number of clauses = 2.882 3,7899 c number of clauses = 3812 c number of clauses / number of variables = 3.079 c number of literals / number of clauses = 2.916 3,9 c number of clauses = 3349 c number of clauses / number of variables = 3.039 c number of literals / number of clauses = 2.949 3,774 c number of clauses = 3984 c number of clauses / number of variables = 3.103 c number of literals / number of clauses = 2.891 4,3455 c number of clauses = 4408 c number of clauses / number of variables = 2.857 c number of literals / number of clauses = 3.032 4,12 c number of clauses = 3468 c number of clauses / number of variables = 2.731 c number of literals / number of clauses = 3.125 4,45 c number of clauses = 4344 c number of clauses / number of variables = 2.864 c number of literals / number of clauses = 3.011 4,78 c number of clauses = 4170 c number of clauses / number of variables = 2.833 c number of literals / number of clauses = 3.039 4,8546 c number of clauses = 4315 c number of clauses / number of variables = 2.844 c number of literals / number of clauses = 3.038 4,474 c number of clauses = 4084 c number of clauses / number of variables = 2.838 c number of literals / number of clauses = 3.031 4,188 c number of clauses = 6119 c number of clauses / number of variables = 3.013 c number of literals / number of clauses = 2.903 4,7899 c number of clauses = 5410 c number of clauses / number of variables = 2.960 c number of literals / number of clauses = 2.943 4,9 c number of clauses = 5215 c number of clauses / number of variables = 2.941 c number of literals / number of clauses = 2.960 4,774 c number of clauses = 5870 c number of clauses / number of variables = 3.001 c number of literals / number of clauses = 2.909 5,3455 c number of clauses = 5973 c number of clauses / number of variables = 2.758 c number of literals / number of clauses = 3.051 5,12 c number of clauses = 4441 c number of clauses / number of variables = 2.597 c number of literals / number of clauses = 3.153 5,45 c number of clauses = 6290 c number of clauses / number of variables = 2.799 c number of literals / number of clauses = 3.007 5,78 c number of clauses = 5203 c number of clauses / number of variables = 2.694 c number of literals / number of clauses = 3.077 5,8546 c number of clauses = 5849 c number of clauses / number of variables = 2.749 c number of literals / number of clauses = 3.052 5,474 c number of clauses = 6095 c number of clauses / number of variables = 2.778 c number of literals / number of clauses = 3.028 5,188 c number of clauses = 7906 c number of clauses / number of variables = 2.912 c number of literals / number of clauses = 2.930 5,7899 c number of clauses = 7665 c number of clauses / number of variables = 2.890 c number of literals / number of clauses = 2.951 5,9 c number of clauses = 6630 c number of clauses / number of variables = 2.825 c number of literals / number of clauses = 2.992 5,774 c number of clauses = 8234 c number of clauses / number of variables = 2.928 c number of literals / number of clauses = 2.922 6,3455 c number of clauses = 7995 c number of clauses / number of variables = 2.697 c number of literals / number of clauses = 3.056 6,12 c number of clauses = 6199 c number of clauses / number of variables = 2.550 c number of literals / number of clauses = 3.146 6,45 c number of clauses = 8348 c number of clauses / number of variables = 2.734 c number of literals / number of clauses = 3.017 6,78 c number of clauses = 7512 c number of clauses / number of variables = 2.667 c number of literals / number of clauses = 3.065 6,8546 c number of clauses = 8252 c number of clauses / number of variables = 2.714 c number of literals / number of clauses = 3.044 6,474 c number of clauses = 8305 c number of clauses / number of variables = 2.724 c number of literals / number of clauses = 3.032 6,188 c number of clauses = 10827 c number of clauses / number of variables = 2.869 c number of literals / number of clauses = 2.933 6,7899 c number of clauses = 9832 c number of clauses / number of variables = 2.817 c number of literals / number of clauses = 2.968 6,9 c number of clauses = 9209 c number of clauses / number of variables = 2.784 c number of literals / number of clauses = 2.990 6,774 c number of clauses = 10487 c number of clauses / number of variables = 2.854 c number of literals / number of clauses = 2.940 7,3455 c number of clauses = 10210 c number of clauses / number of variables = 2.646 c number of literals / number of clauses = 3.063 7,12 c number of clauses = 7895 c number of clauses / number of variables = 2.492 c number of literals / number of clauses = 3.150 7,45 c number of clauses = 11076 c number of clauses / number of variables = 2.701 c number of literals / number of clauses = 3.017 7,78 c number of clauses = 10366 c number of clauses / number of variables = 2.656 c number of literals / number of clauses = 3.050 7,8546 c number of clauses = 10304 c number of clauses / number of variables = 2.650 c number of literals / number of clauses = 3.058 7,474 c number of clauses = 10822 c number of clauses / number of variables = 2.687 c number of literals / number of clauses = 3.029 7,188 c number of clauses = 13306 c number of clauses / number of variables = 2.806 c number of literals / number of clauses = 2.949 7,7899 c number of clauses = 12248 c number of clauses / number of variables = 2.757 c number of literals / number of clauses = 2.982 7,9 c number of clauses = 11248 c number of clauses / number of variables = 2.711 c number of literals / number of clauses = 3.010 7,774 c number of clauses = 12599 c number of clauses / number of variables = 2.778 c number of literals / number of clauses = 2.965 8,3455 c number of clauses = 12572 c number of clauses / number of variables = 2.597 c number of literals / number of clauses = 3.074 8,12 c number of clauses = 10289 c number of clauses / number of variables = 2.474 c number of literals / number of clauses = 3.142 8,45 c number of clauses = 13576 c number of clauses / number of variables = 2.653 c number of literals / number of clauses = 3.027 8,78 c number of clauses = 12365 c number of clauses / number of variables = 2.591 c number of literals / number of clauses = 3.069 8,8546 c number of clauses = 12571 c number of clauses / number of variables = 2.598 c number of literals / number of clauses = 3.070 8,474 c number of clauses = 13421 c number of clauses / number of variables = 2.642 c number of literals / number of clauses = 3.040 8,188 c number of clauses = 16079 c number of clauses / number of variables = 2.754 c number of literals / number of clauses = 2.964 8,7899 c number of clauses = 15062 c number of clauses / number of variables = 2.713 c number of literals / number of clauses = 2.992 8,9 c number of clauses = 14186 c number of clauses / number of variables = 2.678 c number of literals / number of clauses = 3.015 8,774 c number of clauses = 15822 c number of clauses / number of variables = 2.744 c number of literals / number of clauses = 2.969