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 = 713 Produced CNF clauses = 2195 Search steps = 0 Wall clock TIME (seconds) = 0.032 CPU/machine TIME (seconds) = 0.010 ] ] 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 = 708 Produced CNF clauses = 2096 Search steps = 0 Wall clock TIME (seconds) = 0.014 CPU/machine TIME (seconds) = 0.010 ] ] 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 = 919 Produced CNF clauses = 3206 Search steps = 0 Wall clock TIME (seconds) = 0.026 CPU/machine TIME (seconds) = 0.010 ] ] 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 = 891 Produced CNF clauses = 2870 Search steps = 0 Wall clock TIME (seconds) = 0.019 CPU/machine TIME (seconds) = 0.010 ] ] 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 = 788 Produced CNF clauses = 2536 Search steps = 0 Wall clock TIME (seconds) = 0.022 CPU/machine TIME (seconds) = 0.010 ] ] 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 = 860 Produced CNF clauses = 2836 Search steps = 0 Wall clock TIME (seconds) = 0.018 CPU/machine TIME (seconds) = 0.010 ] ] 188 ./gridgen_reLOC --x-size=4 --y-size=4 --N-robots=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 = 1197 Produced CNF clauses = 4356 Search steps = 0 Wall clock TIME (seconds) = 0.028 CPU/machine TIME (seconds) = 0.020 ] ] 7899 ./gridgen_reLOC --x-size=4 --y-size=4 --N-robots=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 = 1050 Produced CNF clauses = 3607 Search steps = 0 Wall clock TIME (seconds) = 0.029 CPU/machine TIME (seconds) = 0.010 ] ] 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 = 955 Produced CNF clauses = 3256 Search steps = 0 Wall clock TIME (seconds) = 0.025 CPU/machine TIME (seconds) = 0.010 ] ] 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 = 1197 Produced CNF clauses = 4374 Search steps = 0 Wall clock TIME (seconds) = 0.032 CPU/machine TIME (seconds) = 0.020 ] ] 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 = 809 Produced CNF clauses = 3117 Search steps = 0 Wall clock TIME (seconds) = 0.020 CPU/machine TIME (seconds) = 0.010 ] ] 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 = 812 Produced CNF clauses = 2998 Search steps = 0 Wall clock TIME (seconds) = 0.022 CPU/machine TIME (seconds) = 0.010 ] ] 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 = 1031 Produced CNF clauses = 4446 Search steps = 0 Wall clock TIME (seconds) = 0.031 CPU/machine TIME (seconds) = 0.020 ] ] 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 = 1003 Produced CNF clauses = 4032 Search steps = 0 Wall clock TIME (seconds) = 0.024 CPU/machine TIME (seconds) = 0.020 ] ] 8546 ./gridgen_reLOC --x-size=4 --y-size=4 --N-robots=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 = 892 Produced CNF clauses = 3528 Search steps = 0 Wall clock TIME (seconds) = 0.024 CPU/machine TIME (seconds) = 0.010 ] ] 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 = 964 Produced CNF clauses = 3970 Search steps = 0 Wall clock TIME (seconds) = 0.030 CPU/machine TIME (seconds) = 0.020 ] ] 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 = 1325 Produced CNF clauses = 5952 Search steps = 0 Wall clock TIME (seconds) = 0.032 CPU/machine TIME (seconds) = 0.020 ] ] 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 = 1170 Produced CNF clauses = 5009 Search steps = 0 Wall clock TIME (seconds) = 0.039 CPU/machine TIME (seconds) = 0.020 ] ] 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 = 1067 Produced CNF clauses = 4524 Search steps = 0 Wall clock TIME (seconds) = 0.027 CPU/machine TIME (seconds) = 0.020 ] ] 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 = 1325 Produced CNF clauses = 5947 Search steps = 0 Wall clock TIME (seconds) = 0.038 CPU/machine TIME (seconds) = 0.030 ] ] 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 = 809 Produced CNF clauses = 3069 Search steps = 0 Wall clock TIME (seconds) = 0.023 CPU/machine TIME (seconds) = 0.010 ] ] 12 ./gridgen_reLOC --x-size=4 --y-size=4 --N-robots=3 --obstacle-probability=0.2 --seed=12 --cnf-level=8 --cnf-file=grid_4x4_r3_12.cnf ================================================================ reLOC 0.09-vegas : Grid Instance Generator (C) Copyright 2011-2013 Pavel Surynek ---------------------------------------------------------------- Phase statistics (current phase = 'root_phase') [ Phase (name = 'root_phase') [ Total SAT solver calls = 0 Satisfiable SAT solver calls = 0 Unsatisfiable SAT solver calls = 0 Indeterminate SAT solver calls = 0 Move executions = 0 Produced CNF variables = 812 Produced CNF clauses = 2987 Search steps = 0 Wall clock TIME (seconds) = 0.024 CPU/machine TIME (seconds) = 0.010 ] ] 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 = 1031 Produced CNF clauses = 4380 Search steps = 0 Wall clock TIME (seconds) = 0.042 CPU/machine TIME (seconds) = 0.020 ] ] 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 = 1003 Produced CNF clauses = 3955 Search steps = 0 Wall clock TIME (seconds) = 0.023 CPU/machine TIME (seconds) = 0.020 ] ] 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 = 892 Produced CNF clauses = 3483 Search steps = 0 Wall clock TIME (seconds) = 0.022 CPU/machine TIME (seconds) = 0.010 ] ] 474 ./gridgen_reLOC --x-size=4 --y-size=4 --N-robots=3 --obstacle-probability=0.2 --seed=474 --cnf-level=8 --cnf-file=grid_4x4_r3_474.cnf ================================================================ reLOC 0.09-vegas : Grid Instance Generator (C) Copyright 2011-2013 Pavel Surynek ---------------------------------------------------------------- Phase statistics (current phase = 'root_phase') [ Phase (name = 'root_phase') [ Total SAT solver calls = 0 Satisfiable SAT solver calls = 0 Unsatisfiable SAT solver calls = 0 Indeterminate SAT solver calls = 0 Move executions = 0 Produced CNF variables = 964 Produced CNF clauses = 3881 Search steps = 0 Wall clock TIME (seconds) = 0.052 CPU/machine TIME (seconds) = 0.010 ] ] 188 ./gridgen_reLOC --x-size=4 --y-size=4 --N-robots=3 --obstacle-probability=0.2 --seed=188 --cnf-level=8 --cnf-file=grid_4x4_r3_188.cnf ================================================================ reLOC 0.09-vegas : Grid Instance Generator (C) Copyright 2011-2013 Pavel Surynek ---------------------------------------------------------------- Phase statistics (current phase = 'root_phase') [ Phase (name = 'root_phase') [ Total SAT solver calls = 0 Satisfiable SAT solver calls = 0 Unsatisfiable SAT solver calls = 0 Indeterminate SAT solver calls = 0 Move executions = 0 Produced CNF variables = 1325 Produced CNF clauses = 5867 Search steps = 0 Wall clock TIME (seconds) = 0.083 CPU/machine TIME (seconds) = 0.030 ] ] 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 = 1170 Produced CNF clauses = 4918 Search steps = 0 Wall clock TIME (seconds) = 0.078 CPU/machine TIME (seconds) = 0.020 ] ] 9 ./gridgen_reLOC --x-size=4 --y-size=4 --N-robots=3 --obstacle-probability=0.2 --seed=9 --cnf-level=8 --cnf-file=grid_4x4_r3_9.cnf ================================================================ reLOC 0.09-vegas : Grid Instance Generator (C) Copyright 2011-2013 Pavel Surynek ---------------------------------------------------------------- Phase statistics (current phase = 'root_phase') [ Phase (name = 'root_phase') [ Total SAT solver calls = 0 Satisfiable SAT solver calls = 0 Unsatisfiable SAT solver calls = 0 Indeterminate SAT solver calls = 0 Move executions = 0 Produced CNF variables = 1067 Produced CNF clauses = 4443 Search steps = 0 Wall clock TIME (seconds) = 0.064 CPU/machine TIME (seconds) = 0.020 ] ] 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 = 1325 Produced CNF clauses = 5878 Search steps = 0 Wall clock TIME (seconds) = 0.082 CPU/machine TIME (seconds) = 0.030 ] ] 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 = 905 Produced CNF clauses = 4156 Search steps = 0 Wall clock TIME (seconds) = 0.042 CPU/machine TIME (seconds) = 0.020 ] ] 12 ./gridgen_reLOC --x-size=4 --y-size=4 --N-robots=4 --obstacle-probability=0.2 --seed=12 --cnf-level=8 --cnf-file=grid_4x4_r4_12.cnf ================================================================ reLOC 0.09-vegas : Grid Instance Generator (C) Copyright 2011-2013 Pavel Surynek ---------------------------------------------------------------- Phase statistics (current phase = 'root_phase') [ Phase (name = 'root_phase') [ Total SAT solver calls = 0 Satisfiable SAT solver calls = 0 Unsatisfiable SAT solver calls = 0 Indeterminate SAT solver calls = 0 Move executions = 0 Produced CNF variables = 916 Produced CNF clauses = 4028 Search steps = 0 Wall clock TIME (seconds) = 0.043 CPU/machine TIME (seconds) = 0.020 ] ] 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 = 1143 Produced CNF clauses = 5793 Search steps = 0 Wall clock TIME (seconds) = 0.074 CPU/machine TIME (seconds) = 0.030 ] ] 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 = 1115 Produced CNF clauses = 5326 Search steps = 0 Wall clock TIME (seconds) = 0.057 CPU/machine TIME (seconds) = 0.020 ] ] 8546 ./gridgen_reLOC --x-size=4 --y-size=4 --N-robots=4 --obstacle-probability=0.2 --seed=8546 --cnf-level=8 --cnf-file=grid_4x4_r4_8546.cnf ================================================================ reLOC 0.09-vegas : Grid Instance Generator (C) Copyright 2011-2013 Pavel Surynek ---------------------------------------------------------------- Phase statistics (current phase = 'root_phase') [ Phase (name = 'root_phase') [ Total SAT solver calls = 0 Satisfiable SAT solver calls = 0 Unsatisfiable SAT solver calls = 0 Indeterminate SAT solver calls = 0 Move executions = 0 Produced CNF variables = 996 Produced CNF clauses = 4681 Search steps = 0 Wall clock TIME (seconds) = 0.054 CPU/machine TIME (seconds) = 0.020 ] ] 474 ./gridgen_reLOC --x-size=4 --y-size=4 --N-robots=4 --obstacle-probability=0.2 --seed=474 --cnf-level=8 --cnf-file=grid_4x4_r4_474.cnf ================================================================ reLOC 0.09-vegas : Grid Instance Generator (C) Copyright 2011-2013 Pavel Surynek ---------------------------------------------------------------- Phase statistics (current phase = 'root_phase') [ Phase (name = 'root_phase') [ Total SAT solver calls = 0 Satisfiable SAT solver calls = 0 Unsatisfiable SAT solver calls = 0 Indeterminate SAT solver calls = 0 Move executions = 0 Produced CNF variables = 1068 Produced CNF clauses = 5226 Search steps = 0 Wall clock TIME (seconds) = 0.054 CPU/machine TIME (seconds) = 0.020 ] ] 188 ./gridgen_reLOC --x-size=4 --y-size=4 --N-robots=4 --obstacle-probability=0.2 --seed=188 --cnf-level=8 --cnf-file=grid_4x4_r4_188.cnf ================================================================ reLOC 0.09-vegas : Grid Instance Generator (C) Copyright 2011-2013 Pavel Surynek ---------------------------------------------------------------- Phase statistics (current phase = 'root_phase') [ Phase (name = 'root_phase') [ Total SAT solver calls = 0 Satisfiable SAT solver calls = 0 Unsatisfiable SAT solver calls = 0 Indeterminate SAT solver calls = 0 Move executions = 0 Produced CNF variables = 1453 Produced CNF clauses = 7687 Search steps = 0 Wall clock TIME (seconds) = 0.059 CPU/machine TIME (seconds) = 0.030 ] ] 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 = 1290 Produced CNF clauses = 6542 Search steps = 0 Wall clock TIME (seconds) = 0.038 CPU/machine TIME (seconds) = 0.030 ] ] 9 ./gridgen_reLOC --x-size=4 --y-size=4 --N-robots=4 --obstacle-probability=0.2 --seed=9 --cnf-level=8 --cnf-file=grid_4x4_r4_9.cnf ================================================================ reLOC 0.09-vegas : Grid Instance Generator (C) Copyright 2011-2013 Pavel Surynek ---------------------------------------------------------------- Phase statistics (current phase = 'root_phase') [ Phase (name = 'root_phase') [ Total SAT solver calls = 0 Satisfiable SAT solver calls = 0 Unsatisfiable SAT solver calls = 0 Indeterminate SAT solver calls = 0 Move executions = 0 Produced CNF variables = 1179 Produced CNF clauses = 5889 Search steps = 0 Wall clock TIME (seconds) = 0.033 CPU/machine TIME (seconds) = 0.030 ] ] 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 = 1453 Produced CNF clauses = 7704 Search steps = 0 Wall clock TIME (seconds) = 0.047 CPU/machine TIME (seconds) = 0.030 ] ] 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 = 905 Produced CNF clauses = 4117 Search steps = 0 Wall clock TIME (seconds) = 0.025 CPU/machine TIME (seconds) = 0.020 ] ] 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 = 916 Produced CNF clauses = 4035 Search steps = 0 Wall clock TIME (seconds) = 0.025 CPU/machine TIME (seconds) = 0.020 ] ] 45 ./gridgen_reLOC --x-size=4 --y-size=4 --N-robots=5 --obstacle-probability=0.2 --seed=45 --cnf-level=8 --cnf-file=grid_4x4_r5_45.cnf ================================================================ reLOC 0.09-vegas : Grid Instance Generator (C) Copyright 2011-2013 Pavel Surynek ---------------------------------------------------------------- Phase statistics (current phase = 'root_phase') [ Phase (name = 'root_phase') [ Total SAT solver calls = 0 Satisfiable SAT solver calls = 0 Unsatisfiable SAT solver calls = 0 Indeterminate SAT solver calls = 0 Move executions = 0 Produced CNF variables = 1143 Produced CNF clauses = 5737 Search steps = 0 Wall clock TIME (seconds) = 0.037 CPU/machine TIME (seconds) = 0.020 ] ] 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 = 1115 Produced CNF clauses = 5327 Search steps = 0 Wall clock TIME (seconds) = 0.035 CPU/machine TIME (seconds) = 0.020 ] ] 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 = 996 Produced CNF clauses = 4647 Search steps = 0 Wall clock TIME (seconds) = 0.031 CPU/machine TIME (seconds) = 0.020 ] ] 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 = 1068 Produced CNF clauses = 5159 Search steps = 0 Wall clock TIME (seconds) = 0.034 CPU/machine TIME (seconds) = 0.020 ] ] 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 = 1453 Produced CNF clauses = 7638 Search steps = 0 Wall clock TIME (seconds) = 0.047 CPU/machine TIME (seconds) = 0.040 ] ] 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 = 1290 Produced CNF clauses = 6463 Search steps = 0 Wall clock TIME (seconds) = 0.041 CPU/machine TIME (seconds) = 0.030 ] ] 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 = 1179 Produced CNF clauses = 5864 Search steps = 0 Wall clock TIME (seconds) = 0.037 CPU/machine TIME (seconds) = 0.030 ] ] 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 = 1453 Produced CNF clauses = 7618 Search steps = 0 Wall clock TIME (seconds) = 0.047 CPU/machine TIME (seconds) = 0.030 ] ] 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 = 905 Produced CNF clauses = 4067 Search steps = 0 Wall clock TIME (seconds) = 0.028 CPU/machine TIME (seconds) = 0.020 ] ] 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 = 916 Produced CNF clauses = 3999 Search steps = 0 Wall clock TIME (seconds) = 0.027 CPU/machine TIME (seconds) = 0.020 ] ] 45 ./gridgen_reLOC --x-size=4 --y-size=4 --N-robots=6 --obstacle-probability=0.2 --seed=45 --cnf-level=8 --cnf-file=grid_4x4_r6_45.cnf ================================================================ reLOC 0.09-vegas : Grid Instance Generator (C) Copyright 2011-2013 Pavel Surynek ---------------------------------------------------------------- Phase statistics (current phase = 'root_phase') [ Phase (name = 'root_phase') [ Total SAT solver calls = 0 Satisfiable SAT solver calls = 0 Unsatisfiable SAT solver calls = 0 Indeterminate SAT solver calls = 0 Move executions = 0 Produced CNF variables = 1143 Produced CNF clauses = 5687 Search steps = 0 Wall clock TIME (seconds) = 0.031 CPU/machine TIME (seconds) = 0.020 ] ] 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 = 1115 Produced CNF clauses = 5254 Search steps = 0 Wall clock TIME (seconds) = 0.029 CPU/machine TIME (seconds) = 0.020 ] ] 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 = 996 Produced CNF clauses = 4570 Search steps = 0 Wall clock TIME (seconds) = 0.025 CPU/machine TIME (seconds) = 0.020 ] ] 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 = 1068 Produced CNF clauses = 5095 Search steps = 0 Wall clock TIME (seconds) = 0.028 CPU/machine TIME (seconds) = 0.020 ] ] 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 = 1453 Produced CNF clauses = 7537 Search steps = 0 Wall clock TIME (seconds) = 0.040 CPU/machine TIME (seconds) = 0.030 ] ] 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 = 1290 Produced CNF clauses = 6406 Search steps = 0 Wall clock TIME (seconds) = 0.038 CPU/machine TIME (seconds) = 0.030 ] ] 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 = 1179 Produced CNF clauses = 5781 Search steps = 0 Wall clock TIME (seconds) = 0.033 CPU/machine TIME (seconds) = 0.020 ] ] 774 ./gridgen_reLOC --x-size=4 --y-size=4 --N-robots=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 = 1453 Produced CNF clauses = 7557 Search steps = 0 Wall clock TIME (seconds) = 0.043 CPU/machine TIME (seconds) = 0.030 ] ] 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 = 905 Produced CNF clauses = 4022 Search steps = 0 Wall clock TIME (seconds) = 0.023 CPU/machine TIME (seconds) = 0.010 ] ] 12 ./gridgen_reLOC --x-size=4 --y-size=4 --N-robots=7 --obstacle-probability=0.2 --seed=12 --cnf-level=8 --cnf-file=grid_4x4_r7_12.cnf ================================================================ reLOC 0.09-vegas : Grid Instance Generator (C) Copyright 2011-2013 Pavel Surynek ---------------------------------------------------------------- Phase statistics (current phase = 'root_phase') [ Phase (name = 'root_phase') [ Total SAT solver calls = 0 Satisfiable SAT solver calls = 0 Unsatisfiable SAT solver calls = 0 Indeterminate SAT solver calls = 0 Move executions = 0 Produced CNF variables = 916 Produced CNF clauses = 3991 Search steps = 0 Wall clock TIME (seconds) = 0.023 CPU/machine TIME (seconds) = 0.020 ] ] 45 ./gridgen_reLOC --x-size=4 --y-size=4 --N-robots=7 --obstacle-probability=0.2 --seed=45 --cnf-level=8 --cnf-file=grid_4x4_r7_45.cnf ================================================================ reLOC 0.09-vegas : Grid Instance Generator (C) Copyright 2011-2013 Pavel Surynek ---------------------------------------------------------------- Phase statistics (current phase = 'root_phase') [ Phase (name = 'root_phase') [ Total SAT solver calls = 0 Satisfiable SAT solver calls = 0 Unsatisfiable SAT solver calls = 0 Indeterminate SAT solver calls = 0 Move executions = 0 Produced CNF variables = 1143 Produced CNF clauses = 5609 Search steps = 0 Wall clock TIME (seconds) = 0.030 CPU/machine TIME (seconds) = 0.020 ] ] 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 = 1115 Produced CNF clauses = 5166 Search steps = 0 Wall clock TIME (seconds) = 0.028 CPU/machine TIME (seconds) = 0.020 ] ] 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 = 996 Produced CNF clauses = 4534 Search steps = 0 Wall clock TIME (seconds) = 0.027 CPU/machine TIME (seconds) = 0.020 ] ] 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 = 1068 Produced CNF clauses = 5038 Search steps = 0 Wall clock TIME (seconds) = 0.027 CPU/machine TIME (seconds) = 0.020 ] ] 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 = 1453 Produced CNF clauses = 7480 Search steps = 0 Wall clock TIME (seconds) = 0.040 CPU/machine TIME (seconds) = 0.030 ] ] 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 = 1290 Produced CNF clauses = 6350 Search steps = 0 Wall clock TIME (seconds) = 0.034 CPU/machine TIME (seconds) = 0.030 ] ] 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 = 1179 Produced CNF clauses = 5748 Search steps = 0 Wall clock TIME (seconds) = 0.032 CPU/machine TIME (seconds) = 0.020 ] ] 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 = 1453 Produced CNF clauses = 7519 Search steps = 0 Wall clock TIME (seconds) = 0.040 CPU/machine TIME (seconds) = 0.030 ] ] 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 = 1001 Produced CNF clauses = 5476 Search steps = 0 Wall clock TIME (seconds) = 0.033 CPU/machine TIME (seconds) = 0.030 ] ] 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 = 1020 Produced CNF clauses = 5467 Search steps = 0 Wall clock TIME (seconds) = 0.035 CPU/machine TIME (seconds) = 0.030 ] ] 45 ./gridgen_reLOC --x-size=4 --y-size=4 --N-robots=8 --obstacle-probability=0.2 --seed=45 --cnf-level=8 --cnf-file=grid_4x4_r8_45.cnf ================================================================ reLOC 0.09-vegas : Grid Instance Generator (C) Copyright 2011-2013 Pavel Surynek ---------------------------------------------------------------- Phase statistics (current phase = 'root_phase') [ Phase (name = 'root_phase') [ Total SAT solver calls = 0 Satisfiable SAT solver calls = 0 Unsatisfiable SAT solver calls = 0 Indeterminate SAT solver calls = 0 Move executions = 0 Produced CNF variables = 1255 Produced CNF clauses = 7445 Search steps = 0 Wall clock TIME (seconds) = 0.044 CPU/machine TIME (seconds) = 0.040 ] ] 78 ./gridgen_reLOC --x-size=4 --y-size=4 --N-robots=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 = 1227 Produced CNF clauses = 6975 Search steps = 0 Wall clock TIME (seconds) = 0.042 CPU/machine TIME (seconds) = 0.030 ] ] 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 = 1100 Produced CNF clauses = 6133 Search steps = 0 Wall clock TIME (seconds) = 0.038 CPU/machine TIME (seconds) = 0.030 ] ] 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 = 1172 Produced CNF clauses = 6725 Search steps = 0 Wall clock TIME (seconds) = 0.040 CPU/machine TIME (seconds) = 0.030 ] ] 188 ./gridgen_reLOC --x-size=4 --y-size=4 --N-robots=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 = 1581 Produced CNF clauses = 9795 Search steps = 0 Wall clock TIME (seconds) = 0.055 CPU/machine TIME (seconds) = 0.050 ] ] 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 = 1410 Produced CNF clauses = 8414 Search steps = 0 Wall clock TIME (seconds) = 0.048 CPU/machine TIME (seconds) = 0.040 ] ] 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 = 1291 Produced CNF clauses = 7610 Search steps = 0 Wall clock TIME (seconds) = 0.045 CPU/machine TIME (seconds) = 0.040 ] ] 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 = 1581 Produced CNF clauses = 9808 Search steps = 0 Wall clock TIME (seconds) = 0.056 CPU/machine TIME (seconds) = 0.050 ] ] grid size = 4 max robots = 8 1,3455 c number of literals = 5576 1,12 c number of literals = 5232 1,45 c number of literals = 8400 1,78 c number of literals = 7329 1,8546 c number of literals = 6540 1,474 c number of literals = 7246 1,188 c number of literals = 11419 1,7899 c number of literals = 9277 1,9 c number of literals = 8387 1,774 c number of literals = 11437 2,3455 c number of literals = 7891 2,12 c number of literals = 7544 2,45 c number of literals = 11493 2,78 c number of literals = 10259 2,8546 c number of literals = 9052 2,474 c number of literals = 10104 2,188 c number of literals = 15421 2,7899 c number of literals = 12804 2,9 c number of literals = 11579 2,774 c number of literals = 15411 3,3455 c number of literals = 7795 3,12 c number of literals = 7522 3,45 c number of literals = 11361 3,78 c number of literals = 10105 3,8546 c number of literals = 8962 3,474 c number of literals = 9926 3,188 c number of literals = 15251 3,7899 c number of literals = 12622 3,9 c number of literals = 11417 3,774 c number of literals = 15273 4,3455 c number of literals = 10817 4,12 c number of literals = 10540 4,45 c number of literals = 15291 4,78 c number of literals = 13925 4,8546 c number of literals = 12303 4,474 c number of literals = 13644 4,188 c number of literals = 20200 4,7899 c number of literals = 17064 4,9 c number of literals = 15390 4,774 c number of literals = 20251 5,3455 c number of literals = 10700 5,12 c number of literals = 10561 5,45 c number of literals = 15123 5,78 c number of literals = 13928 5,8546 c number of literals = 12201 5,474 c number of literals = 13443 5,188 c number of literals = 20053 5,7899 c number of literals = 16827 5,9 c number of literals = 15315 5,774 c number of literals = 19993 6,3455 c number of literals = 10550 6,12 c number of literals = 10453 6,45 c number of literals = 14973 6,78 c number of literals = 13709 6,8546 c number of literals = 11970 6,474 c number of literals = 13251 6,188 c number of literals = 19750 6,7899 c number of literals = 16656 6,9 c number of literals = 15066 6,774 c number of literals = 19810 7,3455 c number of literals = 10415 7,12 c number of literals = 10429 7,45 c number of literals = 14739 7,78 c number of literals = 13445 7,8546 c number of literals = 11862 7,474 c number of literals = 13080 7,188 c number of literals = 19579 7,7899 c number of literals = 16488 7,9 c number of literals = 14967 7,774 c number of literals = 19696 8,3455 c number of literals = 15361 8,12 c number of literals = 15728 8,45 c number of literals = 20907 8,78 c number of literals = 19615 8,8546 c number of literals = 17328 8,474 c number of literals = 18716 8,188 c number of literals = 27109 8,7899 c number of literals = 23282 8,9 c number of literals = 21147 8,774 c number of literals = 27161 grid size = 4 max robots = 8 1,3455 c number of clauses / number of variables = 3.079 c number of visible variables = 328 c number of hidden variables = 385 c number of propositional variables = 713 1,12 c number of clauses / number of variables = 2.960 c number of visible variables = 344 c number of hidden variables = 364 c number of propositional variables = 708 1,45 c number of clauses / number of variables = 3.489 c number of visible variables = 408 c number of hidden variables = 511 c number of propositional variables = 919 1,78 c number of clauses / number of variables = 3.221 c number of visible variables = 408 c number of hidden variables = 483 c number of propositional variables = 891 1,8546 c number of clauses / number of variables = 3.218 c number of visible variables = 368 c number of hidden variables = 420 c number of propositional variables = 788 1,474 c number of clauses / number of variables = 3.298 c number of visible variables = 384 c number of hidden variables = 476 c number of propositional variables = 860 1,188 c number of clauses / number of variables = 3.639 c number of visible variables = 504 c number of hidden variables = 693 c number of propositional variables = 1197 1,7899 c number of clauses / number of variables = 3.435 c number of visible variables = 448 c number of hidden variables = 602 c number of propositional variables = 1050 1,9 c number of clauses / number of variables = 3.409 c number of visible variables = 416 c number of hidden variables = 539 c number of propositional variables = 955 1,774 c number of clauses / number of variables = 3.654 c number of visible variables = 504 c number of hidden variables = 693 c number of propositional variables = 1197 2,3455 c number of clauses / number of variables = 3.853 c number of visible variables = 424 c number of hidden variables = 385 c number of propositional variables = 809 2,12 c number of clauses / number of variables = 3.692 c number of visible variables = 448 c number of hidden variables = 364 c number of propositional variables = 812 2,45 c number of clauses / number of variables = 4.312 c number of visible variables = 520 c number of hidden variables = 511 c number of propositional variables = 1031 2,78 c number of clauses / number of variables = 4.020 c number of visible variables = 520 c number of hidden variables = 483 c number of propositional variables = 1003 2,8546 c number of clauses / number of variables = 3.955 c number of visible variables = 472 c number of hidden variables = 420 c number of propositional variables = 892 2,474 c number of clauses / number of variables = 4.118 c number of visible variables = 488 c number of hidden variables = 476 c number of propositional variables = 964 2,188 c number of clauses / number of variables = 4.492 c number of visible variables = 632 c number of hidden variables = 693 c number of propositional variables = 1325 2,7899 c number of clauses / number of variables = 4.281 c number of visible variables = 568 c number of hidden variables = 602 c number of propositional variables = 1170 2,9 c number of clauses / number of variables = 4.240 c number of visible variables = 528 c number of hidden variables = 539 c number of propositional variables = 1067 2,774 c number of clauses / number of variables = 4.488 c number of visible variables = 632 c number of hidden variables = 693 c number of propositional variables = 1325 3,3455 c number of clauses / number of variables = 3.794 c number of visible variables = 424 c number of hidden variables = 385 c number of propositional variables = 809 3,12 c number of clauses / number of variables = 3.679 c number of visible variables = 448 c number of hidden variables = 364 c number of propositional variables = 812 3,45 c number of clauses / number of variables = 4.248 c number of visible variables = 520 c number of hidden variables = 511 c number of propositional variables = 1031 3,78 c number of clauses / number of variables = 3.943 c number of visible variables = 520 c number of hidden variables = 483 c number of propositional variables = 1003 3,8546 c number of clauses / number of variables = 3.905 c number of visible variables = 472 c number of hidden variables = 420 c number of propositional variables = 892 3,474 c number of clauses / number of variables = 4.026 c number of visible variables = 488 c number of hidden variables = 476 c number of propositional variables = 964 3,188 c number of clauses / number of variables = 4.428 c number of visible variables = 632 c number of hidden variables = 693 c number of propositional variables = 1325 3,7899 c number of clauses / number of variables = 4.203 c number of visible variables = 568 c number of hidden variables = 602 c number of propositional variables = 1170 3,9 c number of clauses / number of variables = 4.164 c number of visible variables = 528 c number of hidden variables = 539 c number of propositional variables = 1067 3,774 c number of clauses / number of variables = 4.436 c number of visible variables = 632 c number of hidden variables = 693 c number of propositional variables = 1325 4,3455 c number of clauses / number of variables = 4.592 c number of visible variables = 520 c number of hidden variables = 385 c number of propositional variables = 905 4,12 c number of clauses / number of variables = 4.397 c number of visible variables = 552 c number of hidden variables = 364 c number of propositional variables = 916 4,45 c number of clauses / number of variables = 5.068 c number of visible variables = 632 c number of hidden variables = 511 c number of propositional variables = 1143 4,78 c number of clauses / number of variables = 4.777 c number of visible variables = 632 c number of hidden variables = 483 c number of propositional variables = 1115 4,8546 c number of clauses / number of variables = 4.700 c number of visible variables = 576 c number of hidden variables = 420 c number of propositional variables = 996 4,474 c number of clauses / number of variables = 4.893 c number of visible variables = 592 c number of hidden variables = 476 c number of propositional variables = 1068 4,188 c number of clauses / number of variables = 5.290 c number of visible variables = 760 c number of hidden variables = 693 c number of propositional variables = 1453 4,7899 c number of clauses / number of variables = 5.071 c number of visible variables = 688 c number of hidden variables = 602 c number of propositional variables = 1290 4,9 c number of clauses / number of variables = 4.995 c number of visible variables = 640 c number of hidden variables = 539 c number of propositional variables = 1179 4,774 c number of clauses / number of variables = 5.302 c number of visible variables = 760 c number of hidden variables = 693 c number of propositional variables = 1453 5,3455 c number of clauses / number of variables = 4.549 c number of visible variables = 520 c number of hidden variables = 385 c number of propositional variables = 905 5,12 c number of clauses / number of variables = 4.405 c number of visible variables = 552 c number of hidden variables = 364 c number of propositional variables = 916 5,45 c number of clauses / number of variables = 5.019 c number of visible variables = 632 c number of hidden variables = 511 c number of propositional variables = 1143 5,78 c number of clauses / number of variables = 4.778 c number of visible variables = 632 c number of hidden variables = 483 c number of propositional variables = 1115 5,8546 c number of clauses / number of variables = 4.666 c number of visible variables = 576 c number of hidden variables = 420 c number of propositional variables = 996 5,474 c number of clauses / number of variables = 4.831 c number of visible variables = 592 c number of hidden variables = 476 c number of propositional variables = 1068 5,188 c number of clauses / number of variables = 5.257 c number of visible variables = 760 c number of hidden variables = 693 c number of propositional variables = 1453 5,7899 c number of clauses / number of variables = 5.010 c number of visible variables = 688 c number of hidden variables = 602 c number of propositional variables = 1290 5,9 c number of clauses / number of variables = 4.974 c number of visible variables = 640 c number of hidden variables = 539 c number of propositional variables = 1179 5,774 c number of clauses / number of variables = 5.243 c number of visible variables = 760 c number of hidden variables = 693 c number of propositional variables = 1453 6,3455 c number of clauses / number of variables = 4.494 c number of visible variables = 520 c number of hidden variables = 385 c number of propositional variables = 905 6,12 c number of clauses / number of variables = 4.366 c number of visible variables = 552 c number of hidden variables = 364 c number of propositional variables = 916 6,45 c number of clauses / number of variables = 4.976 c number of visible variables = 632 c number of hidden variables = 511 c number of propositional variables = 1143 6,78 c number of clauses / number of variables = 4.712 c number of visible variables = 632 c number of hidden variables = 483 c number of propositional variables = 1115 6,8546 c number of clauses / number of variables = 4.588 c number of visible variables = 576 c number of hidden variables = 420 c number of propositional variables = 996 6,474 c number of clauses / number of variables = 4.771 c number of visible variables = 592 c number of hidden variables = 476 c number of propositional variables = 1068 6,188 c number of clauses / number of variables = 5.187 c number of visible variables = 760 c number of hidden variables = 693 c number of propositional variables = 1453 6,7899 c number of clauses / number of variables = 4.966 c number of visible variables = 688 c number of hidden variables = 602 c number of propositional variables = 1290 6,9 c number of clauses / number of variables = 4.903 c number of visible variables = 640 c number of hidden variables = 539 c number of propositional variables = 1179 6,774 c number of clauses / number of variables = 5.201 c number of visible variables = 760 c number of hidden variables = 693 c number of propositional variables = 1453 7,3455 c number of clauses / number of variables = 4.444 c number of visible variables = 520 c number of hidden variables = 385 c number of propositional variables = 905 7,12 c number of clauses / number of variables = 4.357 c number of visible variables = 552 c number of hidden variables = 364 c number of propositional variables = 916 7,45 c number of clauses / number of variables = 4.907 c number of visible variables = 632 c number of hidden variables = 511 c number of propositional variables = 1143 7,78 c number of clauses / number of variables = 4.633 c number of visible variables = 632 c number of hidden variables = 483 c number of propositional variables = 1115 7,8546 c number of clauses / number of variables = 4.552 c number of visible variables = 576 c number of hidden variables = 420 c number of propositional variables = 996 7,474 c number of clauses / number of variables = 4.717 c number of visible variables = 592 c number of hidden variables = 476 c number of propositional variables = 1068 7,188 c number of clauses / number of variables = 5.148 c number of visible variables = 760 c number of hidden variables = 693 c number of propositional variables = 1453 7,7899 c number of clauses / number of variables = 4.922 c number of visible variables = 688 c number of hidden variables = 602 c number of propositional variables = 1290 7,9 c number of clauses / number of variables = 4.875 c number of visible variables = 640 c number of hidden variables = 539 c number of propositional variables = 1179 7,774 c number of clauses / number of variables = 5.175 c number of visible variables = 760 c number of hidden variables = 693 c number of propositional variables = 1453 8,3455 c number of clauses / number of variables = 5.471 c number of visible variables = 616 c number of hidden variables = 385 c number of propositional variables = 1001 8,12 c number of clauses / number of variables = 5.360 c number of visible variables = 656 c number of hidden variables = 364 c number of propositional variables = 1020 8,45 c number of clauses / number of variables = 5.932 c number of visible variables = 744 c number of hidden variables = 511 c number of propositional variables = 1255 8,78 c number of clauses / number of variables = 5.685 c number of visible variables = 744 c number of hidden variables = 483 c number of propositional variables = 1227 8,8546 c number of clauses / number of variables = 5.575 c number of visible variables = 680 c number of hidden variables = 420 c number of propositional variables = 1100 8,474 c number of clauses / number of variables = 5.738 c number of visible variables = 696 c number of hidden variables = 476 c number of propositional variables = 1172 8,188 c number of clauses / number of variables = 6.195 c number of visible variables = 888 c number of hidden variables = 693 c number of propositional variables = 1581 8,7899 c number of clauses / number of variables = 5.967 c number of visible variables = 808 c number of hidden variables = 602 c number of propositional variables = 1410 8,9 c number of clauses / number of variables = 5.895 c number of visible variables = 752 c number of hidden variables = 539 c number of propositional variables = 1291 8,774 c number of clauses / number of variables = 6.204 c number of visible variables = 888 c number of hidden variables = 693 c number of propositional variables = 1581 grid size = 4 max robots = 8 1,3455 c number of clauses / number of variables = 3.079 c number of clauses = 2195 1,12 c number of clauses / number of variables = 2.960 c number of clauses = 2096 1,45 c number of clauses / number of variables = 3.489 c number of clauses = 3206 1,78 c number of clauses / number of variables = 3.221 c number of clauses = 2870 1,8546 c number of clauses / number of variables = 3.218 c number of clauses = 2536 1,474 c number of clauses / number of variables = 3.298 c number of clauses = 2836 1,188 c number of clauses / number of variables = 3.639 c number of clauses = 4356 1,7899 c number of clauses / number of variables = 3.435 c number of clauses = 3607 1,9 c number of clauses / number of variables = 3.409 c number of clauses = 3256 1,774 c number of clauses / number of variables = 3.654 c number of clauses = 4374 2,3455 c number of clauses / number of variables = 3.853 c number of clauses = 3117 2,12 c number of clauses / number of variables = 3.692 c number of clauses = 2998 2,45 c number of clauses / number of variables = 4.312 c number of clauses = 4446 2,78 c number of clauses / number of variables = 4.020 c number of clauses = 4032 2,8546 c number of clauses / number of variables = 3.955 c number of clauses = 3528 2,474 c number of clauses / number of variables = 4.118 c number of clauses = 3970 2,188 c number of clauses / number of variables = 4.492 c number of clauses = 5952 2,7899 c number of clauses / number of variables = 4.281 c number of clauses = 5009 2,9 c number of clauses / number of variables = 4.240 c number of clauses = 4524 2,774 c number of clauses / number of variables = 4.488 c number of clauses = 5947 3,3455 c number of clauses / number of variables = 3.794 c number of clauses = 3069 3,12 c number of clauses / number of variables = 3.679 c number of clauses = 2987 3,45 c number of clauses / number of variables = 4.248 c number of clauses = 4380 3,78 c number of clauses / number of variables = 3.943 c number of clauses = 3955 3,8546 c number of clauses / number of variables = 3.905 c number of clauses = 3483 3,474 c number of clauses / number of variables = 4.026 c number of clauses = 3881 3,188 c number of clauses / number of variables = 4.428 c number of clauses = 5867 3,7899 c number of clauses / number of variables = 4.203 c number of clauses = 4918 3,9 c number of clauses / number of variables = 4.164 c number of clauses = 4443 3,774 c number of clauses / number of variables = 4.436 c number of clauses = 5878 4,3455 c number of clauses / number of variables = 4.592 c number of clauses = 4156 4,12 c number of clauses / number of variables = 4.397 c number of clauses = 4028 4,45 c number of clauses / number of variables = 5.068 c number of clauses = 5793 4,78 c number of clauses / number of variables = 4.777 c number of clauses = 5326 4,8546 c number of clauses / number of variables = 4.700 c number of clauses = 4681 4,474 c number of clauses / number of variables = 4.893 c number of clauses = 5226 4,188 c number of clauses / number of variables = 5.290 c number of clauses = 7687 4,7899 c number of clauses / number of variables = 5.071 c number of clauses = 6542 4,9 c number of clauses / number of variables = 4.995 c number of clauses = 5889 4,774 c number of clauses / number of variables = 5.302 c number of clauses = 7704 5,3455 c number of clauses / number of variables = 4.549 c number of clauses = 4117 5,12 c number of clauses / number of variables = 4.405 c number of clauses = 4035 5,45 c number of clauses / number of variables = 5.019 c number of clauses = 5737 5,78 c number of clauses / number of variables = 4.778 c number of clauses = 5327 5,8546 c number of clauses / number of variables = 4.666 c number of clauses = 4647 5,474 c number of clauses / number of variables = 4.831 c number of clauses = 5159 5,188 c number of clauses / number of variables = 5.257 c number of clauses = 7638 5,7899 c number of clauses / number of variables = 5.010 c number of clauses = 6463 5,9 c number of clauses / number of variables = 4.974 c number of clauses = 5864 5,774 c number of clauses / number of variables = 5.243 c number of clauses = 7618 6,3455 c number of clauses / number of variables = 4.494 c number of clauses = 4067 6,12 c number of clauses / number of variables = 4.366 c number of clauses = 3999 6,45 c number of clauses / number of variables = 4.976 c number of clauses = 5687 6,78 c number of clauses / number of variables = 4.712 c number of clauses = 5254 6,8546 c number of clauses / number of variables = 4.588 c number of clauses = 4570 6,474 c number of clauses / number of variables = 4.771 c number of clauses = 5095 6,188 c number of clauses / number of variables = 5.187 c number of clauses = 7537 6,7899 c number of clauses / number of variables = 4.966 c number of clauses = 6406 6,9 c number of clauses / number of variables = 4.903 c number of clauses = 5781 6,774 c number of clauses / number of variables = 5.201 c number of clauses = 7557 7,3455 c number of clauses / number of variables = 4.444 c number of clauses = 4022 7,12 c number of clauses / number of variables = 4.357 c number of clauses = 3991 7,45 c number of clauses / number of variables = 4.907 c number of clauses = 5609 7,78 c number of clauses / number of variables = 4.633 c number of clauses = 5166 7,8546 c number of clauses / number of variables = 4.552 c number of clauses = 4534 7,474 c number of clauses / number of variables = 4.717 c number of clauses = 5038 7,188 c number of clauses / number of variables = 5.148 c number of clauses = 7480 7,7899 c number of clauses / number of variables = 4.922 c number of clauses = 6350 7,9 c number of clauses / number of variables = 4.875 c number of clauses = 5748 7,774 c number of clauses / number of variables = 5.175 c number of clauses = 7519 8,3455 c number of clauses / number of variables = 5.471 c number of clauses = 5476 8,12 c number of clauses / number of variables = 5.360 c number of clauses = 5467 8,45 c number of clauses / number of variables = 5.932 c number of clauses = 7445 8,78 c number of clauses / number of variables = 5.685 c number of clauses = 6975 8,8546 c number of clauses / number of variables = 5.575 c number of clauses = 6133 8,474 c number of clauses / number of variables = 5.738 c number of clauses = 6725 8,188 c number of clauses / number of variables = 6.195 c number of clauses = 9795 8,7899 c number of clauses / number of variables = 5.967 c number of clauses = 8414 8,9 c number of clauses / number of variables = 5.895 c number of clauses = 7610 8,774 c number of clauses / number of variables = 6.204 c number of clauses = 9808