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