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 = 415 Produced CNF clauses = 1990 Search steps = 0 Wall clock TIME (seconds) = 0.004 CPU/machine TIME (seconds) = 0.000 ] ] 12 ./gridgen_reLOC --x-size=4 --y-size=4 --N-robots=1 --obstacle-probability=0.2 --seed=12 --cnf-level=8 --cnf-file=grid_4x4_r1_12.cnf ================================================================ reLOC 0.09-vegas : Grid Instance Generator (C) Copyright 2011-2013 Pavel Surynek ---------------------------------------------------------------- Phase statistics (current phase = 'root_phase') [ Phase (name = 'root_phase') [ Total SAT solver calls = 0 Satisfiable SAT solver calls = 0 Unsatisfiable SAT solver calls = 0 Indeterminate SAT solver calls = 0 Move executions = 0 Produced CNF variables = 424 Produced CNF clauses = 1936 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=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 = 517 Produced CNF clauses = 2678 Search steps = 0 Wall clock TIME (seconds) = 0.006 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 = 503 Produced CNF clauses = 2489 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=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 = 452 Produced CNF clauses = 2194 Search steps = 0 Wall clock TIME (seconds) = 0.005 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 = 480 Produced CNF clauses = 2452 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=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 = 647 Produced CNF clauses = 3617 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=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 = 582 Produced CNF clauses = 3131 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=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 = 531 Produced CNF clauses = 2805 Search steps = 0 Wall clock TIME (seconds) = 0.006 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 = 647 Produced CNF clauses = 3635 Search steps = 0 Wall clock TIME (seconds) = 0.007 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 = 511 Produced CNF clauses = 2692 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=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 = 528 Produced CNF clauses = 2654 Search steps = 0 Wall clock TIME (seconds) = 0.005 CPU/machine TIME (seconds) = 0.000 ] ] 45 ./gridgen_reLOC --x-size=4 --y-size=4 --N-robots=2 --obstacle-probability=0.2 --seed=45 --cnf-level=8 --cnf-file=grid_4x4_r2_45.cnf ================================================================ reLOC 0.09-vegas : Grid Instance Generator (C) Copyright 2011-2013 Pavel Surynek ---------------------------------------------------------------- Phase statistics (current phase = 'root_phase') [ Phase (name = 'root_phase') [ Total SAT solver calls = 0 Satisfiable SAT solver calls = 0 Unsatisfiable SAT solver calls = 0 Indeterminate SAT solver calls = 0 Move executions = 0 Produced CNF variables = 629 Produced CNF clauses = 3602 Search steps = 0 Wall clock TIME (seconds) = 0.006 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 = 615 Produced CNF clauses = 3363 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=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 = 556 Produced CNF clauses = 2946 Search steps = 0 Wall clock TIME (seconds) = 0.005 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 = 584 Produced CNF clauses = 3290 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=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 = 775 Produced CNF clauses = 4745 Search steps = 0 Wall clock TIME (seconds) = 0.008 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 = 702 Produced CNF clauses = 4141 Search steps = 0 Wall clock TIME (seconds) = 0.007 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 = 643 Produced CNF clauses = 3729 Search steps = 0 Wall clock TIME (seconds) = 0.007 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 = 775 Produced CNF clauses = 4740 Search steps = 0 Wall clock TIME (seconds) = 0.008 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 = 511 Produced CNF clauses = 2644 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 = 528 Produced CNF clauses = 2643 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=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 = 629 Produced CNF clauses = 3536 Search steps = 0 Wall clock TIME (seconds) = 0.006 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 = 615 Produced CNF clauses = 3286 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=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 = 556 Produced CNF clauses = 2901 Search steps = 0 Wall clock TIME (seconds) = 0.005 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 = 584 Produced CNF clauses = 3201 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=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 = 775 Produced CNF clauses = 4660 Search steps = 0 Wall clock TIME (seconds) = 0.008 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 = 702 Produced CNF clauses = 4050 Search steps = 0 Wall clock TIME (seconds) = 0.007 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 = 643 Produced CNF clauses = 3648 Search steps = 0 Wall clock TIME (seconds) = 0.007 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 = 775 Produced CNF clauses = 4671 Search steps = 0 Wall clock TIME (seconds) = 0.008 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 = 607 Produced CNF clauses = 3511 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=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 = 632 Produced CNF clauses = 3500 Search steps = 0 Wall clock TIME (seconds) = 0.006 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 = 741 Produced CNF clauses = 4633 Search steps = 0 Wall clock TIME (seconds) = 0.008 CPU/machine TIME (seconds) = 0.000 ] ] 78 ./gridgen_reLOC --x-size=4 --y-size=4 --N-robots=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 = 727 Produced CNF clauses = 4369 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=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 = 660 Produced CNF clauses = 3859 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=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 = 688 Produced CNF clauses = 4250 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=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 = 903 Produced CNF clauses = 6012 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=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 = 822 Produced CNF clauses = 5282 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 = 755 Produced CNF clauses = 4750 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 = 903 Produced CNF clauses = 6029 Search steps = 0 Wall clock TIME (seconds) = 0.010 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 = 607 Produced CNF clauses = 3472 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=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 = 632 Produced CNF clauses = 3507 Search steps = 0 Wall clock TIME (seconds) = 0.006 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 = 741 Produced CNF clauses = 4577 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=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 = 727 Produced CNF clauses = 4370 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=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 = 660 Produced CNF clauses = 3825 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=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 = 688 Produced CNF clauses = 4183 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=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 = 903 Produced CNF clauses = 5963 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=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 = 822 Produced CNF clauses = 5203 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=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 = 755 Produced CNF clauses = 4725 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=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 = 903 Produced CNF clauses = 5943 Search steps = 0 Wall clock TIME (seconds) = 0.010 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 = 607 Produced CNF clauses = 3422 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=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 = 632 Produced CNF clauses = 3471 Search steps = 0 Wall clock TIME (seconds) = 0.006 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 = 741 Produced CNF clauses = 4527 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=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 = 727 Produced CNF clauses = 4297 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=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 = 660 Produced CNF clauses = 3748 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=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 = 688 Produced CNF clauses = 4119 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=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 = 903 Produced CNF clauses = 5862 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=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 = 822 Produced CNF clauses = 5146 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=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 = 755 Produced CNF clauses = 4642 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=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 = 903 Produced CNF clauses = 5882 Search steps = 0 Wall clock TIME (seconds) = 0.010 CPU/machine TIME (seconds) = 0.000 ] ] 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 = 607 Produced CNF clauses = 3377 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=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 = 632 Produced CNF clauses = 3463 Search steps = 0 Wall clock TIME (seconds) = 0.006 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 = 741 Produced CNF clauses = 4449 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=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 = 727 Produced CNF clauses = 4209 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=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 = 660 Produced CNF clauses = 3712 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=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 = 688 Produced CNF clauses = 4062 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=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 = 903 Produced CNF clauses = 5805 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=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 = 822 Produced CNF clauses = 5090 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=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 = 755 Produced CNF clauses = 4609 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=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 = 903 Produced CNF clauses = 5844 Search steps = 0 Wall clock TIME (seconds) = 0.010 CPU/machine TIME (seconds) = 0.000 ] ] 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 = 703 Produced CNF clauses = 4611 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=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 = 736 Produced CNF clauses = 4755 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=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 = 853 Produced CNF clauses = 5969 Search steps = 0 Wall clock TIME (seconds) = 0.010 CPU/machine TIME (seconds) = 0.000 ] ] 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 = 839 Produced CNF clauses = 5730 Search steps = 0 Wall clock TIME (seconds) = 0.009 CPU/machine TIME (seconds) = 0.000 ] ] 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 = 764 Produced CNF clauses = 5071 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=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 = 792 Produced CNF clauses = 5453 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=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 = 1031 Produced CNF clauses = 7652 Search steps = 0 Wall clock TIME (seconds) = 0.012 CPU/machine TIME (seconds) = 0.010 ] ] 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 = 942 Produced CNF clauses = 6762 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=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 = 867 Produced CNF clauses = 6127 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=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 = 1031 Produced CNF clauses = 7665 Search steps = 0 Wall clock TIME (seconds) = 0.012 CPU/machine TIME (seconds) = 0.000 ] ] grid size = 4 max robots = 8 1,3455 c number of literals = 4829 c number of literals / number of clauses = 2.427 1,12 c number of literals = 4608 c number of literals / number of clauses = 2.380 1,45 c number of literals = 6499 c number of literals / number of clauses = 2.427 1,78 c number of literals = 6030 c number of literals / number of clauses = 2.423 1,8546 c number of literals = 5300 c number of literals / number of clauses = 2.416 1,474 c number of literals = 5950 c number of literals / number of clauses = 2.427 1,188 c number of literals = 8812 c number of literals / number of clauses = 2.436 1,7899 c number of literals = 7611 c number of literals / number of clauses = 2.431 1,9 c number of literals = 6808 c number of literals / number of clauses = 2.427 1,774 c number of literals = 8830 c number of literals / number of clauses = 2.429 2,3455 c number of literals = 6704 c number of literals / number of clauses = 2.490 2,12 c number of literals = 6552 c number of literals / number of clauses = 2.469 2,45 c number of literals = 8960 c number of literals / number of clauses = 2.488 2,78 c number of literals = 8384 c number of literals / number of clauses = 2.493 2,8546 c number of literals = 7332 c number of literals / number of clauses = 2.489 2,474 c number of literals = 8216 c number of literals / number of clauses = 2.497 2,188 c number of literals = 11878 c number of literals / number of clauses = 2.503 2,7899 c number of literals = 10354 c number of literals / number of clauses = 2.500 2,9 c number of literals = 9312 c number of literals / number of clauses = 2.497 2,774 c number of literals = 11868 c number of literals / number of clauses = 2.504 3,3455 c number of literals = 6608 c number of literals / number of clauses = 2.499 3,12 c number of literals = 6530 c number of literals / number of clauses = 2.471 3,45 c number of literals = 8828 c number of literals / number of clauses = 2.497 3,78 c number of literals = 8230 c number of literals / number of clauses = 2.505 3,8546 c number of literals = 7242 c number of literals / number of clauses = 2.496 3,474 c number of literals = 8038 c number of literals / number of clauses = 2.511 3,188 c number of literals = 11708 c number of literals / number of clauses = 2.512 3,7899 c number of literals = 10172 c number of literals / number of clauses = 2.512 3,9 c number of literals = 9150 c number of literals / number of clauses = 2.508 3,774 c number of literals = 11730 c number of literals / number of clauses = 2.511 4,3455 c number of literals = 9190 c number of literals / number of clauses = 2.617 4,12 c number of literals = 9180 c number of literals / number of clauses = 2.623 4,45 c number of literals = 12126 c number of literals / number of clauses = 2.617 4,78 c number of literals = 11474 c number of literals / number of clauses = 2.626 4,8546 c number of literals = 10103 c number of literals / number of clauses = 2.618 4,474 c number of literals = 11164 c number of literals / number of clauses = 2.627 4,188 c number of literals = 15721 c number of literals / number of clauses = 2.615 4,7899 c number of literals = 13830 c number of literals / number of clauses = 2.618 4,9 c number of literals = 12435 c number of literals / number of clauses = 2.618 4,774 c number of literals = 15772 c number of literals / number of clauses = 2.616 5,3455 c number of literals = 9073 c number of literals / number of clauses = 2.613 5,12 c number of literals = 9201 c number of literals / number of clauses = 2.624 5,45 c number of literals = 11958 c number of literals / number of clauses = 2.613 5,78 c number of literals = 11477 c number of literals / number of clauses = 2.626 5,8546 c number of literals = 10001 c number of literals / number of clauses = 2.615 5,474 c number of literals = 10963 c number of literals / number of clauses = 2.621 5,188 c number of literals = 15574 c number of literals / number of clauses = 2.612 5,7899 c number of literals = 13593 c number of literals / number of clauses = 2.613 5,9 c number of literals = 12360 c number of literals / number of clauses = 2.616 5,774 c number of literals = 15514 c number of literals / number of clauses = 2.610 6,3455 c number of literals = 8923 c number of literals / number of clauses = 2.608 6,12 c number of literals = 9093 c number of literals / number of clauses = 2.620 6,45 c number of literals = 11808 c number of literals / number of clauses = 2.608 6,78 c number of literals = 11258 c number of literals / number of clauses = 2.620 6,8546 c number of literals = 9770 c number of literals / number of clauses = 2.607 6,474 c number of literals = 10771 c number of literals / number of clauses = 2.615 6,188 c number of literals = 15271 c number of literals / number of clauses = 2.605 6,7899 c number of literals = 13422 c number of literals / number of clauses = 2.608 6,9 c number of literals = 12111 c number of literals / number of clauses = 2.609 6,774 c number of literals = 15331 c number of literals / number of clauses = 2.606 7,3455 c number of literals = 8788 c number of literals / number of clauses = 2.602 7,12 c number of literals = 9069 c number of literals / number of clauses = 2.619 7,45 c number of literals = 11574 c number of literals / number of clauses = 2.601 7,78 c number of literals = 10994 c number of literals / number of clauses = 2.612 7,8546 c number of literals = 9662 c number of literals / number of clauses = 2.603 7,474 c number of literals = 10600 c number of literals / number of clauses = 2.610 7,188 c number of literals = 15100 c number of literals / number of clauses = 2.601 7,7899 c number of literals = 13254 c number of literals / number of clauses = 2.604 7,9 c number of literals = 12012 c number of literals / number of clauses = 2.606 7,774 c number of literals = 15217 c number of literals / number of clauses = 2.604 8,3455 c number of literals = 13294 c number of literals / number of clauses = 2.883 8,12 c number of literals = 14000 c number of literals / number of clauses = 2.944 8,45 c number of literals = 17110 c number of literals / number of clauses = 2.866 8,78 c number of literals = 16588 c number of literals / number of clauses = 2.895 8,8546 c number of literals = 14648 c number of literals / number of clauses = 2.889 8,474 c number of literals = 15644 c number of literals / number of clauses = 2.869 8,188 c number of literals = 21694 c number of literals / number of clauses = 2.835 8,7899 c number of literals = 19264 c number of literals / number of clauses = 2.849 8,9 c number of literals = 17504 c number of literals / number of clauses = 2.857 8,774 c number of literals = 21746 c number of literals / number of clauses = 2.837 grid size = 4 max robots = 8 1,3455 c number of visible variables = 415 c number of hidden variables = 0 c number of propositional variables = 415 c number of clauses / number of variables = 4.795 1,12 c number of visible variables = 424 c number of hidden variables = 0 c number of propositional variables = 424 c number of clauses / number of variables = 4.566 1,45 c number of visible variables = 517 c number of hidden variables = 0 c number of propositional variables = 517 c number of clauses / number of variables = 5.180 1,78 c number of visible variables = 503 c number of hidden variables = 0 c number of propositional variables = 503 c number of clauses / number of variables = 4.948 1,8546 c number of visible variables = 452 c number of hidden variables = 0 c number of propositional variables = 452 c number of clauses / number of variables = 4.854 1,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 = 5.108 1,188 c number of visible variables = 647 c number of hidden variables = 0 c number of propositional variables = 647 c number of clauses / number of variables = 5.590 1,7899 c number of visible variables = 582 c number of hidden variables = 0 c number of propositional variables = 582 c number of clauses / number of variables = 5.380 1,9 c number of visible variables = 531 c number of hidden variables = 0 c number of propositional variables = 531 c number of clauses / number of variables = 5.282 1,774 c number of visible variables = 647 c number of hidden variables = 0 c number of propositional variables = 647 c number of clauses / number of variables = 5.618 2,3455 c number of visible variables = 511 c number of hidden variables = 0 c number of propositional variables = 511 c number of clauses / number of variables = 5.268 2,12 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.027 2,45 c number of visible variables = 629 c number of hidden variables = 0 c number of propositional variables = 629 c number of clauses / number of variables = 5.727 2,78 c number of visible variables = 615 c number of hidden variables = 0 c number of propositional variables = 615 c number of clauses / number of variables = 5.468 2,8546 c number of visible variables = 556 c number of hidden variables = 0 c number of propositional variables = 556 c number of clauses / number of variables = 5.299 2,474 c number of visible variables = 584 c number of hidden variables = 0 c number of propositional variables = 584 c number of clauses / number of variables = 5.634 2,188 c number of visible variables = 775 c number of hidden variables = 0 c number of propositional variables = 775 c number of clauses / number of variables = 6.123 2,7899 c number of visible variables = 702 c number of hidden variables = 0 c number of propositional variables = 702 c number of clauses / number of variables = 5.899 2,9 c number of visible variables = 643 c number of hidden variables = 0 c number of propositional variables = 643 c number of clauses / number of variables = 5.799 2,774 c number of visible variables = 775 c number of hidden variables = 0 c number of propositional variables = 775 c number of clauses / number of variables = 6.116 3,3455 c number of visible variables = 511 c number of hidden variables = 0 c number of propositional variables = 511 c number of clauses / number of variables = 5.174 3,12 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.006 3,45 c number of visible variables = 629 c number of hidden variables = 0 c number of propositional variables = 629 c number of clauses / number of variables = 5.622 3,78 c number of visible variables = 615 c number of hidden variables = 0 c number of propositional variables = 615 c number of clauses / number of variables = 5.343 3,8546 c number of visible variables = 556 c number of hidden variables = 0 c number of propositional variables = 556 c number of clauses / number of variables = 5.218 3,474 c number of visible variables = 584 c number of hidden variables = 0 c number of propositional variables = 584 c number of clauses / number of variables = 5.481 3,188 c number of visible variables = 775 c number of hidden variables = 0 c number of propositional variables = 775 c number of clauses / number of variables = 6.013 3,7899 c number of visible variables = 702 c number of hidden variables = 0 c number of propositional variables = 702 c number of clauses / number of variables = 5.769 3,9 c number of visible variables = 643 c number of hidden variables = 0 c number of propositional variables = 643 c number of clauses / number of variables = 5.673 3,774 c number of visible variables = 775 c number of hidden variables = 0 c number of propositional variables = 775 c number of clauses / number of variables = 6.027 4,3455 c number of visible variables = 607 c number of hidden variables = 0 c number of propositional variables = 607 c number of clauses / number of variables = 5.784 4,12 c number of visible variables = 632 c number of hidden variables = 0 c number of propositional variables = 632 c number of clauses / number of variables = 5.538 4,45 c number of visible variables = 741 c number of hidden variables = 0 c number of propositional variables = 741 c number of clauses / number of variables = 6.252 4,78 c number of visible variables = 727 c number of hidden variables = 0 c number of propositional variables = 727 c number of clauses / number of variables = 6.010 4,8546 c number of visible variables = 660 c number of hidden variables = 0 c number of propositional variables = 660 c number of clauses / number of variables = 5.847 4,474 c number of visible variables = 688 c number of hidden variables = 0 c number of propositional variables = 688 c number of clauses / number of variables = 6.177 4,188 c number of visible variables = 903 c number of hidden variables = 0 c number of propositional variables = 903 c number of clauses / number of variables = 6.658 4,7899 c number of visible variables = 822 c number of hidden variables = 0 c number of propositional variables = 822 c number of clauses / number of variables = 6.426 4,9 c number of visible variables = 755 c number of hidden variables = 0 c number of propositional variables = 755 c number of clauses / number of variables = 6.291 4,774 c number of visible variables = 903 c number of hidden variables = 0 c number of propositional variables = 903 c number of clauses / number of variables = 6.677 5,3455 c number of visible variables = 607 c number of hidden variables = 0 c number of propositional variables = 607 c number of clauses / number of variables = 5.720 5,12 c number of visible variables = 632 c number of hidden variables = 0 c number of propositional variables = 632 c number of clauses / number of variables = 5.549 5,45 c number of visible variables = 741 c number of hidden variables = 0 c number of propositional variables = 741 c number of clauses / number of variables = 6.177 5,78 c number of visible variables = 727 c number of hidden variables = 0 c number of propositional variables = 727 c number of clauses / number of variables = 6.011 5,8546 c number of visible variables = 660 c number of hidden variables = 0 c number of propositional variables = 660 c number of clauses / number of variables = 5.795 5,474 c number of visible variables = 688 c number of hidden variables = 0 c number of propositional variables = 688 c number of clauses / number of variables = 6.080 5,188 c number of visible variables = 903 c number of hidden variables = 0 c number of propositional variables = 903 c number of clauses / number of variables = 6.604 5,7899 c number of visible variables = 822 c number of hidden variables = 0 c number of propositional variables = 822 c number of clauses / number of variables = 6.330 5,9 c number of visible variables = 755 c number of hidden variables = 0 c number of propositional variables = 755 c number of clauses / number of variables = 6.258 5,774 c number of visible variables = 903 c number of hidden variables = 0 c number of propositional variables = 903 c number of clauses / number of variables = 6.581 6,3455 c number of visible variables = 607 c number of hidden variables = 0 c number of propositional variables = 607 c number of clauses / number of variables = 5.638 6,12 c number of visible variables = 632 c number of hidden variables = 0 c number of propositional variables = 632 c number of clauses / number of variables = 5.492 6,45 c number of visible variables = 741 c number of hidden variables = 0 c number of propositional variables = 741 c number of clauses / number of variables = 6.109 6,78 c number of visible variables = 727 c number of hidden variables = 0 c number of propositional variables = 727 c number of clauses / number of variables = 5.911 6,8546 c number of visible variables = 660 c number of hidden variables = 0 c number of propositional variables = 660 c number of clauses / number of variables = 5.679 6,474 c number of visible variables = 688 c number of hidden variables = 0 c number of propositional variables = 688 c number of clauses / number of variables = 5.987 6,188 c number of visible variables = 903 c number of hidden variables = 0 c number of propositional variables = 903 c number of clauses / number of variables = 6.492 6,7899 c number of visible variables = 822 c number of hidden variables = 0 c number of propositional variables = 822 c number of clauses / number of variables = 6.260 6,9 c number of visible variables = 755 c number of hidden variables = 0 c number of propositional variables = 755 c number of clauses / number of variables = 6.148 6,774 c number of visible variables = 903 c number of hidden variables = 0 c number of propositional variables = 903 c number of clauses / number of variables = 6.514 7,3455 c number of visible variables = 607 c number of hidden variables = 0 c number of propositional variables = 607 c number of clauses / number of variables = 5.563 7,12 c number of visible variables = 632 c number of hidden variables = 0 c number of propositional variables = 632 c number of clauses / number of variables = 5.479 7,45 c number of visible variables = 741 c number of hidden variables = 0 c number of propositional variables = 741 c number of clauses / number of variables = 6.004 7,78 c number of visible variables = 727 c number of hidden variables = 0 c number of propositional variables = 727 c number of clauses / number of variables = 5.790 7,8546 c number of visible variables = 660 c number of hidden variables = 0 c number of propositional variables = 660 c number of clauses / number of variables = 5.624 7,474 c number of visible variables = 688 c number of hidden variables = 0 c number of propositional variables = 688 c number of clauses / number of variables = 5.904 7,188 c number of visible variables = 903 c number of hidden variables = 0 c number of propositional variables = 903 c number of clauses / number of variables = 6.429 7,7899 c number of visible variables = 822 c number of hidden variables = 0 c number of propositional variables = 822 c number of clauses / number of variables = 6.192 7,9 c number of visible variables = 755 c number of hidden variables = 0 c number of propositional variables = 755 c number of clauses / number of variables = 6.105 7,774 c number of visible variables = 903 c number of hidden variables = 0 c number of propositional variables = 903 c number of clauses / number of variables = 6.472 8,3455 c number of visible variables = 703 c number of hidden variables = 0 c number of propositional variables = 703 c number of clauses / number of variables = 6.559 8,12 c number of visible variables = 736 c number of hidden variables = 0 c number of propositional variables = 736 c number of clauses / number of variables = 6.461 8,45 c number of visible variables = 853 c number of hidden variables = 0 c number of propositional variables = 853 c number of clauses / number of variables = 6.998 8,78 c number of visible variables = 839 c number of hidden variables = 0 c number of propositional variables = 839 c number of clauses / number of variables = 6.830 8,8546 c number of visible variables = 764 c number of hidden variables = 0 c number of propositional variables = 764 c number of clauses / number of variables = 6.637 8,474 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.885 8,188 c number of visible variables = 1031 c number of hidden variables = 0 c number of propositional variables = 1031 c number of clauses / number of variables = 7.422 8,7899 c number of visible variables = 942 c number of hidden variables = 0 c number of propositional variables = 942 c number of clauses / number of variables = 7.178 8,9 c number of visible variables = 867 c number of hidden variables = 0 c number of propositional variables = 867 c number of clauses / number of variables = 7.067 8,774 c number of visible variables = 1031 c number of hidden variables = 0 c number of propositional variables = 1031 c number of clauses / number of variables = 7.435 grid size = 4 max robots = 8 1,3455 c number of clauses = 1990 c number of clauses / number of variables = 4.795 c number of literals / number of clauses = 2.427 1,12 c number of clauses = 1936 c number of clauses / number of variables = 4.566 c number of literals / number of clauses = 2.380 1,45 c number of clauses = 2678 c number of clauses / number of variables = 5.180 c number of literals / number of clauses = 2.427 1,78 c number of clauses = 2489 c number of clauses / number of variables = 4.948 c number of literals / number of clauses = 2.423 1,8546 c number of clauses = 2194 c number of clauses / number of variables = 4.854 c number of literals / number of clauses = 2.416 1,474 c number of clauses = 2452 c number of clauses / number of variables = 5.108 c number of literals / number of clauses = 2.427 1,188 c number of clauses = 3617 c number of clauses / number of variables = 5.590 c number of literals / number of clauses = 2.436 1,7899 c number of clauses = 3131 c number of clauses / number of variables = 5.380 c number of literals / number of clauses = 2.431 1,9 c number of clauses = 2805 c number of clauses / number of variables = 5.282 c number of literals / number of clauses = 2.427 1,774 c number of clauses = 3635 c number of clauses / number of variables = 5.618 c number of literals / number of clauses = 2.429 2,3455 c number of clauses = 2692 c number of clauses / number of variables = 5.268 c number of literals / number of clauses = 2.490 2,12 c number of clauses = 2654 c number of clauses / number of variables = 5.027 c number of literals / number of clauses = 2.469 2,45 c number of clauses = 3602 c number of clauses / number of variables = 5.727 c number of literals / number of clauses = 2.488 2,78 c number of clauses = 3363 c number of clauses / number of variables = 5.468 c number of literals / number of clauses = 2.493 2,8546 c number of clauses = 2946 c number of clauses / number of variables = 5.299 c number of literals / number of clauses = 2.489 2,474 c number of clauses = 3290 c number of clauses / number of variables = 5.634 c number of literals / number of clauses = 2.497 2,188 c number of clauses = 4745 c number of clauses / number of variables = 6.123 c number of literals / number of clauses = 2.503 2,7899 c number of clauses = 4141 c number of clauses / number of variables = 5.899 c number of literals / number of clauses = 2.500 2,9 c number of clauses = 3729 c number of clauses / number of variables = 5.799 c number of literals / number of clauses = 2.497 2,774 c number of clauses = 4740 c number of clauses / number of variables = 6.116 c number of literals / number of clauses = 2.504 3,3455 c number of clauses = 2644 c number of clauses / number of variables = 5.174 c number of literals / number of clauses = 2.499 3,12 c number of clauses = 2643 c number of clauses / number of variables = 5.006 c number of literals / number of clauses = 2.471 3,45 c number of clauses = 3536 c number of clauses / number of variables = 5.622 c number of literals / number of clauses = 2.497 3,78 c number of clauses = 3286 c number of clauses / number of variables = 5.343 c number of literals / number of clauses = 2.505 3,8546 c number of clauses = 2901 c number of clauses / number of variables = 5.218 c number of literals / number of clauses = 2.496 3,474 c number of clauses = 3201 c number of clauses / number of variables = 5.481 c number of literals / number of clauses = 2.511 3,188 c number of clauses = 4660 c number of clauses / number of variables = 6.013 c number of literals / number of clauses = 2.512 3,7899 c number of clauses = 4050 c number of clauses / number of variables = 5.769 c number of literals / number of clauses = 2.512 3,9 c number of clauses = 3648 c number of clauses / number of variables = 5.673 c number of literals / number of clauses = 2.508 3,774 c number of clauses = 4671 c number of clauses / number of variables = 6.027 c number of literals / number of clauses = 2.511 4,3455 c number of clauses = 3511 c number of clauses / number of variables = 5.784 c number of literals / number of clauses = 2.617 4,12 c number of clauses = 3500 c number of clauses / number of variables = 5.538 c number of literals / number of clauses = 2.623 4,45 c number of clauses = 4633 c number of clauses / number of variables = 6.252 c number of literals / number of clauses = 2.617 4,78 c number of clauses = 4369 c number of clauses / number of variables = 6.010 c number of literals / number of clauses = 2.626 4,8546 c number of clauses = 3859 c number of clauses / number of variables = 5.847 c number of literals / number of clauses = 2.618 4,474 c number of clauses = 4250 c number of clauses / number of variables = 6.177 c number of literals / number of clauses = 2.627 4,188 c number of clauses = 6012 c number of clauses / number of variables = 6.658 c number of literals / number of clauses = 2.615 4,7899 c number of clauses = 5282 c number of clauses / number of variables = 6.426 c number of literals / number of clauses = 2.618 4,9 c number of clauses = 4750 c number of clauses / number of variables = 6.291 c number of literals / number of clauses = 2.618 4,774 c number of clauses = 6029 c number of clauses / number of variables = 6.677 c number of literals / number of clauses = 2.616 5,3455 c number of clauses = 3472 c number of clauses / number of variables = 5.720 c number of literals / number of clauses = 2.613 5,12 c number of clauses = 3507 c number of clauses / number of variables = 5.549 c number of literals / number of clauses = 2.624 5,45 c number of clauses = 4577 c number of clauses / number of variables = 6.177 c number of literals / number of clauses = 2.613 5,78 c number of clauses = 4370 c number of clauses / number of variables = 6.011 c number of literals / number of clauses = 2.626 5,8546 c number of clauses = 3825 c number of clauses / number of variables = 5.795 c number of literals / number of clauses = 2.615 5,474 c number of clauses = 4183 c number of clauses / number of variables = 6.080 c number of literals / number of clauses = 2.621 5,188 c number of clauses = 5963 c number of clauses / number of variables = 6.604 c number of literals / number of clauses = 2.612 5,7899 c number of clauses = 5203 c number of clauses / number of variables = 6.330 c number of literals / number of clauses = 2.613 5,9 c number of clauses = 4725 c number of clauses / number of variables = 6.258 c number of literals / number of clauses = 2.616 5,774 c number of clauses = 5943 c number of clauses / number of variables = 6.581 c number of literals / number of clauses = 2.610 6,3455 c number of clauses = 3422 c number of clauses / number of variables = 5.638 c number of literals / number of clauses = 2.608 6,12 c number of clauses = 3471 c number of clauses / number of variables = 5.492 c number of literals / number of clauses = 2.620 6,45 c number of clauses = 4527 c number of clauses / number of variables = 6.109 c number of literals / number of clauses = 2.608 6,78 c number of clauses = 4297 c number of clauses / number of variables = 5.911 c number of literals / number of clauses = 2.620 6,8546 c number of clauses = 3748 c number of clauses / number of variables = 5.679 c number of literals / number of clauses = 2.607 6,474 c number of clauses = 4119 c number of clauses / number of variables = 5.987 c number of literals / number of clauses = 2.615 6,188 c number of clauses = 5862 c number of clauses / number of variables = 6.492 c number of literals / number of clauses = 2.605 6,7899 c number of clauses = 5146 c number of clauses / number of variables = 6.260 c number of literals / number of clauses = 2.608 6,9 c number of clauses = 4642 c number of clauses / number of variables = 6.148 c number of literals / number of clauses = 2.609 6,774 c number of clauses = 5882 c number of clauses / number of variables = 6.514 c number of literals / number of clauses = 2.606 7,3455 c number of clauses = 3377 c number of clauses / number of variables = 5.563 c number of literals / number of clauses = 2.602 7,12 c number of clauses = 3463 c number of clauses / number of variables = 5.479 c number of literals / number of clauses = 2.619 7,45 c number of clauses = 4449 c number of clauses / number of variables = 6.004 c number of literals / number of clauses = 2.601 7,78 c number of clauses = 4209 c number of clauses / number of variables = 5.790 c number of literals / number of clauses = 2.612 7,8546 c number of clauses = 3712 c number of clauses / number of variables = 5.624 c number of literals / number of clauses = 2.603 7,474 c number of clauses = 4062 c number of clauses / number of variables = 5.904 c number of literals / number of clauses = 2.610 7,188 c number of clauses = 5805 c number of clauses / number of variables = 6.429 c number of literals / number of clauses = 2.601 7,7899 c number of clauses = 5090 c number of clauses / number of variables = 6.192 c number of literals / number of clauses = 2.604 7,9 c number of clauses = 4609 c number of clauses / number of variables = 6.105 c number of literals / number of clauses = 2.606 7,774 c number of clauses = 5844 c number of clauses / number of variables = 6.472 c number of literals / number of clauses = 2.604 8,3455 c number of clauses = 4611 c number of clauses / number of variables = 6.559 c number of literals / number of clauses = 2.883 8,12 c number of clauses = 4755 c number of clauses / number of variables = 6.461 c number of literals / number of clauses = 2.944 8,45 c number of clauses = 5969 c number of clauses / number of variables = 6.998 c number of literals / number of clauses = 2.866 8,78 c number of clauses = 5730 c number of clauses / number of variables = 6.830 c number of literals / number of clauses = 2.895 8,8546 c number of clauses = 5071 c number of clauses / number of variables = 6.637 c number of literals / number of clauses = 2.889 8,474 c number of clauses = 5453 c number of clauses / number of variables = 6.885 c number of literals / number of clauses = 2.869 8,188 c number of clauses = 7652 c number of clauses / number of variables = 7.422 c number of literals / number of clauses = 2.835 8,7899 c number of clauses = 6762 c number of clauses / number of variables = 7.178 c number of literals / number of clauses = 2.849 8,9 c number of clauses = 6127 c number of clauses / number of variables = 7.067 c number of literals / number of clauses = 2.857 8,774 c number of clauses = 7665 c number of clauses / number of variables = 7.435 c number of literals / number of clauses = 2.837