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 = 176 Produced CNF clauses = 401 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 = 192 Produced CNF clauses = 216 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 = 208 Produced CNF clauses = 521 Search steps = 0 Wall clock TIME (seconds) = 0.003 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 = 208 Produced CNF clauses = 385 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=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 = 192 Produced CNF clauses = 369 Search steps = 0 Wall clock TIME (seconds) = 0.002 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 = 192 Produced CNF clauses = 365 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=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 = 240 Produced CNF clauses = 647 Search steps = 0 Wall clock TIME (seconds) = 0.003 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 = 224 Produced CNF clauses = 505 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=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 = 208 Produced CNF clauses = 439 Search steps = 0 Wall clock TIME (seconds) = 0.002 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 = 240 Produced CNF clauses = 523 Search steps = 0 Wall clock TIME (seconds) = 0.003 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 = 264 Produced CNF clauses = 842 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=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 = 288 Produced CNF clauses = 633 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=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 = 312 Produced CNF clauses = 869 Search steps = 0 Wall clock TIME (seconds) = 0.004 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 = 312 Produced CNF clauses = 850 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=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 = 288 Produced CNF clauses = 910 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=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 = 288 Produced CNF clauses = 774 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=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 = 360 Produced CNF clauses = 1302 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=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 = 336 Produced CNF clauses = 1100 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=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 = 312 Produced CNF clauses = 938 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=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 = 360 Produced CNF clauses = 1330 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=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 = 352 Produced CNF clauses = 1371 Search steps = 0 Wall clock TIME (seconds) = 0.006 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 = 384 Produced CNF clauses = 1037 Search steps = 0 Wall clock TIME (seconds) = 0.004 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 = 416 Produced CNF clauses = 1561 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=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 = 416 Produced CNF clauses = 1593 Search steps = 0 Wall clock TIME (seconds) = 0.007 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 = 384 Produced CNF clauses = 1467 Search steps = 0 Wall clock TIME (seconds) = 0.006 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 = 384 Produced CNF clauses = 1583 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=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 = 480 Produced CNF clauses = 2225 Search steps = 0 Wall clock TIME (seconds) = 0.010 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 = 448 Produced CNF clauses = 1997 Search steps = 0 Wall clock TIME (seconds) = 0.009 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 = 416 Produced CNF clauses = 1751 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=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 = 480 Produced CNF clauses = 2155 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=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 = 440 Produced CNF clauses = 2050 Search steps = 0 Wall clock TIME (seconds) = 0.008 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 = 480 Produced CNF clauses = 1832 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=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 = 520 Produced CNF clauses = 2302 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=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 = 520 Produced CNF clauses = 2220 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=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 = 480 Produced CNF clauses = 2138 Search steps = 0 Wall clock TIME (seconds) = 0.008 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 = 480 Produced CNF clauses = 2090 Search steps = 0 Wall clock TIME (seconds) = 0.008 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 = 600 Produced CNF clauses = 3206 Search steps = 0 Wall clock TIME (seconds) = 0.013 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 = 560 Produced CNF clauses = 2812 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=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 = 520 Produced CNF clauses = 2610 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=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 = 600 Produced CNF clauses = 3124 Search steps = 0 Wall clock TIME (seconds) = 0.012 CPU/machine TIME (seconds) = 0.010 ] ] 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 = 528 Produced CNF clauses = 2709 Search steps = 0 Wall clock TIME (seconds) = 0.010 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 = 576 Produced CNF clauses = 2365 Search steps = 0 Wall clock TIME (seconds) = 0.008 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 = 624 Produced CNF clauses = 3216 Search steps = 0 Wall clock TIME (seconds) = 0.012 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 = 624 Produced CNF clauses = 2820 Search steps = 0 Wall clock TIME (seconds) = 0.010 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 = 576 Produced CNF clauses = 2847 Search steps = 0 Wall clock TIME (seconds) = 0.011 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 = 576 Produced CNF clauses = 2955 Search steps = 0 Wall clock TIME (seconds) = 0.011 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 = 720 Produced CNF clauses = 4163 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=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 = 672 Produced CNF clauses = 3875 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=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 = 624 Produced CNF clauses = 3335 Search steps = 0 Wall clock TIME (seconds) = 0.013 CPU/machine TIME (seconds) = 0.010 ] ] 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 = 720 Produced CNF clauses = 4277 Search steps = 0 Wall clock TIME (seconds) = 0.017 CPU/machine TIME (seconds) = 0.010 ] ] 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 = 616 Produced CNF clauses = 3522 Search steps = 0 Wall clock TIME (seconds) = 0.012 CPU/machine TIME (seconds) = 0.000 ] ] 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 = 672 Produced CNF clauses = 3142 Search steps = 0 Wall clock TIME (seconds) = 0.010 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 = 728 Produced CNF clauses = 4169 Search steps = 0 Wall clock TIME (seconds) = 0.014 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 = 728 Produced CNF clauses = 3840 Search steps = 0 Wall clock TIME (seconds) = 0.013 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 = 672 Produced CNF clauses = 3844 Search steps = 0 Wall clock TIME (seconds) = 0.014 CPU/machine TIME (seconds) = 0.000 ] ] 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 = 672 Produced CNF clauses = 3888 Search steps = 0 Wall clock TIME (seconds) = 0.014 CPU/machine TIME (seconds) = 0.000 ] ] 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 = 840 Produced CNF clauses = 5542 Search steps = 0 Wall clock TIME (seconds) = 0.020 CPU/machine TIME (seconds) = 0.020 ] ] 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 = 784 Produced CNF clauses = 4926 Search steps = 0 Wall clock TIME (seconds) = 0.018 CPU/machine TIME (seconds) = 0.000 ] ] 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 = 728 Produced CNF clauses = 4466 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=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 = 840 Produced CNF clauses = 5422 Search steps = 0 Wall clock TIME (seconds) = 0.020 CPU/machine TIME (seconds) = 0.020 ] ] 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 = 704 Produced CNF clauses = 4397 Search steps = 0 Wall clock TIME (seconds) = 0.014 CPU/machine TIME (seconds) = 0.010 ] ] 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 = 768 Produced CNF clauses = 3920 Search steps = 0 Wall clock TIME (seconds) = 0.011 CPU/machine TIME (seconds) = 0.010 ] ] 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 = 832 Produced CNF clauses = 5356 Search steps = 0 Wall clock TIME (seconds) = 0.018 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 = 832 Produced CNF clauses = 5065 Search steps = 0 Wall clock TIME (seconds) = 0.016 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 = 768 Produced CNF clauses = 4729 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 = 768 Produced CNF clauses = 4953 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 = 960 Produced CNF clauses = 6795 Search steps = 0 Wall clock TIME (seconds) = 0.024 CPU/machine TIME (seconds) = 0.020 ] ] 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 = 896 Produced CNF clauses = 6081 Search steps = 0 Wall clock TIME (seconds) = 0.020 CPU/machine TIME (seconds) = 0.020 ] ] 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 = 832 Produced CNF clauses = 5421 Search steps = 0 Wall clock TIME (seconds) = 0.018 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 = 960 Produced CNF clauses = 6539 Search steps = 0 Wall clock TIME (seconds) = 0.022 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 = 792 Produced CNF clauses = 5306 Search steps = 0 Wall clock TIME (seconds) = 0.016 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 = 864 Produced CNF clauses = 4917 Search steps = 0 Wall clock TIME (seconds) = 0.013 CPU/machine TIME (seconds) = 0.000 ] ] 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 = 936 Produced CNF clauses = 6483 Search steps = 0 Wall clock TIME (seconds) = 0.020 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 = 936 Produced CNF clauses = 6014 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 = 864 Produced CNF clauses = 5690 Search steps = 0 Wall clock TIME (seconds) = 0.017 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 = 864 Produced CNF clauses = 6020 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 = 1080 Produced CNF clauses = 8170 Search steps = 0 Wall clock TIME (seconds) = 0.027 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 = 1008 Produced CNF clauses = 7392 Search steps = 0 Wall clock TIME (seconds) = 0.024 CPU/machine TIME (seconds) = 0.020 ] ] 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 = 936 Produced CNF clauses = 6692 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=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 = 1080 Produced CNF clauses = 8074 Search steps = 0 Wall clock TIME (seconds) = 0.027 CPU/machine TIME (seconds) = 0.020 ] ] grid size = 4 max robots = 8 1,3455 c number of literals = 1054 c number of literals / number of clauses = 2.628 1,12 c number of literals = 312 c number of literals / number of clauses = 1.444 1,45 c number of literals = 1415 c number of literals / number of clauses = 2.716 1,78 c number of literals = 913 c number of literals / number of clauses = 2.371 1,8546 c number of literals = 896 c number of literals / number of clauses = 2.428 1,474 c number of literals = 870 c number of literals / number of clauses = 2.384 1,188 c number of literals = 1793 c number of literals / number of clauses = 2.771 1,7899 c number of literals = 1308 c number of literals / number of clauses = 2.590 1,9 c number of literals = 1110 c number of literals / number of clauses = 2.528 1,774 c number of literals = 1325 c number of literals / number of clauses = 2.533 2,3455 c number of literals = 2096 c number of literals / number of clauses = 2.489 2,12 c number of literals = 1221 c number of literals / number of clauses = 1.929 2,45 c number of literals = 1998 c number of literals / number of clauses = 2.299 2,78 c number of literals = 1933 c number of literals / number of clauses = 2.274 2,8546 c number of literals = 2269 c number of literals / number of clauses = 2.493 2,474 c number of literals = 1747 c number of literals / number of clauses = 2.257 2,188 c number of literals = 3394 c number of literals / number of clauses = 2.607 2,7899 c number of literals = 2746 c number of literals / number of clauses = 2.496 2,9 c number of literals = 2253 c number of literals / number of clauses = 2.402 2,774 c number of literals = 3507 c number of literals / number of clauses = 2.637 3,3455 c number of literals = 3322 c number of literals / number of clauses = 2.423 3,12 c number of literals = 1900 c number of literals / number of clauses = 1.832 3,45 c number of literals = 3682 c number of literals / number of clauses = 2.359 3,78 c number of literals = 3826 c number of literals / number of clauses = 2.402 3,8546 c number of literals = 3525 c number of literals / number of clauses = 2.403 3,474 c number of literals = 3944 c number of literals / number of clauses = 2.491 3,188 c number of literals = 5804 c number of literals / number of clauses = 2.609 3,7899 c number of literals = 5135 c number of literals / number of clauses = 2.571 3,9 c number of literals = 4395 c number of literals / number of clauses = 2.510 3,774 c number of literals = 5535 c number of literals / number of clauses = 2.568 4,3455 c number of literals = 4963 c number of literals / number of clauses = 2.421 4,12 c number of literals = 3910 c number of literals / number of clauses = 2.134 4,45 c number of literals = 5379 c number of literals / number of clauses = 2.337 4,78 c number of literals = 5103 c number of literals / number of clauses = 2.299 4,8546 c number of literals = 5045 c number of literals / number of clauses = 2.360 4,474 c number of literals = 4844 c number of literals / number of clauses = 2.318 4,188 c number of literals = 8212 c number of literals / number of clauses = 2.561 4,7899 c number of literals = 7010 c number of literals / number of clauses = 2.493 4,9 c number of literals = 6533 c number of literals / number of clauses = 2.503 4,774 c number of literals = 7909 c number of literals / number of clauses = 2.532 5,3455 c number of literals = 6369 c number of literals / number of clauses = 2.351 5,12 c number of literals = 4731 c number of literals / number of clauses = 2.000 5,45 c number of literals = 7527 c number of literals / number of clauses = 2.340 5,78 c number of literals = 6074 c number of literals / number of clauses = 2.154 5,8546 c number of literals = 6532 c number of literals / number of clauses = 2.294 5,474 c number of literals = 6918 c number of literals / number of clauses = 2.341 5,188 c number of literals = 10325 c number of literals / number of clauses = 2.480 5,7899 c number of literals = 9626 c number of literals / number of clauses = 2.484 5,9 c number of literals = 7968 c number of literals / number of clauses = 2.389 5,774 c number of literals = 10756 c number of literals / number of clauses = 2.515 6,3455 c number of literals = 8188 c number of literals / number of clauses = 2.325 6,12 c number of literals = 6316 c number of literals / number of clauses = 2.010 6,45 c number of literals = 9649 c number of literals / number of clauses = 2.314 6,78 c number of literals = 8467 c number of literals / number of clauses = 2.205 6,8546 c number of literals = 8936 c number of literals / number of clauses = 2.325 6,474 c number of literals = 9083 c number of literals / number of clauses = 2.336 6,188 c number of literals = 13824 c number of literals / number of clauses = 2.494 6,7899 c number of literals = 12011 c number of literals / number of clauses = 2.438 6,9 c number of literals = 10767 c number of literals / number of clauses = 2.411 6,774 c number of literals = 13370 c number of literals / number of clauses = 2.466 7,3455 c number of literals = 10104 c number of literals / number of clauses = 2.298 7,12 c number of literals = 7726 c number of literals / number of clauses = 1.971 7,45 c number of literals = 12481 c number of literals / number of clauses = 2.330 7,78 c number of literals = 11432 c number of literals / number of clauses = 2.257 7,8546 c number of literals = 10752 c number of literals / number of clauses = 2.274 7,474 c number of literals = 11569 c number of literals / number of clauses = 2.336 7,188 c number of literals = 16611 c number of literals / number of clauses = 2.445 7,7899 c number of literals = 14575 c number of literals / number of clauses = 2.397 7,9 c number of literals = 12710 c number of literals / number of clauses = 2.345 7,774 c number of literals = 15672 c number of literals / number of clauses = 2.397 8,3455 c number of literals = 11987 c number of literals / number of clauses = 2.259 8,12 c number of literals = 9811 c number of literals / number of clauses = 1.995 8,45 c number of literals = 14879 c number of literals / number of clauses = 2.295 8,78 c number of literals = 13169 c number of literals / number of clauses = 2.190 8,8546 c number of literals = 12688 c number of literals / number of clauses = 2.230 8,474 c number of literals = 13899 c number of literals / number of clauses = 2.309 8,188 c number of literals = 19665 c number of literals / number of clauses = 2.407 8,7899 c number of literals = 17529 c number of literals / number of clauses = 2.371 8,9 c number of literals = 15663 c number of literals / number of clauses = 2.341 8,774 c number of literals = 19329 c number of literals / number of clauses = 2.394 grid size = 4 max robots = 8 1,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 = 2.278 1,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 = 1.125 1,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 = 2.505 1,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 = 1.851 1,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 = 1.922 1,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 = 1.901 1,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 = 2.696 1,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 = 2.254 1,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 = 2.111 1,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 = 2.179 2,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 = 3.189 2,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 = 2.198 2,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 = 2.785 2,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 = 2.724 2,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 = 3.160 2,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 = 2.688 2,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 = 3.617 2,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 = 3.274 2,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 = 3.006 2,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 = 3.694 3,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 = 3.895 3,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 = 2.701 3,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 = 3.752 3,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 = 3.829 3,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 = 3.820 3,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 = 4.122 3,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 = 4.635 3,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 = 4.458 3,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 = 4.209 3,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 = 4.490 4,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 = 4.659 4,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 = 3.817 4,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 = 4.427 4,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 = 4.269 4,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 = 4.454 4,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 = 4.354 4,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 = 5.343 4,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 = 5.021 4,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 = 5.019 4,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 = 5.207 5,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 = 5.131 5,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 = 4.106 5,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 = 5.154 5,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 = 4.519 5,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 = 4.943 5,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 = 5.130 5,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 = 5.782 5,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 = 5.766 5,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 = 5.345 5,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 = 5.940 6,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 = 5.718 6,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 = 4.676 6,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 = 5.727 6,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 = 5.275 6,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 = 5.720 6,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 = 5.786 6,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 = 6.598 6,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 = 6.283 6,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 = 6.135 6,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 = 6.455 7,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 = 6.246 7,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 = 5.104 7,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 = 6.438 7,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 = 6.088 7,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 = 6.158 7,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 = 6.449 7,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 = 7.078 7,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 = 6.787 7,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 = 6.516 7,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 = 6.811 8,3455 c number of visible variables = 792 c number of hidden variables = 0 c number of propositional variables = 792 c number of clauses / number of variables = 6.699 8,12 c number of visible variables = 864 c number of hidden variables = 0 c number of propositional variables = 864 c number of clauses / number of variables = 5.691 8,45 c number of visible variables = 936 c number of hidden variables = 0 c number of propositional variables = 936 c number of clauses / number of variables = 6.926 8,78 c number of visible variables = 936 c number of hidden variables = 0 c number of propositional variables = 936 c number of clauses / number of variables = 6.425 8,8546 c number of visible variables = 864 c number of hidden variables = 0 c number of propositional variables = 864 c number of clauses / number of variables = 6.586 8,474 c number of visible variables = 864 c number of hidden variables = 0 c number of propositional variables = 864 c number of clauses / number of variables = 6.968 8,188 c number of visible variables = 1080 c number of hidden variables = 0 c number of propositional variables = 1080 c number of clauses / number of variables = 7.565 8,7899 c number of visible variables = 1008 c number of hidden variables = 0 c number of propositional variables = 1008 c number of clauses / number of variables = 7.333 8,9 c number of visible variables = 936 c number of hidden variables = 0 c number of propositional variables = 936 c number of clauses / number of variables = 7.150 8,774 c number of visible variables = 1080 c number of hidden variables = 0 c number of propositional variables = 1080 c number of clauses / number of variables = 7.476 grid size = 4 max robots = 8 1,3455 c number of clauses = 401 c number of clauses / number of variables = 2.278 c number of literals / number of clauses = 2.628 1,12 c number of clauses = 216 c number of clauses / number of variables = 1.125 c number of literals / number of clauses = 1.444 1,45 c number of clauses = 521 c number of clauses / number of variables = 2.505 c number of literals / number of clauses = 2.716 1,78 c number of clauses = 385 c number of clauses / number of variables = 1.851 c number of literals / number of clauses = 2.371 1,8546 c number of clauses = 369 c number of clauses / number of variables = 1.922 c number of literals / number of clauses = 2.428 1,474 c number of clauses = 365 c number of clauses / number of variables = 1.901 c number of literals / number of clauses = 2.384 1,188 c number of clauses = 647 c number of clauses / number of variables = 2.696 c number of literals / number of clauses = 2.771 1,7899 c number of clauses = 505 c number of clauses / number of variables = 2.254 c number of literals / number of clauses = 2.590 1,9 c number of clauses = 439 c number of clauses / number of variables = 2.111 c number of literals / number of clauses = 2.528 1,774 c number of clauses = 523 c number of clauses / number of variables = 2.179 c number of literals / number of clauses = 2.533 2,3455 c number of clauses = 842 c number of clauses / number of variables = 3.189 c number of literals / number of clauses = 2.489 2,12 c number of clauses = 633 c number of clauses / number of variables = 2.198 c number of literals / number of clauses = 1.929 2,45 c number of clauses = 869 c number of clauses / number of variables = 2.785 c number of literals / number of clauses = 2.299 2,78 c number of clauses = 850 c number of clauses / number of variables = 2.724 c number of literals / number of clauses = 2.274 2,8546 c number of clauses = 910 c number of clauses / number of variables = 3.160 c number of literals / number of clauses = 2.493 2,474 c number of clauses = 774 c number of clauses / number of variables = 2.688 c number of literals / number of clauses = 2.257 2,188 c number of clauses = 1302 c number of clauses / number of variables = 3.617 c number of literals / number of clauses = 2.607 2,7899 c number of clauses = 1100 c number of clauses / number of variables = 3.274 c number of literals / number of clauses = 2.496 2,9 c number of clauses = 938 c number of clauses / number of variables = 3.006 c number of literals / number of clauses = 2.402 2,774 c number of clauses = 1330 c number of clauses / number of variables = 3.694 c number of literals / number of clauses = 2.637 3,3455 c number of clauses = 1371 c number of clauses / number of variables = 3.895 c number of literals / number of clauses = 2.423 3,12 c number of clauses = 1037 c number of clauses / number of variables = 2.701 c number of literals / number of clauses = 1.832 3,45 c number of clauses = 1561 c number of clauses / number of variables = 3.752 c number of literals / number of clauses = 2.359 3,78 c number of clauses = 1593 c number of clauses / number of variables = 3.829 c number of literals / number of clauses = 2.402 3,8546 c number of clauses = 1467 c number of clauses / number of variables = 3.820 c number of literals / number of clauses = 2.403 3,474 c number of clauses = 1583 c number of clauses / number of variables = 4.122 c number of literals / number of clauses = 2.491 3,188 c number of clauses = 2225 c number of clauses / number of variables = 4.635 c number of literals / number of clauses = 2.609 3,7899 c number of clauses = 1997 c number of clauses / number of variables = 4.458 c number of literals / number of clauses = 2.571 3,9 c number of clauses = 1751 c number of clauses / number of variables = 4.209 c number of literals / number of clauses = 2.510 3,774 c number of clauses = 2155 c number of clauses / number of variables = 4.490 c number of literals / number of clauses = 2.568 4,3455 c number of clauses = 2050 c number of clauses / number of variables = 4.659 c number of literals / number of clauses = 2.421 4,12 c number of clauses = 1832 c number of clauses / number of variables = 3.817 c number of literals / number of clauses = 2.134 4,45 c number of clauses = 2302 c number of clauses / number of variables = 4.427 c number of literals / number of clauses = 2.337 4,78 c number of clauses = 2220 c number of clauses / number of variables = 4.269 c number of literals / number of clauses = 2.299 4,8546 c number of clauses = 2138 c number of clauses / number of variables = 4.454 c number of literals / number of clauses = 2.360 4,474 c number of clauses = 2090 c number of clauses / number of variables = 4.354 c number of literals / number of clauses = 2.318 4,188 c number of clauses = 3206 c number of clauses / number of variables = 5.343 c number of literals / number of clauses = 2.561 4,7899 c number of clauses = 2812 c number of clauses / number of variables = 5.021 c number of literals / number of clauses = 2.493 4,9 c number of clauses = 2610 c number of clauses / number of variables = 5.019 c number of literals / number of clauses = 2.503 4,774 c number of clauses = 3124 c number of clauses / number of variables = 5.207 c number of literals / number of clauses = 2.532 5,3455 c number of clauses = 2709 c number of clauses / number of variables = 5.131 c number of literals / number of clauses = 2.351 5,12 c number of clauses = 2365 c number of clauses / number of variables = 4.106 c number of literals / number of clauses = 2.000 5,45 c number of clauses = 3216 c number of clauses / number of variables = 5.154 c number of literals / number of clauses = 2.340 5,78 c number of clauses = 2820 c number of clauses / number of variables = 4.519 c number of literals / number of clauses = 2.154 5,8546 c number of clauses = 2847 c number of clauses / number of variables = 4.943 c number of literals / number of clauses = 2.294 5,474 c number of clauses = 2955 c number of clauses / number of variables = 5.130 c number of literals / number of clauses = 2.341 5,188 c number of clauses = 4163 c number of clauses / number of variables = 5.782 c number of literals / number of clauses = 2.480 5,7899 c number of clauses = 3875 c number of clauses / number of variables = 5.766 c number of literals / number of clauses = 2.484 5,9 c number of clauses = 3335 c number of clauses / number of variables = 5.345 c number of literals / number of clauses = 2.389 5,774 c number of clauses = 4277 c number of clauses / number of variables = 5.940 c number of literals / number of clauses = 2.515 6,3455 c number of clauses = 3522 c number of clauses / number of variables = 5.718 c number of literals / number of clauses = 2.325 6,12 c number of clauses = 3142 c number of clauses / number of variables = 4.676 c number of literals / number of clauses = 2.010 6,45 c number of clauses = 4169 c number of clauses / number of variables = 5.727 c number of literals / number of clauses = 2.314 6,78 c number of clauses = 3840 c number of clauses / number of variables = 5.275 c number of literals / number of clauses = 2.205 6,8546 c number of clauses = 3844 c number of clauses / number of variables = 5.720 c number of literals / number of clauses = 2.325 6,474 c number of clauses = 3888 c number of clauses / number of variables = 5.786 c number of literals / number of clauses = 2.336 6,188 c number of clauses = 5542 c number of clauses / number of variables = 6.598 c number of literals / number of clauses = 2.494 6,7899 c number of clauses = 4926 c number of clauses / number of variables = 6.283 c number of literals / number of clauses = 2.438 6,9 c number of clauses = 4466 c number of clauses / number of variables = 6.135 c number of literals / number of clauses = 2.411 6,774 c number of clauses = 5422 c number of clauses / number of variables = 6.455 c number of literals / number of clauses = 2.466 7,3455 c number of clauses = 4397 c number of clauses / number of variables = 6.246 c number of literals / number of clauses = 2.298 7,12 c number of clauses = 3920 c number of clauses / number of variables = 5.104 c number of literals / number of clauses = 1.971 7,45 c number of clauses = 5356 c number of clauses / number of variables = 6.438 c number of literals / number of clauses = 2.330 7,78 c number of clauses = 5065 c number of clauses / number of variables = 6.088 c number of literals / number of clauses = 2.257 7,8546 c number of clauses = 4729 c number of clauses / number of variables = 6.158 c number of literals / number of clauses = 2.274 7,474 c number of clauses = 4953 c number of clauses / number of variables = 6.449 c number of literals / number of clauses = 2.336 7,188 c number of clauses = 6795 c number of clauses / number of variables = 7.078 c number of literals / number of clauses = 2.445 7,7899 c number of clauses = 6081 c number of clauses / number of variables = 6.787 c number of literals / number of clauses = 2.397 7,9 c number of clauses = 5421 c number of clauses / number of variables = 6.516 c number of literals / number of clauses = 2.345 7,774 c number of clauses = 6539 c number of clauses / number of variables = 6.811 c number of literals / number of clauses = 2.397 8,3455 c number of clauses = 5306 c number of clauses / number of variables = 6.699 c number of literals / number of clauses = 2.259 8,12 c number of clauses = 4917 c number of clauses / number of variables = 5.691 c number of literals / number of clauses = 1.995 8,45 c number of clauses = 6483 c number of clauses / number of variables = 6.926 c number of literals / number of clauses = 2.295 8,78 c number of clauses = 6014 c number of clauses / number of variables = 6.425 c number of literals / number of clauses = 2.190 8,8546 c number of clauses = 5690 c number of clauses / number of variables = 6.586 c number of literals / number of clauses = 2.230 8,474 c number of clauses = 6020 c number of clauses / number of variables = 6.968 c number of literals / number of clauses = 2.309 8,188 c number of clauses = 8170 c number of clauses / number of variables = 7.565 c number of literals / number of clauses = 2.407 8,7899 c number of clauses = 7392 c number of clauses / number of variables = 7.333 c number of literals / number of clauses = 2.371 8,9 c number of clauses = 6692 c number of clauses / number of variables = 7.150 c number of literals / number of clauses = 2.341 8,774 c number of clauses = 8074 c number of clauses / number of variables = 7.476 c number of literals / number of clauses = 2.394