grid size = 6 max robots = 18 obstacles = 0.2 3455 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=1 --obstacle-probability=0.2 --seed=3455 --cnf-level=12 --cnf-file=grid_6x6_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 = 300 Produced CNF clauses = 4657 Search steps = 0 Wall clock TIME (seconds) = 0.014 CPU/machine TIME (seconds) = 0.010 ] ] 12 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=1 --obstacle-probability=0.2 --seed=12 --cnf-level=12 --cnf-file=grid_6x6_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 = 324 Produced CNF clauses = 5200 Search steps = 0 Wall clock TIME (seconds) = 0.013 CPU/machine TIME (seconds) = 0.000 ] ] 45 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=1 --obstacle-probability=0.2 --seed=45 --cnf-level=12 --cnf-file=grid_6x6_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 = 276 Produced CNF clauses = 3698 Search steps = 0 Wall clock TIME (seconds) = 0.009 CPU/machine TIME (seconds) = 0.000 ] ] 78 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=1 --obstacle-probability=0.2 --seed=78 --cnf-level=12 --cnf-file=grid_6x6_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 = 348 Produced CNF clauses = 5969 Search steps = 0 Wall clock TIME (seconds) = 0.015 CPU/machine TIME (seconds) = 0.010 ] ] 8546 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=1 --obstacle-probability=0.2 --seed=8546 --cnf-level=12 --cnf-file=grid_6x6_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 = 360 Produced CNF clauses = 6545 Search steps = 0 Wall clock TIME (seconds) = 0.018 CPU/machine TIME (seconds) = 0.010 ] ] 474 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=1 --obstacle-probability=0.2 --seed=474 --cnf-level=12 --cnf-file=grid_6x6_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 = 336 Produced CNF clauses = 6023 Search steps = 0 Wall clock TIME (seconds) = 0.018 CPU/machine TIME (seconds) = 0.010 ] ] 188 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=1 --obstacle-probability=0.2 --seed=188 --cnf-level=12 --cnf-file=grid_6x6_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 = 372 Produced CNF clauses = 7237 Search steps = 0 Wall clock TIME (seconds) = 0.021 CPU/machine TIME (seconds) = 0.020 ] ] 7899 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=1 --obstacle-probability=0.2 --seed=7899 --cnf-level=12 --cnf-file=grid_6x6_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 = 348 Produced CNF clauses = 6458 Search steps = 0 Wall clock TIME (seconds) = 0.020 CPU/machine TIME (seconds) = 0.010 ] ] 9 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=1 --obstacle-probability=0.2 --seed=9 --cnf-level=12 --cnf-file=grid_6x6_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 = 360 Produced CNF clauses = 6538 Search steps = 0 Wall clock TIME (seconds) = 0.017 CPU/machine TIME (seconds) = 0.010 ] ] 774 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=1 --obstacle-probability=0.2 --seed=774 --cnf-level=12 --cnf-file=grid_6x6_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 = 396 Produced CNF clauses = 8157 Search steps = 0 Wall clock TIME (seconds) = 0.024 CPU/machine TIME (seconds) = 0.020 ] ] 3455 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=2 --obstacle-probability=0.2 --seed=3455 --cnf-level=12 --cnf-file=grid_6x6_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 = 600 Produced CNF clauses = 9762 Search steps = 0 Wall clock TIME (seconds) = 0.035 CPU/machine TIME (seconds) = 0.030 ] ] 12 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=2 --obstacle-probability=0.2 --seed=12 --cnf-level=12 --cnf-file=grid_6x6_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 = 648 Produced CNF clauses = 11221 Search steps = 0 Wall clock TIME (seconds) = 0.038 CPU/machine TIME (seconds) = 0.030 ] ] 45 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=2 --obstacle-probability=0.2 --seed=45 --cnf-level=12 --cnf-file=grid_6x6_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 = 552 Produced CNF clauses = 8159 Search steps = 0 Wall clock TIME (seconds) = 0.027 CPU/machine TIME (seconds) = 0.020 ] ] 78 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=2 --obstacle-probability=0.2 --seed=78 --cnf-level=12 --cnf-file=grid_6x6_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 = 696 Produced CNF clauses = 12656 Search steps = 0 Wall clock TIME (seconds) = 0.040 CPU/machine TIME (seconds) = 0.040 ] ] 8546 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=2 --obstacle-probability=0.2 --seed=8546 --cnf-level=12 --cnf-file=grid_6x6_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 = 720 Produced CNF clauses = 13693 Search steps = 0 Wall clock TIME (seconds) = 0.045 CPU/machine TIME (seconds) = 0.040 ] ] 474 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=2 --obstacle-probability=0.2 --seed=474 --cnf-level=12 --cnf-file=grid_6x6_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 = 672 Produced CNF clauses = 12203 Search steps = 0 Wall clock TIME (seconds) = 0.042 CPU/machine TIME (seconds) = 0.040 ] ] 188 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=2 --obstacle-probability=0.2 --seed=188 --cnf-level=12 --cnf-file=grid_6x6_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 = 744 Produced CNF clauses = 14836 Search steps = 0 Wall clock TIME (seconds) = 0.050 CPU/machine TIME (seconds) = 0.040 ] ] 7899 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=2 --obstacle-probability=0.2 --seed=7899 --cnf-level=12 --cnf-file=grid_6x6_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 = 696 Produced CNF clauses = 13002 Search steps = 0 Wall clock TIME (seconds) = 0.045 CPU/machine TIME (seconds) = 0.030 ] ] 9 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=2 --obstacle-probability=0.2 --seed=9 --cnf-level=12 --cnf-file=grid_6x6_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 = 720 Produced CNF clauses = 13385 Search steps = 0 Wall clock TIME (seconds) = 0.041 CPU/machine TIME (seconds) = 0.030 ] ] 774 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=2 --obstacle-probability=0.2 --seed=774 --cnf-level=12 --cnf-file=grid_6x6_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 = 792 Produced CNF clauses = 16649 Search steps = 0 Wall clock TIME (seconds) = 0.057 CPU/machine TIME (seconds) = 0.050 ] ] 3455 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=3 --obstacle-probability=0.2 --seed=3455 --cnf-level=12 --cnf-file=grid_6x6_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 = 900 Produced CNF clauses = 14742 Search steps = 0 Wall clock TIME (seconds) = 0.055 CPU/machine TIME (seconds) = 0.050 ] ] 12 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=3 --obstacle-probability=0.2 --seed=12 --cnf-level=12 --cnf-file=grid_6x6_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 = 972 Produced CNF clauses = 16543 Search steps = 0 Wall clock TIME (seconds) = 0.057 CPU/machine TIME (seconds) = 0.050 ] ] 45 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=3 --obstacle-probability=0.2 --seed=45 --cnf-level=12 --cnf-file=grid_6x6_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 = 828 Produced CNF clauses = 12350 Search steps = 0 Wall clock TIME (seconds) = 0.043 CPU/machine TIME (seconds) = 0.040 ] ] 78 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=3 --obstacle-probability=0.2 --seed=78 --cnf-level=12 --cnf-file=grid_6x6_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 = 1044 Produced CNF clauses = 19623 Search steps = 0 Wall clock TIME (seconds) = 0.075 CPU/machine TIME (seconds) = 0.070 ] ] 8546 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=3 --obstacle-probability=0.2 --seed=8546 --cnf-level=12 --cnf-file=grid_6x6_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 = 1080 Produced CNF clauses = 20791 Search steps = 0 Wall clock TIME (seconds) = 0.078 CPU/machine TIME (seconds) = 0.070 ] ] 474 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=3 --obstacle-probability=0.2 --seed=474 --cnf-level=12 --cnf-file=grid_6x6_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 = 1008 Produced CNF clauses = 17702 Search steps = 0 Wall clock TIME (seconds) = 0.060 CPU/machine TIME (seconds) = 0.060 ] ] 188 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=3 --obstacle-probability=0.2 --seed=188 --cnf-level=12 --cnf-file=grid_6x6_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 = 1116 Produced CNF clauses = 21969 Search steps = 0 Wall clock TIME (seconds) = 0.079 CPU/machine TIME (seconds) = 0.070 ] ] 7899 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=3 --obstacle-probability=0.2 --seed=7899 --cnf-level=12 --cnf-file=grid_6x6_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 = 1044 Produced CNF clauses = 20125 Search steps = 0 Wall clock TIME (seconds) = 0.083 CPU/machine TIME (seconds) = 0.080 ] ] 9 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=3 --obstacle-probability=0.2 --seed=9 --cnf-level=12 --cnf-file=grid_6x6_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 = 1080 Produced CNF clauses = 20508 Search steps = 0 Wall clock TIME (seconds) = 0.072 CPU/machine TIME (seconds) = 0.060 ] ] 774 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=3 --obstacle-probability=0.2 --seed=774 --cnf-level=12 --cnf-file=grid_6x6_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 = 1188 Produced CNF clauses = 25405 Search steps = 0 Wall clock TIME (seconds) = 0.102 CPU/machine TIME (seconds) = 0.100 ] ] 3455 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=4 --obstacle-probability=0.2 --seed=3455 --cnf-level=12 --cnf-file=grid_6x6_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 = 1200 Produced CNF clauses = 19108 Search steps = 0 Wall clock TIME (seconds) = 0.060 CPU/machine TIME (seconds) = 0.050 ] ] 12 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=4 --obstacle-probability=0.2 --seed=12 --cnf-level=12 --cnf-file=grid_6x6_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 = 1296 Produced CNF clauses = 22760 Search steps = 0 Wall clock TIME (seconds) = 0.083 CPU/machine TIME (seconds) = 0.080 ] ] 45 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=4 --obstacle-probability=0.2 --seed=45 --cnf-level=12 --cnf-file=grid_6x6_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 = 1104 Produced CNF clauses = 17083 Search steps = 0 Wall clock TIME (seconds) = 0.068 CPU/machine TIME (seconds) = 0.060 ] ] 78 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=4 --obstacle-probability=0.2 --seed=78 --cnf-level=12 --cnf-file=grid_6x6_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 = 1392 Produced CNF clauses = 27097 Search steps = 0 Wall clock TIME (seconds) = 0.118 CPU/machine TIME (seconds) = 0.110 ] ] 8546 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=4 --obstacle-probability=0.2 --seed=8546 --cnf-level=12 --cnf-file=grid_6x6_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 = 1440 Produced CNF clauses = 28584 Search steps = 0 Wall clock TIME (seconds) = 0.122 CPU/machine TIME (seconds) = 0.110 ] ] 474 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=4 --obstacle-probability=0.2 --seed=474 --cnf-level=12 --cnf-file=grid_6x6_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 = 1344 Produced CNF clauses = 25213 Search steps = 0 Wall clock TIME (seconds) = 0.106 CPU/machine TIME (seconds) = 0.100 ] ] 188 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=4 --obstacle-probability=0.2 --seed=188 --cnf-level=12 --cnf-file=grid_6x6_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 = 1488 Produced CNF clauses = 30679 Search steps = 0 Wall clock TIME (seconds) = 0.134 CPU/machine TIME (seconds) = 0.120 ] ] 7899 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=4 --obstacle-probability=0.2 --seed=7899 --cnf-level=12 --cnf-file=grid_6x6_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 = 1392 Produced CNF clauses = 27362 Search steps = 0 Wall clock TIME (seconds) = 0.121 CPU/machine TIME (seconds) = 0.110 ] ] 9 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=4 --obstacle-probability=0.2 --seed=9 --cnf-level=12 --cnf-file=grid_6x6_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 = 1440 Produced CNF clauses = 28239 Search steps = 0 Wall clock TIME (seconds) = 0.113 CPU/machine TIME (seconds) = 0.100 ] ] 774 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=4 --obstacle-probability=0.2 --seed=774 --cnf-level=12 --cnf-file=grid_6x6_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 = 1584 Produced CNF clauses = 35188 Search steps = 0 Wall clock TIME (seconds) = 0.165 CPU/machine TIME (seconds) = 0.160 ] ] 3455 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=5 --obstacle-probability=0.2 --seed=3455 --cnf-level=12 --cnf-file=grid_6x6_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 = 1500 Produced CNF clauses = 24773 Search steps = 0 Wall clock TIME (seconds) = 0.093 CPU/machine TIME (seconds) = 0.080 ] ] 12 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=5 --obstacle-probability=0.2 --seed=12 --cnf-level=12 --cnf-file=grid_6x6_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 = 1620 Produced CNF clauses = 28923 Search steps = 0 Wall clock TIME (seconds) = 0.116 CPU/machine TIME (seconds) = 0.110 ] ] 45 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=5 --obstacle-probability=0.2 --seed=45 --cnf-level=12 --cnf-file=grid_6x6_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 = 1380 Produced CNF clauses = 22791 Search steps = 0 Wall clock TIME (seconds) = 0.119 CPU/machine TIME (seconds) = 0.120 ] ] 78 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=5 --obstacle-probability=0.2 --seed=78 --cnf-level=12 --cnf-file=grid_6x6_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 = 1740 Produced CNF clauses = 35136 Search steps = 0 Wall clock TIME (seconds) = 0.189 CPU/machine TIME (seconds) = 0.180 ] ] 8546 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=5 --obstacle-probability=0.2 --seed=8546 --cnf-level=12 --cnf-file=grid_6x6_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 = 1800 Produced CNF clauses = 36771 Search steps = 0 Wall clock TIME (seconds) = 0.186 CPU/machine TIME (seconds) = 0.180 ] ] 474 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=5 --obstacle-probability=0.2 --seed=474 --cnf-level=12 --cnf-file=grid_6x6_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 = 1680 Produced CNF clauses = 31901 Search steps = 0 Wall clock TIME (seconds) = 0.155 CPU/machine TIME (seconds) = 0.150 ] ] 188 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=5 --obstacle-probability=0.2 --seed=188 --cnf-level=12 --cnf-file=grid_6x6_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 = 1860 Produced CNF clauses = 38276 Search steps = 0 Wall clock TIME (seconds) = 0.177 CPU/machine TIME (seconds) = 0.170 ] ] 7899 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=5 --obstacle-probability=0.2 --seed=7899 --cnf-level=12 --cnf-file=grid_6x6_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 = 1740 Produced CNF clauses = 34919 Search steps = 0 Wall clock TIME (seconds) = 0.183 CPU/machine TIME (seconds) = 0.180 ] ] 9 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=5 --obstacle-probability=0.2 --seed=9 --cnf-level=12 --cnf-file=grid_6x6_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 = 1800 Produced CNF clauses = 35836 Search steps = 0 Wall clock TIME (seconds) = 0.162 CPU/machine TIME (seconds) = 0.150 ] ] 774 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=5 --obstacle-probability=0.2 --seed=774 --cnf-level=12 --cnf-file=grid_6x6_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 = 1980 Produced CNF clauses = 44477 Search steps = 0 Wall clock TIME (seconds) = 0.236 CPU/machine TIME (seconds) = 0.230 ] ] 3455 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=6 --obstacle-probability=0.2 --seed=3455 --cnf-level=12 --cnf-file=grid_6x6_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 = 1800 Produced CNF clauses = 31325 Search steps = 0 Wall clock TIME (seconds) = 0.139 CPU/machine TIME (seconds) = 0.140 ] ] 12 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=6 --obstacle-probability=0.2 --seed=12 --cnf-level=12 --cnf-file=grid_6x6_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 = 1944 Produced CNF clauses = 35393 Search steps = 0 Wall clock TIME (seconds) = 0.141 CPU/machine TIME (seconds) = 0.140 ] ] 45 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=6 --obstacle-probability=0.2 --seed=45 --cnf-level=12 --cnf-file=grid_6x6_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 = 1656 Produced CNF clauses = 28074 Search steps = 0 Wall clock TIME (seconds) = 0.153 CPU/machine TIME (seconds) = 0.150 ] ] 78 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=6 --obstacle-probability=0.2 --seed=78 --cnf-level=12 --cnf-file=grid_6x6_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 = 2088 Produced CNF clauses = 43604 Search steps = 0 Wall clock TIME (seconds) = 0.261 CPU/machine TIME (seconds) = 0.260 ] ] 8546 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=6 --obstacle-probability=0.2 --seed=8546 --cnf-level=12 --cnf-file=grid_6x6_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 = 2160 Produced CNF clauses = 45571 Search steps = 0 Wall clock TIME (seconds) = 0.253 CPU/machine TIME (seconds) = 0.240 ] ] 474 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=6 --obstacle-probability=0.2 --seed=474 --cnf-level=12 --cnf-file=grid_6x6_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 = 2016 Produced CNF clauses = 40402 Search steps = 0 Wall clock TIME (seconds) = 0.232 CPU/machine TIME (seconds) = 0.230 ] ] 188 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=6 --obstacle-probability=0.2 --seed=188 --cnf-level=12 --cnf-file=grid_6x6_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 = 2232 Produced CNF clauses = 47622 Search steps = 0 Wall clock TIME (seconds) = 0.242 CPU/machine TIME (seconds) = 0.240 ] ] 7899 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=6 --obstacle-probability=0.2 --seed=7899 --cnf-level=12 --cnf-file=grid_6x6_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 = 2088 Produced CNF clauses = 43685 Search steps = 0 Wall clock TIME (seconds) = 0.261 CPU/machine TIME (seconds) = 0.260 ] ] 9 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=6 --obstacle-probability=0.2 --seed=9 --cnf-level=12 --cnf-file=grid_6x6_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 = 2160 Produced CNF clauses = 44058 Search steps = 0 Wall clock TIME (seconds) = 0.207 CPU/machine TIME (seconds) = 0.200 ] ] 774 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=6 --obstacle-probability=0.2 --seed=774 --cnf-level=12 --cnf-file=grid_6x6_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 = 2376 Produced CNF clauses = 54952 Search steps = 0 Wall clock TIME (seconds) = 0.328 CPU/machine TIME (seconds) = 0.320 ] ] 3455 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=7 --obstacle-probability=0.2 --seed=3455 --cnf-level=12 --cnf-file=grid_6x6_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 = 2100 Produced CNF clauses = 36965 Search steps = 0 Wall clock TIME (seconds) = 0.151 CPU/machine TIME (seconds) = 0.150 ] ] 12 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=7 --obstacle-probability=0.2 --seed=12 --cnf-level=12 --cnf-file=grid_6x6_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 = 2268 Produced CNF clauses = 41939 Search steps = 0 Wall clock TIME (seconds) = 0.159 CPU/machine TIME (seconds) = 0.160 ] ] 45 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=7 --obstacle-probability=0.2 --seed=45 --cnf-level=12 --cnf-file=grid_6x6_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 = 1932 Produced CNF clauses = 33353 Search steps = 0 Wall clock TIME (seconds) = 0.180 CPU/machine TIME (seconds) = 0.180 ] ] 78 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=7 --obstacle-probability=0.2 --seed=78 --cnf-level=12 --cnf-file=grid_6x6_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 = 2436 Produced CNF clauses = 52175 Search steps = 0 Wall clock TIME (seconds) = 0.329 CPU/machine TIME (seconds) = 0.320 ] ] 8546 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=7 --obstacle-probability=0.2 --seed=8546 --cnf-level=12 --cnf-file=grid_6x6_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 = 2520 Produced CNF clauses = 53566 Search steps = 0 Wall clock TIME (seconds) = 0.290 CPU/machine TIME (seconds) = 0.280 ] ] 474 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=7 --obstacle-probability=0.2 --seed=474 --cnf-level=12 --cnf-file=grid_6x6_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 = 2352 Produced CNF clauses = 47577 Search steps = 0 Wall clock TIME (seconds) = 0.261 CPU/machine TIME (seconds) = 0.250 ] ] 188 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=7 --obstacle-probability=0.2 --seed=188 --cnf-level=12 --cnf-file=grid_6x6_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 = 2604 Produced CNF clauses = 56836 Search steps = 0 Wall clock TIME (seconds) = 0.305 CPU/machine TIME (seconds) = 0.300 ] ] 7899 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=7 --obstacle-probability=0.2 --seed=7899 --cnf-level=12 --cnf-file=grid_6x6_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 = 2436 Produced CNF clauses = 51786 Search steps = 0 Wall clock TIME (seconds) = 0.316 CPU/machine TIME (seconds) = 0.310 ] ] 9 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=7 --obstacle-probability=0.2 --seed=9 --cnf-level=12 --cnf-file=grid_6x6_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 = 2520 Produced CNF clauses = 52665 Search steps = 0 Wall clock TIME (seconds) = 0.258 CPU/machine TIME (seconds) = 0.260 ] ] 774 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=7 --obstacle-probability=0.2 --seed=774 --cnf-level=12 --cnf-file=grid_6x6_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 = 2772 Produced CNF clauses = 65261 Search steps = 0 Wall clock TIME (seconds) = 0.400 CPU/machine TIME (seconds) = 0.390 ] ] 3455 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=8 --obstacle-probability=0.2 --seed=3455 --cnf-level=12 --cnf-file=grid_6x6_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 = 2400 Produced CNF clauses = 42893 Search steps = 0 Wall clock TIME (seconds) = 0.165 CPU/machine TIME (seconds) = 0.160 ] ] 12 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=8 --obstacle-probability=0.2 --seed=12 --cnf-level=12 --cnf-file=grid_6x6_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 = 2592 Produced CNF clauses = 50757 Search steps = 0 Wall clock TIME (seconds) = 0.245 CPU/machine TIME (seconds) = 0.240 ] ] 45 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=8 --obstacle-probability=0.2 --seed=45 --cnf-level=12 --cnf-file=grid_6x6_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 = 2208 Produced CNF clauses = 39078 Search steps = 0 Wall clock TIME (seconds) = 0.210 CPU/machine TIME (seconds) = 0.200 ] ] 78 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=8 --obstacle-probability=0.2 --seed=78 --cnf-level=12 --cnf-file=grid_6x6_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 = 2784 Produced CNF clauses = 60024 Search steps = 0 Wall clock TIME (seconds) = 0.368 CPU/machine TIME (seconds) = 0.360 ] ] 8546 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=8 --obstacle-probability=0.2 --seed=8546 --cnf-level=12 --cnf-file=grid_6x6_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 = 2880 Produced CNF clauses = 63286 Search steps = 0 Wall clock TIME (seconds) = 0.370 CPU/machine TIME (seconds) = 0.360 ] ] 474 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=8 --obstacle-probability=0.2 --seed=474 --cnf-level=12 --cnf-file=grid_6x6_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 = 2688 Produced CNF clauses = 57006 Search steps = 0 Wall clock TIME (seconds) = 0.370 CPU/machine TIME (seconds) = 0.360 ] ] 188 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=8 --obstacle-probability=0.2 --seed=188 --cnf-level=12 --cnf-file=grid_6x6_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 = 2976 Produced CNF clauses = 67037 Search steps = 0 Wall clock TIME (seconds) = 0.397 CPU/machine TIME (seconds) = 0.390 ] ] 7899 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=8 --obstacle-probability=0.2 --seed=7899 --cnf-level=12 --cnf-file=grid_6x6_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 = 2784 Produced CNF clauses = 60370 Search steps = 0 Wall clock TIME (seconds) = 0.390 CPU/machine TIME (seconds) = 0.390 ] ] 9 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=8 --obstacle-probability=0.2 --seed=9 --cnf-level=12 --cnf-file=grid_6x6_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 = 2880 Produced CNF clauses = 61556 Search steps = 0 Wall clock TIME (seconds) = 0.313 CPU/machine TIME (seconds) = 0.300 ] ] 774 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=8 --obstacle-probability=0.2 --seed=774 --cnf-level=12 --cnf-file=grid_6x6_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 = 3168 Produced CNF clauses = 76020 Search steps = 0 Wall clock TIME (seconds) = 0.485 CPU/machine TIME (seconds) = 0.480 ] ] 3455 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=9 --obstacle-probability=0.2 --seed=3455 --cnf-level=12 --cnf-file=grid_6x6_r9_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 = 2700 Produced CNF clauses = 50311 Search steps = 0 Wall clock TIME (seconds) = 0.268 CPU/machine TIME (seconds) = 0.260 ] ] 12 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=9 --obstacle-probability=0.2 --seed=12 --cnf-level=12 --cnf-file=grid_6x6_r9_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 = 2916 Produced CNF clauses = 58625 Search steps = 0 Wall clock TIME (seconds) = 0.346 CPU/machine TIME (seconds) = 0.340 ] ] 45 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=9 --obstacle-probability=0.2 --seed=45 --cnf-level=12 --cnf-file=grid_6x6_r9_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 = 2484 Produced CNF clauses = 44949 Search steps = 0 Wall clock TIME (seconds) = 0.291 CPU/machine TIME (seconds) = 0.280 ] ] 78 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=9 --obstacle-probability=0.2 --seed=78 --cnf-level=12 --cnf-file=grid_6x6_r9_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 = 3132 Produced CNF clauses = 69836 Search steps = 0 Wall clock TIME (seconds) = 0.564 CPU/machine TIME (seconds) = 0.560 ] ] 8546 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=9 --obstacle-probability=0.2 --seed=8546 --cnf-level=12 --cnf-file=grid_6x6_r9_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 = 3240 Produced CNF clauses = 72005 Search steps = 0 Wall clock TIME (seconds) = 0.499 CPU/machine TIME (seconds) = 0.490 ] ] 474 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=9 --obstacle-probability=0.2 --seed=474 --cnf-level=12 --cnf-file=grid_6x6_r9_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 = 3024 Produced CNF clauses = 65254 Search steps = 0 Wall clock TIME (seconds) = 0.517 CPU/machine TIME (seconds) = 0.510 ] ] 188 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=9 --obstacle-probability=0.2 --seed=188 --cnf-level=12 --cnf-file=grid_6x6_r9_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 = 3348 Produced CNF clauses = 76423 Search steps = 0 Wall clock TIME (seconds) = 0.529 CPU/machine TIME (seconds) = 0.520 ] ] 7899 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=9 --obstacle-probability=0.2 --seed=7899 --cnf-level=12 --cnf-file=grid_6x6_r9_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 = 3132 Produced CNF clauses = 69229 Search steps = 0 Wall clock TIME (seconds) = 0.532 CPU/machine TIME (seconds) = 0.520 ] ] 9 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=9 --obstacle-probability=0.2 --seed=9 --cnf-level=12 --cnf-file=grid_6x6_r9_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 = 3240 Produced CNF clauses = 71148 Search steps = 0 Wall clock TIME (seconds) = 0.443 CPU/machine TIME (seconds) = 0.440 ] ] 774 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=9 --obstacle-probability=0.2 --seed=774 --cnf-level=12 --cnf-file=grid_6x6_r9_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 = 3564 Produced CNF clauses = 87139 Search steps = 0 Wall clock TIME (seconds) = 0.678 CPU/machine TIME (seconds) = 0.670 ] ] 3455 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=10 --obstacle-probability=0.2 --seed=3455 --cnf-level=12 --cnf-file=grid_6x6_r10_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 = 3000 Produced CNF clauses = 57425 Search steps = 0 Wall clock TIME (seconds) = 0.306 CPU/machine TIME (seconds) = 0.300 ] ] 12 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=10 --obstacle-probability=0.2 --seed=12 --cnf-level=12 --cnf-file=grid_6x6_r10_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 = 3240 Produced CNF clauses = 67624 Search steps = 0 Wall clock TIME (seconds) = 0.452 CPU/machine TIME (seconds) = 0.440 ] ] 45 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=10 --obstacle-probability=0.2 --seed=45 --cnf-level=12 --cnf-file=grid_6x6_r10_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 = 2760 Produced CNF clauses = 51270 Search steps = 0 Wall clock TIME (seconds) = 0.338 CPU/machine TIME (seconds) = 0.330 ] ] 78 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=10 --obstacle-probability=0.2 --seed=78 --cnf-level=12 --cnf-file=grid_6x6_r10_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 = 3480 Produced CNF clauses = 77900 Search steps = 0 Wall clock TIME (seconds) = 0.586 CPU/machine TIME (seconds) = 0.580 ] ] 8546 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=10 --obstacle-probability=0.2 --seed=8546 --cnf-level=12 --cnf-file=grid_6x6_r10_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 = 3600 Produced CNF clauses = 82647 Search steps = 0 Wall clock TIME (seconds) = 0.624 CPU/machine TIME (seconds) = 0.620 ] ] 474 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=10 --obstacle-probability=0.2 --seed=474 --cnf-level=12 --cnf-file=grid_6x6_r10_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 = 3360 Produced CNF clauses = 73157 Search steps = 0 Wall clock TIME (seconds) = 0.548 CPU/machine TIME (seconds) = 0.540 ] ] 188 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=10 --obstacle-probability=0.2 --seed=188 --cnf-level=12 --cnf-file=grid_6x6_r10_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 = 3720 Produced CNF clauses = 86890 Search steps = 0 Wall clock TIME (seconds) = 0.631 CPU/machine TIME (seconds) = 0.620 ] ] 7899 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=10 --obstacle-probability=0.2 --seed=7899 --cnf-level=12 --cnf-file=grid_6x6_r10_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 = 3480 Produced CNF clauses = 78937 Search steps = 0 Wall clock TIME (seconds) = 0.648 CPU/machine TIME (seconds) = 0.640 ] ] 9 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=10 --obstacle-probability=0.2 --seed=9 --cnf-level=12 --cnf-file=grid_6x6_r10_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 = 3600 Produced CNF clauses = 80672 Search steps = 0 Wall clock TIME (seconds) = 0.519 CPU/machine TIME (seconds) = 0.520 ] ] 774 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=10 --obstacle-probability=0.2 --seed=774 --cnf-level=12 --cnf-file=grid_6x6_r10_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 = 3960 Produced CNF clauses = 98404 Search steps = 0 Wall clock TIME (seconds) = 0.777 CPU/machine TIME (seconds) = 0.770 ] ] 3455 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=11 --obstacle-probability=0.2 --seed=3455 --cnf-level=12 --cnf-file=grid_6x6_r11_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 = 3300 Produced CNF clauses = 65508 Search steps = 0 Wall clock TIME (seconds) = 0.393 CPU/machine TIME (seconds) = 0.380 ] ] 12 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=11 --obstacle-probability=0.2 --seed=12 --cnf-level=12 --cnf-file=grid_6x6_r11_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 = 3564 Produced CNF clauses = 73686 Search steps = 0 Wall clock TIME (seconds) = 0.393 CPU/machine TIME (seconds) = 0.380 ] ] 45 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=11 --obstacle-probability=0.2 --seed=45 --cnf-level=12 --cnf-file=grid_6x6_r11_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 = 3036 Produced CNF clauses = 58536 Search steps = 0 Wall clock TIME (seconds) = 0.424 CPU/machine TIME (seconds) = 0.420 ] ] 78 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=11 --obstacle-probability=0.2 --seed=78 --cnf-level=12 --cnf-file=grid_6x6_r11_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 = 3828 Produced CNF clauses = 89249 Search steps = 0 Wall clock TIME (seconds) = 0.763 CPU/machine TIME (seconds) = 0.760 ] ] 8546 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=11 --obstacle-probability=0.2 --seed=8546 --cnf-level=12 --cnf-file=grid_6x6_r11_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 = 3960 Produced CNF clauses = 92736 Search steps = 0 Wall clock TIME (seconds) = 0.713 CPU/machine TIME (seconds) = 0.700 ] ] 474 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=11 --obstacle-probability=0.2 --seed=474 --cnf-level=12 --cnf-file=grid_6x6_r11_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 = 3696 Produced CNF clauses = 80909 Search steps = 0 Wall clock TIME (seconds) = 0.556 CPU/machine TIME (seconds) = 0.550 ] ] 188 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=11 --obstacle-probability=0.2 --seed=188 --cnf-level=12 --cnf-file=grid_6x6_r11_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 = 4092 Produced CNF clauses = 96530 Search steps = 0 Wall clock TIME (seconds) = 0.668 CPU/machine TIME (seconds) = 0.660 ] ] 7899 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=11 --obstacle-probability=0.2 --seed=7899 --cnf-level=12 --cnf-file=grid_6x6_r11_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 = 3828 Produced CNF clauses = 88456 Search steps = 0 Wall clock TIME (seconds) = 0.733 CPU/machine TIME (seconds) = 0.720 ] ] 9 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=11 --obstacle-probability=0.2 --seed=9 --cnf-level=12 --cnf-file=grid_6x6_r11_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 = 3960 Produced CNF clauses = 90157 Search steps = 0 Wall clock TIME (seconds) = 0.564 CPU/machine TIME (seconds) = 0.560 ] ] 774 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=11 --obstacle-probability=0.2 --seed=774 --cnf-level=12 --cnf-file=grid_6x6_r11_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 = 4356 Produced CNF clauses = 110889 Search steps = 0 Wall clock TIME (seconds) = 0.935 CPU/machine TIME (seconds) = 0.930 ] ] 3455 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=12 --obstacle-probability=0.2 --seed=3455 --cnf-level=12 --cnf-file=grid_6x6_r12_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 = 3600 Produced CNF clauses = 73456 Search steps = 0 Wall clock TIME (seconds) = 0.456 CPU/machine TIME (seconds) = 0.450 ] ] 12 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=12 --obstacle-probability=0.2 --seed=12 --cnf-level=12 --cnf-file=grid_6x6_r12_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 = 3888 Produced CNF clauses = 83252 Search steps = 0 Wall clock TIME (seconds) = 0.499 CPU/machine TIME (seconds) = 0.490 ] ] 45 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=12 --obstacle-probability=0.2 --seed=45 --cnf-level=12 --cnf-file=grid_6x6_r12_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 = 3312 Produced CNF clauses = 64870 Search steps = 0 Wall clock TIME (seconds) = 0.452 CPU/machine TIME (seconds) = 0.440 ] ] 78 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=12 --obstacle-probability=0.2 --seed=78 --cnf-level=12 --cnf-file=grid_6x6_r12_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 = 4176 Produced CNF clauses = 98232 Search steps = 0 Wall clock TIME (seconds) = 0.812 CPU/machine TIME (seconds) = 0.800 ] ] 8546 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=12 --obstacle-probability=0.2 --seed=8546 --cnf-level=12 --cnf-file=grid_6x6_r12_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 = 4320 Produced CNF clauses = 103796 Search steps = 0 Wall clock TIME (seconds) = 0.864 CPU/machine TIME (seconds) = 0.860 ] ] 474 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=12 --obstacle-probability=0.2 --seed=474 --cnf-level=12 --cnf-file=grid_6x6_r12_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 = 4032 Produced CNF clauses = 92121 Search steps = 0 Wall clock TIME (seconds) = 0.740 CPU/machine TIME (seconds) = 0.730 ] ] 188 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=12 --obstacle-probability=0.2 --seed=188 --cnf-level=12 --cnf-file=grid_6x6_r12_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 = 4464 Produced CNF clauses = 108818 Search steps = 0 Wall clock TIME (seconds) = 0.839 CPU/machine TIME (seconds) = 0.830 ] ] 7899 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=12 --obstacle-probability=0.2 --seed=7899 --cnf-level=12 --cnf-file=grid_6x6_r12_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 = 4176 Produced CNF clauses = 100131 Search steps = 0 Wall clock TIME (seconds) = 0.938 CPU/machine TIME (seconds) = 0.930 ] ] 9 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=12 --obstacle-probability=0.2 --seed=9 --cnf-level=12 --cnf-file=grid_6x6_r12_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 = 4320 Produced CNF clauses = 101075 Search steps = 0 Wall clock TIME (seconds) = 0.676 CPU/machine TIME (seconds) = 0.660 ] ] 774 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=12 --obstacle-probability=0.2 --seed=774 --cnf-level=12 --cnf-file=grid_6x6_r12_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 = 4752 Produced CNF clauses = 123326 Search steps = 0 Wall clock TIME (seconds) = 1.070 CPU/machine TIME (seconds) = 1.070 ] ] 3455 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=13 --obstacle-probability=0.2 --seed=3455 --cnf-level=12 --cnf-file=grid_6x6_r13_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 = 3900 Produced CNF clauses = 80756 Search steps = 0 Wall clock TIME (seconds) = 0.472 CPU/machine TIME (seconds) = 0.470 ] ] 12 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=13 --obstacle-probability=0.2 --seed=12 --cnf-level=12 --cnf-file=grid_6x6_r13_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 = 4212 Produced CNF clauses = 93323 Search steps = 0 Wall clock TIME (seconds) = 0.632 CPU/machine TIME (seconds) = 0.630 ] ] 45 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=13 --obstacle-probability=0.2 --seed=45 --cnf-level=12 --cnf-file=grid_6x6_r13_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 = 3588 Produced CNF clauses = 72231 Search steps = 0 Wall clock TIME (seconds) = 0.508 CPU/machine TIME (seconds) = 0.500 ] ] 78 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=13 --obstacle-probability=0.2 --seed=78 --cnf-level=12 --cnf-file=grid_6x6_r13_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 = 4524 Produced CNF clauses = 108594 Search steps = 0 Wall clock TIME (seconds) = 0.926 CPU/machine TIME (seconds) = 0.920 ] ] 8546 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=13 --obstacle-probability=0.2 --seed=8546 --cnf-level=12 --cnf-file=grid_6x6_r13_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 = 4680 Produced CNF clauses = 113661 Search steps = 0 Wall clock TIME (seconds) = 0.886 CPU/machine TIME (seconds) = 0.880 ] ] 474 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=13 --obstacle-probability=0.2 --seed=474 --cnf-level=12 --cnf-file=grid_6x6_r13_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 = 4368 Produced CNF clauses = 101765 Search steps = 0 Wall clock TIME (seconds) = 0.821 CPU/machine TIME (seconds) = 0.810 ] ] 188 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=13 --obstacle-probability=0.2 --seed=188 --cnf-level=12 --cnf-file=grid_6x6_r13_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 = 4836 Produced CNF clauses = 120330 Search steps = 0 Wall clock TIME (seconds) = 0.945 CPU/machine TIME (seconds) = 0.930 ] ] 7899 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=13 --obstacle-probability=0.2 --seed=7899 --cnf-level=12 --cnf-file=grid_6x6_r13_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 = 4524 Produced CNF clauses = 109766 Search steps = 0 Wall clock TIME (seconds) = 0.991 CPU/machine TIME (seconds) = 0.980 ] ] 9 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=13 --obstacle-probability=0.2 --seed=9 --cnf-level=12 --cnf-file=grid_6x6_r13_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 = 4680 Produced CNF clauses = 110908 Search steps = 0 Wall clock TIME (seconds) = 0.716 CPU/machine TIME (seconds) = 0.710 ] ] 774 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=13 --obstacle-probability=0.2 --seed=774 --cnf-level=12 --cnf-file=grid_6x6_r13_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 = 5148 Produced CNF clauses = 135454 Search steps = 0 Wall clock TIME (seconds) = 1.187 CPU/machine TIME (seconds) = 1.180 ] ] 3455 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=14 --obstacle-probability=0.2 --seed=3455 --cnf-level=12 --cnf-file=grid_6x6_r14_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 = 4200 Produced CNF clauses = 88419 Search steps = 0 Wall clock TIME (seconds) = 0.481 CPU/machine TIME (seconds) = 0.470 ] ] 12 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=14 --obstacle-probability=0.2 --seed=12 --cnf-level=12 --cnf-file=grid_6x6_r14_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 = 4536 Produced CNF clauses = 102199 Search steps = 0 Wall clock TIME (seconds) = 0.671 CPU/machine TIME (seconds) = 0.670 ] ] 45 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=14 --obstacle-probability=0.2 --seed=45 --cnf-level=12 --cnf-file=grid_6x6_r14_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 = 3864 Produced CNF clauses = 80049 Search steps = 0 Wall clock TIME (seconds) = 0.591 CPU/machine TIME (seconds) = 0.590 ] ] 78 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=14 --obstacle-probability=0.2 --seed=78 --cnf-level=12 --cnf-file=grid_6x6_r14_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 = 4872 Produced CNF clauses = 120327 Search steps = 0 Wall clock TIME (seconds) = 1.091 CPU/machine TIME (seconds) = 1.080 ] ] 8546 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=14 --obstacle-probability=0.2 --seed=8546 --cnf-level=12 --cnf-file=grid_6x6_r14_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 = 5040 Produced CNF clauses = 124793 Search steps = 0 Wall clock TIME (seconds) = 0.985 CPU/machine TIME (seconds) = 0.970 ] ] 474 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=14 --obstacle-probability=0.2 --seed=474 --cnf-level=12 --cnf-file=grid_6x6_r14_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 = 4704 Produced CNF clauses = 114015 Search steps = 0 Wall clock TIME (seconds) = 1.073 CPU/machine TIME (seconds) = 1.070 ] ] 188 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=14 --obstacle-probability=0.2 --seed=188 --cnf-level=12 --cnf-file=grid_6x6_r14_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 = 5208 Produced CNF clauses = 132856 Search steps = 0 Wall clock TIME (seconds) = 1.139 CPU/machine TIME (seconds) = 1.130 ] ] 7899 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=14 --obstacle-probability=0.2 --seed=7899 --cnf-level=12 --cnf-file=grid_6x6_r14_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 = 4872 Produced CNF clauses = 121073 Search steps = 0 Wall clock TIME (seconds) = 1.137 CPU/machine TIME (seconds) = 1.130 ] ] 9 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=14 --obstacle-probability=0.2 --seed=9 --cnf-level=12 --cnf-file=grid_6x6_r14_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 = 5040 Produced CNF clauses = 122448 Search steps = 0 Wall clock TIME (seconds) = 0.850 CPU/machine TIME (seconds) = 0.840 ] ] 774 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=14 --obstacle-probability=0.2 --seed=774 --cnf-level=12 --cnf-file=grid_6x6_r14_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 = 5544 Produced CNF clauses = 148879 Search steps = 0 Wall clock TIME (seconds) = 1.349 CPU/machine TIME (seconds) = 1.340 ] ] 3455 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=15 --obstacle-probability=0.2 --seed=3455 --cnf-level=12 --cnf-file=grid_6x6_r15_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 = 4500 Produced CNF clauses = 98079 Search steps = 0 Wall clock TIME (seconds) = 0.618 CPU/machine TIME (seconds) = 0.620 ] ] 12 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=15 --obstacle-probability=0.2 --seed=12 --cnf-level=12 --cnf-file=grid_6x6_r15_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 = 4860 Produced CNF clauses = 112160 Search steps = 0 Wall clock TIME (seconds) = 0.755 CPU/machine TIME (seconds) = 0.750 ] ] 45 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=15 --obstacle-probability=0.2 --seed=45 --cnf-level=12 --cnf-file=grid_6x6_r15_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 = 4140 Produced CNF clauses = 87282 Search steps = 0 Wall clock TIME (seconds) = 0.632 CPU/machine TIME (seconds) = 0.620 ] ] 78 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=15 --obstacle-probability=0.2 --seed=78 --cnf-level=12 --cnf-file=grid_6x6_r15_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 = 5220 Produced CNF clauses = 130981 Search steps = 0 Wall clock TIME (seconds) = 1.185 CPU/machine TIME (seconds) = 1.180 ] ] 8546 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=15 --obstacle-probability=0.2 --seed=8546 --cnf-level=12 --cnf-file=grid_6x6_r15_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 = 5400 Produced CNF clauses = 136224 Search steps = 0 Wall clock TIME (seconds) = 1.096 CPU/machine TIME (seconds) = 1.090 ] ] 474 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=15 --obstacle-probability=0.2 --seed=474 --cnf-level=12 --cnf-file=grid_6x6_r15_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 = 5040 Produced CNF clauses = 123754 Search steps = 0 Wall clock TIME (seconds) = 1.139 CPU/machine TIME (seconds) = 1.130 ] ] 188 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=15 --obstacle-probability=0.2 --seed=188 --cnf-level=12 --cnf-file=grid_6x6_r15_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 = 5580 Produced CNF clauses = 144540 Search steps = 0 Wall clock TIME (seconds) = 1.196 CPU/machine TIME (seconds) = 1.190 ] ] 7899 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=15 --obstacle-probability=0.2 --seed=7899 --cnf-level=12 --cnf-file=grid_6x6_r15_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 = 5220 Produced CNF clauses = 132352 Search steps = 0 Wall clock TIME (seconds) = 1.332 CPU/machine TIME (seconds) = 1.320 ] ] 9 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=15 --obstacle-probability=0.2 --seed=9 --cnf-level=12 --cnf-file=grid_6x6_r15_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 = 5400 Produced CNF clauses = 133591 Search steps = 0 Wall clock TIME (seconds) = 0.923 CPU/machine TIME (seconds) = 0.920 ] ] 774 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=15 --obstacle-probability=0.2 --seed=774 --cnf-level=12 --cnf-file=grid_6x6_r15_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 = 5940 Produced CNF clauses = 162401 Search steps = 0 Wall clock TIME (seconds) = 1.488 CPU/machine TIME (seconds) = 1.480 ] ] 3455 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=16 --obstacle-probability=0.2 --seed=3455 --cnf-level=12 --cnf-file=grid_6x6_r16_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 = 4800 Produced CNF clauses = 106912 Search steps = 0 Wall clock TIME (seconds) = 0.694 CPU/machine TIME (seconds) = 0.690 ] ] 12 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=16 --obstacle-probability=0.2 --seed=12 --cnf-level=12 --cnf-file=grid_6x6_r16_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 = 5184 Produced CNF clauses = 121205 Search steps = 0 Wall clock TIME (seconds) = 0.786 CPU/machine TIME (seconds) = 0.780 ] ] 45 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=16 --obstacle-probability=0.2 --seed=45 --cnf-level=12 --cnf-file=grid_6x6_r16_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 = 4416 Produced CNF clauses = 96151 Search steps = 0 Wall clock TIME (seconds) = 0.762 CPU/machine TIME (seconds) = 0.760 ] ] 78 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=16 --obstacle-probability=0.2 --seed=78 --cnf-level=12 --cnf-file=grid_6x6_r16_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 = 5568 Produced CNF clauses = 141881 Search steps = 0 Wall clock TIME (seconds) = 1.293 CPU/machine TIME (seconds) = 1.290 ] ] 8546 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=16 --obstacle-probability=0.2 --seed=8546 --cnf-level=12 --cnf-file=grid_6x6_r16_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 = 5760 Produced CNF clauses = 148647 Search steps = 0 Wall clock TIME (seconds) = 1.280 CPU/machine TIME (seconds) = 1.280 ] ] 474 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=16 --obstacle-probability=0.2 --seed=474 --cnf-level=12 --cnf-file=grid_6x6_r16_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 = 5376 Produced CNF clauses = 132239 Search steps = 0 Wall clock TIME (seconds) = 1.093 CPU/machine TIME (seconds) = 1.090 ] ] 188 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=16 --obstacle-probability=0.2 --seed=188 --cnf-level=12 --cnf-file=grid_6x6_r16_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 = 5952 Produced CNF clauses = 157311 Search steps = 0 Wall clock TIME (seconds) = 1.360 CPU/machine TIME (seconds) = 1.350 ] ] 7899 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=16 --obstacle-probability=0.2 --seed=7899 --cnf-level=12 --cnf-file=grid_6x6_r16_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 = 5568 Produced CNF clauses = 143989 Search steps = 0 Wall clock TIME (seconds) = 1.426 CPU/machine TIME (seconds) = 1.420 ] ] 9 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=16 --obstacle-probability=0.2 --seed=9 --cnf-level=12 --cnf-file=grid_6x6_r16_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 = 5760 Produced CNF clauses = 145980 Search steps = 0 Wall clock TIME (seconds) = 1.084 CPU/machine TIME (seconds) = 1.080 ] ] 774 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=16 --obstacle-probability=0.2 --seed=774 --cnf-level=12 --cnf-file=grid_6x6_r16_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 = 6336 Produced CNF clauses = 175492 Search steps = 0 Wall clock TIME (seconds) = 1.574 CPU/machine TIME (seconds) = 1.570 ] ] 3455 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=17 --obstacle-probability=0.2 --seed=3455 --cnf-level=12 --cnf-file=grid_6x6_r17_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 = 5100 Produced CNF clauses = 116598 Search steps = 0 Wall clock TIME (seconds) = 0.909 CPU/machine TIME (seconds) = 0.900 ] ] 12 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=17 --obstacle-probability=0.2 --seed=12 --cnf-level=12 --cnf-file=grid_6x6_r17_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 = 5508 Produced CNF clauses = 132760 Search steps = 0 Wall clock TIME (seconds) = 1.126 CPU/machine TIME (seconds) = 1.110 ] ] 45 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=17 --obstacle-probability=0.2 --seed=45 --cnf-level=12 --cnf-file=grid_6x6_r17_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 = 4692 Produced CNF clauses = 104161 Search steps = 0 Wall clock TIME (seconds) = 0.952 CPU/machine TIME (seconds) = 0.940 ] ] 78 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=17 --obstacle-probability=0.2 --seed=78 --cnf-level=12 --cnf-file=grid_6x6_r17_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 = 5916 Produced CNF clauses = 153978 Search steps = 0 Wall clock TIME (seconds) = 1.707 CPU/machine TIME (seconds) = 1.700 ] ] 8546 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=17 --obstacle-probability=0.2 --seed=8546 --cnf-level=12 --cnf-file=grid_6x6_r17_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 = 6120 Produced CNF clauses = 161485 Search steps = 0 Wall clock TIME (seconds) = 1.674 CPU/machine TIME (seconds) = 1.670 ] ] 474 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=17 --obstacle-probability=0.2 --seed=474 --cnf-level=12 --cnf-file=grid_6x6_r17_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 = 5712 Produced CNF clauses = 144205 Search steps = 0 Wall clock TIME (seconds) = 1.485 CPU/machine TIME (seconds) = 1.470 ] ] 188 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=17 --obstacle-probability=0.2 --seed=188 --cnf-level=12 --cnf-file=grid_6x6_r17_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 = 6324 Produced CNF clauses = 169502 Search steps = 0 Wall clock TIME (seconds) = 1.686 CPU/machine TIME (seconds) = 1.680 ] ] 7899 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=17 --obstacle-probability=0.2 --seed=7899 --cnf-level=12 --cnf-file=grid_6x6_r17_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 = 5916 Produced CNF clauses = 156071 Search steps = 0 Wall clock TIME (seconds) = 1.866 CPU/machine TIME (seconds) = 1.850 ] ] 9 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=17 --obstacle-probability=0.2 --seed=9 --cnf-level=12 --cnf-file=grid_6x6_r17_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 = 6120 Produced CNF clauses = 158315 Search steps = 0 Wall clock TIME (seconds) = 1.421 CPU/machine TIME (seconds) = 1.420 ] ] 774 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=17 --obstacle-probability=0.2 --seed=774 --cnf-level=12 --cnf-file=grid_6x6_r17_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 = 6732 Produced CNF clauses = 189233 Search steps = 0 Wall clock TIME (seconds) = 2.044 CPU/machine TIME (seconds) = 2.030 ] ] 3455 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=18 --obstacle-probability=0.2 --seed=3455 --cnf-level=12 --cnf-file=grid_6x6_r18_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 = 5400 Produced CNF clauses = 127174 Search steps = 0 Wall clock TIME (seconds) = 1.095 CPU/machine TIME (seconds) = 1.090 ] ] 12 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=18 --obstacle-probability=0.2 --seed=12 --cnf-level=12 --cnf-file=grid_6x6_r18_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 = 5832 Produced CNF clauses = 144005 Search steps = 0 Wall clock TIME (seconds) = 1.281 CPU/machine TIME (seconds) = 1.270 ] ] 45 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=18 --obstacle-probability=0.2 --seed=45 --cnf-level=12 --cnf-file=grid_6x6_r18_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 = 4968 Produced CNF clauses = 112541 Search steps = 0 Wall clock TIME (seconds) = 1.031 CPU/machine TIME (seconds) = 1.020 ] ] 78 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=18 --obstacle-probability=0.2 --seed=78 --cnf-level=12 --cnf-file=grid_6x6_r18_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 = 6264 Produced CNF clauses = 166829 Search steps = 0 Wall clock TIME (seconds) = 1.882 CPU/machine TIME (seconds) = 1.870 ] ] 8546 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=18 --obstacle-probability=0.2 --seed=8546 --cnf-level=12 --cnf-file=grid_6x6_r18_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 = 6480 Produced CNF clauses = 173833 Search steps = 0 Wall clock TIME (seconds) = 1.795 CPU/machine TIME (seconds) = 1.790 ] ] 474 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=18 --obstacle-probability=0.2 --seed=474 --cnf-level=12 --cnf-file=grid_6x6_r18_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 = 6048 Produced CNF clauses = 156032 Search steps = 0 Wall clock TIME (seconds) = 1.658 CPU/machine TIME (seconds) = 1.650 ] ] 188 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=18 --obstacle-probability=0.2 --seed=188 --cnf-level=12 --cnf-file=grid_6x6_r18_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 = 6696 Produced CNF clauses = 182512 Search steps = 0 Wall clock TIME (seconds) = 1.810 CPU/machine TIME (seconds) = 1.800 ] ] 7899 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=18 --obstacle-probability=0.2 --seed=7899 --cnf-level=12 --cnf-file=grid_6x6_r18_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 = 6264 Produced CNF clauses = 167817 Search steps = 0 Wall clock TIME (seconds) = 2.238 CPU/machine TIME (seconds) = 2.230 ] ] 9 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=18 --obstacle-probability=0.2 --seed=9 --cnf-level=12 --cnf-file=grid_6x6_r18_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 = 6480 Produced CNF clauses = 170601 Search steps = 0 Wall clock TIME (seconds) = 1.526 CPU/machine TIME (seconds) = 1.510 ] ] 774 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=18 --obstacle-probability=0.2 --seed=774 --cnf-level=12 --cnf-file=grid_6x6_r18_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 = 7128 Produced CNF clauses = 204761 Search steps = 0 Wall clock TIME (seconds) = 2.258 CPU/machine TIME (seconds) = 2.250 ] ] grid size = 6 max robots = 18 1,3455 c number of literals = 10528 c number of literals / number of clauses = 2.261 1,12 c number of literals = 11428 c number of literals / number of clauses = 2.198 1,45 c number of literals = 7930 c number of literals / number of clauses = 2.144 1,78 c number of literals = 13126 c number of literals / number of clauses = 2.199 1,8546 c number of literals = 14665 c number of literals / number of clauses = 2.241 1,474 c number of literals = 13989 c number of literals / number of clauses = 2.323 1,188 c number of literals = 16656 c number of literals / number of clauses = 2.302 1,7899 c number of literals = 15026 c number of literals / number of clauses = 2.327 1,9 c number of literals = 14640 c number of literals / number of clauses = 2.239 1,774 c number of literals = 18750 c number of literals / number of clauses = 2.299 2,3455 c number of literals = 26109 c number of literals / number of clauses = 2.362 2,12 c number of literals = 29711 c number of literals / number of clauses = 2.349 2,45 c number of literals = 21163 c number of literals / number of clauses = 2.322 2,78 c number of literals = 32819 c number of literals / number of clauses = 2.322 2,8546 c number of literals = 36194 c number of literals / number of clauses = 2.346 2,474 c number of literals = 33087 c number of literals / number of clauses = 2.379 2,188 c number of literals = 40221 c number of literals / number of clauses = 2.379 2,7899 c number of literals = 35099 c number of literals / number of clauses = 2.373 2,9 c number of literals = 34198 c number of literals / number of clauses = 2.303 2,774 c number of literals = 44902 c number of literals / number of clauses = 2.372 3,3455 c number of literals = 42727 c number of literals / number of clauses = 2.371 3,12 c number of literals = 45049 c number of literals / number of clauses = 2.308 3,45 c number of literals = 34178 c number of literals / number of clauses = 2.324 3,78 c number of literals = 57977 c number of literals / number of clauses = 2.390 3,8546 c number of literals = 60556 c number of literals / number of clauses = 2.376 3,474 c number of literals = 48314 c number of literals / number of clauses = 2.310 3,188 c number of literals = 63124 c number of literals / number of clauses = 2.362 3,7899 c number of literals = 62588 c number of literals / number of clauses = 2.441 3,9 c number of literals = 57937 c number of literals / number of clauses = 2.346 3,774 c number of literals = 77347 c number of literals / number of clauses = 2.419 4,3455 c number of literals = 51679 c number of literals / number of clauses = 2.267 4,12 c number of literals = 67918 c number of literals / number of clauses = 2.355 4,45 c number of literals = 52164 c number of literals / number of clauses = 2.374 4,78 c number of literals = 90792 c number of literals / number of clauses = 2.454 4,8546 c number of literals = 93259 c number of literals / number of clauses = 2.432 4,474 c number of literals = 82989 c number of literals / number of clauses = 2.438 4,188 c number of literals = 102729 c number of literals / number of clauses = 2.453 4,7899 c number of literals = 93954 c number of literals / number of clauses = 2.474 4,9 c number of literals = 89185 c number of literals / number of clauses = 2.404 4,774 c number of literals = 123996 c number of literals / number of clauses = 2.495 5,3455 c number of literals = 72559 c number of literals / number of clauses = 2.315 5,12 c number of literals = 89385 c number of literals / number of clauses = 2.358 5,45 c number of literals = 82968 c number of literals / number of clauses = 2.484 5,78 c number of literals = 133177 c number of literals / number of clauses = 2.513 5,8546 c number of literals = 132518 c number of literals / number of clauses = 2.476 5,474 c number of literals = 110012 c number of literals / number of clauses = 2.442 5,188 c number of literals = 130028 c number of literals / number of clauses = 2.431 5,7899 c number of literals = 130216 c number of literals / number of clauses = 2.501 5,9 c number of literals = 119200 c number of literals / number of clauses = 2.415 5,774 c number of literals = 167917 c number of literals / number of clauses = 2.510 6,3455 c number of literals = 106144 c number of literals / number of clauses = 2.408 6,12 c number of literals = 112583 c number of literals / number of clauses = 2.362 6,45 c number of literals = 109013 c number of literals / number of clauses = 2.504 6,78 c number of literals = 184525 c number of literals / number of clauses = 2.561 6,8546 c number of literals = 182414 c number of literals / number of clauses = 2.524 6,474 c number of literals = 164615 c number of literals / number of clauses = 2.535 6,188 c number of literals = 181434 c number of literals / number of clauses = 2.490 6,7899 c number of literals = 186343 c number of literals / number of clauses = 2.565 6,9 c number of literals = 156715 c number of literals / number of clauses = 2.443 6,774 c number of literals = 230763 c number of literals / number of clauses = 2.555 7,3455 c number of literals = 123052 c number of literals / number of clauses = 2.380 7,12 c number of literals = 133070 c number of literals / number of clauses = 2.346 7,45 c number of literals = 133111 c number of literals / number of clauses = 2.502 7,78 c number of literals = 239403 c number of literals / number of clauses = 2.588 7,8546 c number of literals = 217670 c number of literals / number of clauses = 2.513 7,474 c number of literals = 197512 c number of literals / number of clauses = 2.526 7,188 c number of literals = 231542 c number of literals / number of clauses = 2.515 7,7899 c number of literals = 232231 c number of literals / number of clauses = 2.574 7,9 c number of literals = 199700 c number of literals / number of clauses = 2.469 7,774 c number of literals = 292099 c number of literals / number of clauses = 2.573 8,3455 c number of literals = 139838 c number of literals / number of clauses = 2.355 8,12 c number of literals = 195987 c number of literals / number of clauses = 2.467 8,45 c number of literals = 162191 c number of literals / number of clauses = 2.512 8,78 c number of literals = 277639 c number of literals / number of clauses = 2.575 8,8546 c number of literals = 284037 c number of literals / number of clauses = 2.558 8,474 c number of literals = 273888 c number of literals / number of clauses = 2.597 8,188 c number of literals = 300936 c number of literals / number of clauses = 2.558 8,7899 c number of literals = 285390 c number of literals / number of clauses = 2.588 8,9 c number of literals = 245714 c number of literals / number of clauses = 2.488 8,774 c number of literals = 361222 c number of literals / number of clauses = 2.591 9,3455 c number of literals = 184740 c number of literals / number of clauses = 2.425 9,12 c number of literals = 238910 c number of literals / number of clauses = 2.489 9,45 c number of literals = 191539 c number of literals / number of clauses = 2.515 9,78 c number of literals = 356629 c number of literals / number of clauses = 2.616 9,8546 c number of literals = 325933 c number of literals / number of clauses = 2.550 9,474 c number of literals = 325098 c number of literals / number of clauses = 2.602 9,188 c number of literals = 349426 c number of literals / number of clauses = 2.556 9,7899 c number of literals = 342373 c number of literals / number of clauses = 2.598 9,9 c number of literals = 304169 c number of literals / number of clauses = 2.518 9,774 c number of literals = 436359 c number of literals / number of clauses = 2.605 10,3455 c number of literals = 219178 c number of literals / number of clauses = 2.441 10,12 c number of literals = 307243 c number of literals / number of clauses = 2.542 10,45 c number of literals = 227034 c number of literals / number of clauses = 2.527 10,78 c number of literals = 388662 c number of literals / number of clauses = 2.592 10,8546 c number of literals = 411504 c number of literals / number of clauses = 2.591 10,474 c number of literals = 361805 c number of literals / number of clauses = 2.587 10,188 c number of literals = 420361 c number of literals / number of clauses = 2.576 10,7899 c number of literals = 417201 c number of literals / number of clauses = 2.621 10,9 c number of literals = 357693 c number of literals / number of clauses = 2.529 10,774 c number of literals = 511556 c number of literals / number of clauses = 2.613 11,3455 c number of literals = 277099 c number of literals / number of clauses = 2.494 11,12 c number of literals = 288723 c number of literals / number of clauses = 2.450 11,45 c number of literals = 284508 c number of literals / number of clauses = 2.569 11,78 c number of literals = 506329 c number of literals / number of clauses = 2.646 11,8546 c number of literals = 480099 c number of literals / number of clauses = 2.601 11,474 c number of literals = 384277 c number of literals / number of clauses = 2.557 11,188 c number of literals = 461981 c number of literals / number of clauses = 2.561 11,7899 c number of literals = 483871 c number of literals / number of clauses = 2.628 11,9 c number of literals = 403023 c number of literals / number of clauses = 2.525 11,774 c number of literals = 616653 c number of literals / number of clauses = 2.636 12,3455 c number of literals = 326264 c number of literals / number of clauses = 2.514 12,12 c number of literals = 362564 c number of literals / number of clauses = 2.504 12,45 c number of literals = 310594 c number of literals / number of clauses = 2.554 12,78 c number of literals = 550691 c number of literals / number of clauses = 2.631 12,8546 c number of literals = 572843 c number of literals / number of clauses = 2.624 12,474 c number of literals = 504932 c number of literals / number of clauses = 2.621 12,188 c number of literals = 577510 c number of literals / number of clauses = 2.605 12,7899 c number of literals = 613338 c number of literals / number of clauses = 2.671 12,9 c number of literals = 484268 c number of literals / number of clauses = 2.555 12,774 c number of literals = 717052 c number of literals / number of clauses = 2.648 13,3455 c number of literals = 348177 c number of literals / number of clauses = 2.493 13,12 c number of literals = 450162 c number of literals / number of clauses = 2.552 13,45 c number of literals = 362804 c number of literals / number of clauses = 2.572 13,78 c number of literals = 630935 c number of literals / number of clauses = 2.640 13,8546 c number of literals = 620026 c number of literals / number of clauses = 2.612 13,474 c number of literals = 573470 c number of literals / number of clauses = 2.626 13,188 c number of literals = 665246 c number of literals / number of clauses = 2.618 13,7899 c number of literals = 673754 c number of literals / number of clauses = 2.664 13,9 c number of literals = 523561 c number of literals / number of clauses = 2.541 13,774 c number of literals = 800132 c number of literals / number of clauses = 2.648 14,3455 c number of literals = 371141 c number of literals / number of clauses = 2.474 14,12 c number of literals = 490837 c number of literals / number of clauses = 2.544 14,45 c number of literals = 425104 c number of literals / number of clauses = 2.593 14,78 c number of literals = 754555 c number of literals / number of clauses = 2.667 14,8546 c number of literals = 701165 c number of literals / number of clauses = 2.619 14,474 c number of literals = 731562 c number of literals / number of clauses = 2.677 14,188 c number of literals = 782229 c number of literals / number of clauses = 2.640 14,7899 c number of literals = 784387 c number of literals / number of clauses = 2.681 14,9 c number of literals = 612442 c number of literals / number of clauses = 2.565 14,774 c number of literals = 921111 c number of literals / number of clauses = 2.661 15,3455 c number of literals = 460591 c number of literals / number of clauses = 2.528 15,12 c number of literals = 562363 c number of literals / number of clauses = 2.561 15,45 c number of literals = 458924 c number of literals / number of clauses = 2.583 15,78 c number of literals = 831846 c number of literals / number of clauses = 2.667 15,8546 c number of literals = 785333 c number of literals / number of clauses = 2.625 15,474 c number of literals = 791179 c number of literals / number of clauses = 2.669 15,188 c number of literals = 859411 c number of literals / number of clauses = 2.639 15,7899 c number of literals = 889195 c number of literals / number of clauses = 2.689 15,9 c number of literals = 678461 c number of literals / number of clauses = 2.567 15,774 c number of literals = 1037920 c number of literals / number of clauses = 2.669 16,3455 c number of literals = 510564 c number of literals / number of clauses = 2.533 16,12 c number of literals = 586610 c number of literals / number of clauses = 2.540 16,45 c number of literals = 549409 c number of literals / number of clauses = 2.617 16,78 c number of literals = 908095 c number of literals / number of clauses = 2.665 16,8546 c number of literals = 899757 c number of literals / number of clauses = 2.642 16,474 c number of literals = 784372 c number of literals / number of clauses = 2.633 16,188 c number of literals = 971046 c number of literals / number of clauses = 2.650 16,7899 c number of literals = 1000917 c number of literals / number of clauses = 2.697 16,9 c number of literals = 784410 c number of literals / number of clauses = 2.590 16,774 c number of literals = 1126680 c number of literals / number of clauses = 2.666 17,3455 c number of literals = 587673 c number of literals / number of clauses = 2.556 17,12 c number of literals = 706192 c number of literals / number of clauses = 2.581 17,45 c number of literals = 597279 c number of literals / number of clauses = 2.614 17,78 c number of literals = 1025268 c number of literals / number of clauses = 2.676 17,8546 c number of literals = 1025083 c number of literals / number of clauses = 2.657 17,474 c number of literals = 912326 c number of literals / number of clauses = 2.655 17,188 c number of literals = 1045996 c number of literals / number of clauses = 2.645 17,7899 c number of literals = 1122717 c number of literals / number of clauses = 2.705 17,9 c number of literals = 880216 c number of literals / number of clauses = 2.601 17,774 c number of literals = 1228989 c number of literals / number of clauses = 2.666 18,3455 c number of literals = 697140 c number of literals / number of clauses = 2.591 18,12 c number of literals = 806193 c number of literals / number of clauses = 2.600 18,45 c number of literals = 652462 c number of literals / number of clauses = 2.616 18,78 c number of literals = 1168761 c number of literals / number of clauses = 2.692 18,8546 c number of literals = 1117498 c number of literals / number of clauses = 2.658 18,474 c number of literals = 1026777 c number of literals / number of clauses = 2.667 18,188 c number of literals = 1143864 c number of literals / number of clauses = 2.648 18,7899 c number of literals = 1219752 c number of literals / number of clauses = 2.705 18,9 c number of literals = 961150 c number of literals / number of clauses = 2.603 18,774 c number of literals = 1403073 c number of literals / number of clauses = 2.683 grid size = 6 max robots = 18 1,3455 c number of visible variables = 300 c number of hidden variables = 0 c number of propositional variables = 300 c number of clauses / number of variables = 15.523 1,12 c number of visible variables = 324 c number of hidden variables = 0 c number of propositional variables = 324 c number of clauses / number of variables = 16.049 1,45 c number of visible variables = 276 c number of hidden variables = 0 c number of propositional variables = 276 c number of clauses / number of variables = 13.399 1,78 c number of visible variables = 348 c number of hidden variables = 0 c number of propositional variables = 348 c number of clauses / number of variables = 17.152 1,8546 c number of visible variables = 360 c number of hidden variables = 0 c number of propositional variables = 360 c number of clauses / number of variables = 18.181 1,474 c number of visible variables = 336 c number of hidden variables = 0 c number of propositional variables = 336 c number of clauses / number of variables = 17.926 1,188 c number of visible variables = 372 c number of hidden variables = 0 c number of propositional variables = 372 c number of clauses / number of variables = 19.454 1,7899 c number of visible variables = 348 c number of hidden variables = 0 c number of propositional variables = 348 c number of clauses / number of variables = 18.557 1,9 c number of visible variables = 360 c number of hidden variables = 0 c number of propositional variables = 360 c number of clauses / number of variables = 18.161 1,774 c number of visible variables = 396 c number of hidden variables = 0 c number of propositional variables = 396 c number of clauses / number of variables = 20.598 2,3455 c number of visible variables = 600 c number of hidden variables = 0 c number of propositional variables = 600 c number of clauses / number of variables = 18.427 2,12 c number of visible variables = 648 c number of hidden variables = 0 c number of propositional variables = 648 c number of clauses / number of variables = 19.517 2,45 c number of visible variables = 552 c number of hidden variables = 0 c number of propositional variables = 552 c number of clauses / number of variables = 16.513 2,78 c number of visible variables = 696 c number of hidden variables = 0 c number of propositional variables = 696 c number of clauses / number of variables = 20.307 2,8546 c number of visible variables = 720 c number of hidden variables = 0 c number of propositional variables = 720 c number of clauses / number of variables = 21.424 2,474 c number of visible variables = 672 c number of hidden variables = 0 c number of propositional variables = 672 c number of clauses / number of variables = 20.698 2,188 c number of visible variables = 744 c number of hidden variables = 0 c number of propositional variables = 744 c number of clauses / number of variables = 22.723 2,7899 c number of visible variables = 696 c number of hidden variables = 0 c number of propositional variables = 696 c number of clauses / number of variables = 21.250 2,9 c number of visible variables = 720 c number of hidden variables = 0 c number of propositional variables = 720 c number of clauses / number of variables = 20.621 2,774 c number of visible variables = 792 c number of hidden variables = 0 c number of propositional variables = 792 c number of clauses / number of variables = 23.903 3,3455 c number of visible variables = 900 c number of hidden variables = 0 c number of propositional variables = 900 c number of clauses / number of variables = 20.020 3,12 c number of visible variables = 972 c number of hidden variables = 0 c number of propositional variables = 972 c number of clauses / number of variables = 20.077 3,45 c number of visible variables = 828 c number of hidden variables = 0 c number of propositional variables = 828 c number of clauses / number of variables = 17.761 3,78 c number of visible variables = 1044 c number of hidden variables = 0 c number of propositional variables = 1044 c number of clauses / number of variables = 23.237 3,8546 c number of visible variables = 1080 c number of hidden variables = 0 c number of propositional variables = 1080 c number of clauses / number of variables = 23.599 3,474 c number of visible variables = 1008 c number of hidden variables = 0 c number of propositional variables = 1008 c number of clauses / number of variables = 20.752 3,188 c number of visible variables = 1116 c number of hidden variables = 0 c number of propositional variables = 1116 c number of clauses / number of variables = 23.947 3,7899 c number of visible variables = 1044 c number of hidden variables = 0 c number of propositional variables = 1044 c number of clauses / number of variables = 24.560 3,9 c number of visible variables = 1080 c number of hidden variables = 0 c number of propositional variables = 1080 c number of clauses / number of variables = 22.870 3,774 c number of visible variables = 1188 c number of hidden variables = 0 c number of propositional variables = 1188 c number of clauses / number of variables = 26.913 4,3455 c number of visible variables = 1200 c number of hidden variables = 0 c number of propositional variables = 1200 c number of clauses / number of variables = 18.993 4,12 c number of visible variables = 1296 c number of hidden variables = 0 c number of propositional variables = 1296 c number of clauses / number of variables = 22.252 4,45 c number of visible variables = 1104 c number of hidden variables = 0 c number of propositional variables = 1104 c number of clauses / number of variables = 19.903 4,78 c number of visible variables = 1392 c number of hidden variables = 0 c number of propositional variables = 1392 c number of clauses / number of variables = 26.583 4,8546 c number of visible variables = 1440 c number of hidden variables = 0 c number of propositional variables = 1440 c number of clauses / number of variables = 26.633 4,474 c number of visible variables = 1344 c number of hidden variables = 0 c number of propositional variables = 1344 c number of clauses / number of variables = 25.322 4,188 c number of visible variables = 1488 c number of hidden variables = 0 c number of propositional variables = 1488 c number of clauses / number of variables = 28.142 4,7899 c number of visible variables = 1392 c number of hidden variables = 0 c number of propositional variables = 1392 c number of clauses / number of variables = 27.282 4,9 c number of visible variables = 1440 c number of hidden variables = 0 c number of propositional variables = 1440 c number of clauses / number of variables = 25.760 4,774 c number of visible variables = 1584 c number of hidden variables = 0 c number of propositional variables = 1584 c number of clauses / number of variables = 31.370 5,3455 c number of visible variables = 1500 c number of hidden variables = 0 c number of propositional variables = 1500 c number of clauses / number of variables = 20.899 5,12 c number of visible variables = 1620 c number of hidden variables = 0 c number of propositional variables = 1620 c number of clauses / number of variables = 23.404 5,45 c number of visible variables = 1380 c number of hidden variables = 0 c number of propositional variables = 1380 c number of clauses / number of variables = 24.208 5,78 c number of visible variables = 1740 c number of hidden variables = 0 c number of propositional variables = 1740 c number of clauses / number of variables = 30.455 5,8546 c number of visible variables = 1800 c number of hidden variables = 0 c number of propositional variables = 1800 c number of clauses / number of variables = 29.731 5,474 c number of visible variables = 1680 c number of hidden variables = 0 c number of propositional variables = 1680 c number of clauses / number of variables = 26.812 5,188 c number of visible variables = 1860 c number of hidden variables = 0 c number of propositional variables = 1860 c number of clauses / number of variables = 28.755 5,7899 c number of visible variables = 1740 c number of hidden variables = 0 c number of propositional variables = 1740 c number of clauses / number of variables = 29.926 5,9 c number of visible variables = 1800 c number of hidden variables = 0 c number of propositional variables = 1800 c number of clauses / number of variables = 27.416 5,774 c number of visible variables = 1980 c number of hidden variables = 0 c number of propositional variables = 1980 c number of clauses / number of variables = 33.788 6,3455 c number of visible variables = 1800 c number of hidden variables = 0 c number of propositional variables = 1800 c number of clauses / number of variables = 24.492 6,12 c number of visible variables = 1944 c number of hidden variables = 0 c number of propositional variables = 1944 c number of clauses / number of variables = 24.523 6,45 c number of visible variables = 1656 c number of hidden variables = 0 c number of propositional variables = 1656 c number of clauses / number of variables = 26.295 6,78 c number of visible variables = 2088 c number of hidden variables = 0 c number of propositional variables = 2088 c number of clauses / number of variables = 34.513 6,8546 c number of visible variables = 2160 c number of hidden variables = 0 c number of propositional variables = 2160 c number of clauses / number of variables = 33.459 6,474 c number of visible variables = 2016 c number of hidden variables = 0 c number of propositional variables = 2016 c number of clauses / number of variables = 32.208 6,188 c number of visible variables = 2232 c number of hidden variables = 0 c number of propositional variables = 2232 c number of clauses / number of variables = 32.640 6,7899 c number of visible variables = 2088 c number of hidden variables = 0 c number of propositional variables = 2088 c number of clauses / number of variables = 34.787 6,9 c number of visible variables = 2160 c number of hidden variables = 0 c number of propositional variables = 2160 c number of clauses / number of variables = 29.698 6,774 c number of visible variables = 2376 c number of hidden variables = 0 c number of propositional variables = 2376 c number of clauses / number of variables = 38.010 7,3455 c number of visible variables = 2100 c number of hidden variables = 0 c number of propositional variables = 2100 c number of clauses / number of variables = 24.620 7,12 c number of visible variables = 2268 c number of hidden variables = 0 c number of propositional variables = 2268 c number of clauses / number of variables = 25.005 7,45 c number of visible variables = 1932 c number of hidden variables = 0 c number of propositional variables = 1932 c number of clauses / number of variables = 27.537 7,78 c number of visible variables = 2436 c number of hidden variables = 0 c number of propositional variables = 2436 c number of clauses / number of variables = 37.970 7,8546 c number of visible variables = 2520 c number of hidden variables = 0 c number of propositional variables = 2520 c number of clauses / number of variables = 34.366 7,474 c number of visible variables = 2352 c number of hidden variables = 0 c number of propositional variables = 2352 c number of clauses / number of variables = 33.239 7,188 c number of visible variables = 2604 c number of hidden variables = 0 c number of propositional variables = 2604 c number of clauses / number of variables = 35.352 7,7899 c number of visible variables = 2436 c number of hidden variables = 0 c number of propositional variables = 2436 c number of clauses / number of variables = 37.032 7,9 c number of visible variables = 2520 c number of hidden variables = 0 c number of propositional variables = 2520 c number of clauses / number of variables = 32.094 7,774 c number of visible variables = 2772 c number of hidden variables = 0 c number of propositional variables = 2772 c number of clauses / number of variables = 40.954 8,3455 c number of visible variables = 2400 c number of hidden variables = 0 c number of propositional variables = 2400 c number of clauses / number of variables = 24.738 8,12 c number of visible variables = 2592 c number of hidden variables = 0 c number of propositional variables = 2592 c number of clauses / number of variables = 30.649 8,45 c number of visible variables = 2208 c number of hidden variables = 0 c number of propositional variables = 2208 c number of clauses / number of variables = 29.245 8,78 c number of visible variables = 2784 c number of hidden variables = 0 c number of propositional variables = 2784 c number of clauses / number of variables = 38.723 8,8546 c number of visible variables = 2880 c number of hidden variables = 0 c number of propositional variables = 2880 c number of clauses / number of variables = 38.551 8,474 c number of visible variables = 2688 c number of hidden variables = 0 c number of propositional variables = 2688 c number of clauses / number of variables = 39.239 8,188 c number of visible variables = 2976 c number of hidden variables = 0 c number of propositional variables = 2976 c number of clauses / number of variables = 39.527 8,7899 c number of visible variables = 2784 c number of hidden variables = 0 c number of propositional variables = 2784 c number of clauses / number of variables = 39.617 8,9 c number of visible variables = 2880 c number of hidden variables = 0 c number of propositional variables = 2880 c number of clauses / number of variables = 34.290 8,774 c number of visible variables = 3168 c number of hidden variables = 0 c number of propositional variables = 3168 c number of clauses / number of variables = 44.015 9,3455 c number of visible variables = 2700 c number of hidden variables = 0 c number of propositional variables = 2700 c number of clauses / number of variables = 28.216 9,12 c number of visible variables = 2916 c number of hidden variables = 0 c number of propositional variables = 2916 c number of clauses / number of variables = 32.917 9,45 c number of visible variables = 2484 c number of hidden variables = 0 c number of propositional variables = 2484 c number of clauses / number of variables = 30.656 9,78 c number of visible variables = 3132 c number of hidden variables = 0 c number of propositional variables = 3132 c number of clauses / number of variables = 43.534 9,8546 c number of visible variables = 3240 c number of hidden variables = 0 c number of propositional variables = 3240 c number of clauses / number of variables = 39.448 9,474 c number of visible variables = 3024 c number of hidden variables = 0 c number of propositional variables = 3024 c number of clauses / number of variables = 41.314 9,188 c number of visible variables = 3348 c number of hidden variables = 0 c number of propositional variables = 3348 c number of clauses / number of variables = 40.838 9,7899 c number of visible variables = 3132 c number of hidden variables = 0 c number of propositional variables = 3132 c number of clauses / number of variables = 42.073 9,9 c number of visible variables = 3240 c number of hidden variables = 0 c number of propositional variables = 3240 c number of clauses / number of variables = 37.288 9,774 c number of visible variables = 3564 c number of hidden variables = 0 c number of propositional variables = 3564 c number of clauses / number of variables = 47.000 10,3455 c number of visible variables = 3000 c number of hidden variables = 0 c number of propositional variables = 3000 c number of clauses / number of variables = 29.930 10,12 c number of visible variables = 3240 c number of hidden variables = 0 c number of propositional variables = 3240 c number of clauses / number of variables = 37.305 10,45 c number of visible variables = 2760 c number of hidden variables = 0 c number of propositional variables = 2760 c number of clauses / number of variables = 32.546 10,78 c number of visible variables = 3480 c number of hidden variables = 0 c number of propositional variables = 3480 c number of clauses / number of variables = 43.095 10,8546 c number of visible variables = 3600 c number of hidden variables = 0 c number of propositional variables = 3600 c number of clauses / number of variables = 44.117 10,474 c number of visible variables = 3360 c number of hidden variables = 0 c number of propositional variables = 3360 c number of clauses / number of variables = 41.626 10,188 c number of visible variables = 3720 c number of hidden variables = 0 c number of propositional variables = 3720 c number of clauses / number of variables = 43.874 10,7899 c number of visible variables = 3480 c number of hidden variables = 0 c number of propositional variables = 3480 c number of clauses / number of variables = 45.742 10,9 c number of visible variables = 3600 c number of hidden variables = 0 c number of propositional variables = 3600 c number of clauses / number of variables = 39.294 10,774 c number of visible variables = 3960 c number of hidden variables = 0 c number of propositional variables = 3960 c number of clauses / number of variables = 49.445 11,3455 c number of visible variables = 3300 c number of hidden variables = 0 c number of propositional variables = 3300 c number of clauses / number of variables = 33.669 11,12 c number of visible variables = 3564 c number of hidden variables = 0 c number of propositional variables = 3564 c number of clauses / number of variables = 33.066 11,45 c number of visible variables = 3036 c number of hidden variables = 0 c number of propositional variables = 3036 c number of clauses / number of variables = 36.474 11,78 c number of visible variables = 3828 c number of hidden variables = 0 c number of propositional variables = 3828 c number of clauses / number of variables = 49.997 11,8546 c number of visible variables = 3960 c number of hidden variables = 0 c number of propositional variables = 3960 c number of clauses / number of variables = 46.605 11,474 c number of visible variables = 3696 c number of hidden variables = 0 c number of propositional variables = 3696 c number of clauses / number of variables = 40.668 11,188 c number of visible variables = 4092 c number of hidden variables = 0 c number of propositional variables = 4092 c number of clauses / number of variables = 44.084 11,7899 c number of visible variables = 3828 c number of hidden variables = 0 c number of propositional variables = 3828 c number of clauses / number of variables = 48.102 11,9 c number of visible variables = 3960 c number of hidden variables = 0 c number of propositional variables = 3960 c number of clauses / number of variables = 40.307 11,774 c number of visible variables = 4356 c number of hidden variables = 0 c number of propositional variables = 4356 c number of clauses / number of variables = 53.707 12,3455 c number of visible variables = 3600 c number of hidden variables = 0 c number of propositional variables = 3600 c number of clauses / number of variables = 36.043 12,12 c number of visible variables = 3888 c number of hidden variables = 0 c number of propositional variables = 3888 c number of clauses / number of variables = 37.245 12,45 c number of visible variables = 3312 c number of hidden variables = 0 c number of propositional variables = 3312 c number of clauses / number of variables = 36.717 12,78 c number of visible variables = 4176 c number of hidden variables = 0 c number of propositional variables = 4176 c number of clauses / number of variables = 50.117 12,8546 c number of visible variables = 4320 c number of hidden variables = 0 c number of propositional variables = 4320 c number of clauses / number of variables = 50.529 12,474 c number of visible variables = 4032 c number of hidden variables = 0 c number of propositional variables = 4032 c number of clauses / number of variables = 47.788 12,188 c number of visible variables = 4464 c number of hidden variables = 0 c number of propositional variables = 4464 c number of clauses / number of variables = 49.654 12,7899 c number of visible variables = 4176 c number of hidden variables = 0 c number of propositional variables = 4176 c number of clauses / number of variables = 54.981 12,9 c number of visible variables = 4320 c number of hidden variables = 0 c number of propositional variables = 4320 c number of clauses / number of variables = 43.879 12,774 c number of visible variables = 4752 c number of hidden variables = 0 c number of propositional variables = 4752 c number of clauses / number of variables = 56.985 13,3455 c number of visible variables = 3900 c number of hidden variables = 0 c number of propositional variables = 3900 c number of clauses / number of variables = 35.814 13,12 c number of visible variables = 4212 c number of hidden variables = 0 c number of propositional variables = 4212 c number of clauses / number of variables = 41.883 13,45 c number of visible variables = 3588 c number of hidden variables = 0 c number of propositional variables = 3588 c number of clauses / number of variables = 39.315 13,78 c number of visible variables = 4524 c number of hidden variables = 0 c number of propositional variables = 4524 c number of clauses / number of variables = 52.821 13,8546 c number of visible variables = 4680 c number of hidden variables = 0 c number of propositional variables = 4680 c number of clauses / number of variables = 50.728 13,474 c number of visible variables = 4368 c number of hidden variables = 0 c number of propositional variables = 4368 c number of clauses / number of variables = 49.990 13,188 c number of visible variables = 4836 c number of hidden variables = 0 c number of propositional variables = 4836 c number of clauses / number of variables = 52.550 13,7899 c number of visible variables = 4524 c number of hidden variables = 0 c number of propositional variables = 4524 c number of clauses / number of variables = 55.897 13,9 c number of visible variables = 4680 c number of hidden variables = 0 c number of propositional variables = 4680 c number of clauses / number of variables = 44.026 13,774 c number of visible variables = 5148 c number of hidden variables = 0 c number of propositional variables = 5148 c number of clauses / number of variables = 58.704 14,3455 c number of visible variables = 4200 c number of hidden variables = 0 c number of propositional variables = 4200 c number of clauses / number of variables = 35.724 14,12 c number of visible variables = 4536 c number of hidden variables = 0 c number of propositional variables = 4536 c number of clauses / number of variables = 42.529 14,45 c number of visible variables = 3864 c number of hidden variables = 0 c number of propositional variables = 3864 c number of clauses / number of variables = 42.424 14,78 c number of visible variables = 4872 c number of hidden variables = 0 c number of propositional variables = 4872 c number of clauses / number of variables = 58.068 14,8546 c number of visible variables = 5040 c number of hidden variables = 0 c number of propositional variables = 5040 c number of clauses / number of variables = 53.113 14,474 c number of visible variables = 4704 c number of hidden variables = 0 c number of propositional variables = 4704 c number of clauses / number of variables = 58.103 14,188 c number of visible variables = 5208 c number of hidden variables = 0 c number of propositional variables = 5208 c number of clauses / number of variables = 56.892 14,7899 c number of visible variables = 4872 c number of hidden variables = 0 c number of propositional variables = 4872 c number of clauses / number of variables = 60.062 14,9 c number of visible variables = 5040 c number of hidden variables = 0 c number of propositional variables = 5040 c number of clauses / number of variables = 47.381 14,774 c number of visible variables = 5544 c number of hidden variables = 0 c number of propositional variables = 5544 c number of clauses / number of variables = 62.431 15,3455 c number of visible variables = 4500 c number of hidden variables = 0 c number of propositional variables = 4500 c number of clauses / number of variables = 40.481 15,12 c number of visible variables = 4860 c number of hidden variables = 0 c number of propositional variables = 4860 c number of clauses / number of variables = 45.184 15,45 c number of visible variables = 4140 c number of hidden variables = 0 c number of propositional variables = 4140 c number of clauses / number of variables = 42.908 15,78 c number of visible variables = 5220 c number of hidden variables = 0 c number of propositional variables = 5220 c number of clauses / number of variables = 59.760 15,8546 c number of visible variables = 5400 c number of hidden variables = 0 c number of propositional variables = 5400 c number of clauses / number of variables = 55.394 15,474 c number of visible variables = 5040 c number of hidden variables = 0 c number of propositional variables = 5040 c number of clauses / number of variables = 58.810 15,188 c number of visible variables = 5580 c number of hidden variables = 0 c number of propositional variables = 5580 c number of clauses / number of variables = 58.364 15,7899 c number of visible variables = 5220 c number of hidden variables = 0 c number of propositional variables = 5220 c number of clauses / number of variables = 63.343 15,9 c number of visible variables = 5400 c number of hidden variables = 0 c number of propositional variables = 5400 c number of clauses / number of variables = 48.938 15,774 c number of visible variables = 5940 c number of hidden variables = 0 c number of propositional variables = 5940 c number of clauses / number of variables = 65.465 16,3455 c number of visible variables = 4800 c number of hidden variables = 0 c number of propositional variables = 4800 c number of clauses / number of variables = 41.992 16,12 c number of visible variables = 5184 c number of hidden variables = 0 c number of propositional variables = 5184 c number of clauses / number of variables = 44.555 16,45 c number of visible variables = 4416 c number of hidden variables = 0 c number of propositional variables = 4416 c number of clauses / number of variables = 47.541 16,78 c number of visible variables = 5568 c number of hidden variables = 0 c number of propositional variables = 5568 c number of clauses / number of variables = 61.203 16,8546 c number of visible variables = 5760 c number of hidden variables = 0 c number of propositional variables = 5760 c number of clauses / number of variables = 59.130 16,474 c number of visible variables = 5376 c number of hidden variables = 0 c number of propositional variables = 5376 c number of clauses / number of variables = 55.418 16,188 c number of visible variables = 5952 c number of hidden variables = 0 c number of propositional variables = 5952 c number of clauses / number of variables = 61.566 16,7899 c number of visible variables = 5568 c number of hidden variables = 0 c number of propositional variables = 5568 c number of clauses / number of variables = 66.647 16,9 c number of visible variables = 5760 c number of hidden variables = 0 c number of propositional variables = 5760 c number of clauses / number of variables = 52.589 16,774 c number of visible variables = 6336 c number of hidden variables = 0 c number of propositional variables = 6336 c number of clauses / number of variables = 66.703 17,3455 c number of visible variables = 5100 c number of hidden variables = 0 c number of propositional variables = 5100 c number of clauses / number of variables = 45.087 17,12 c number of visible variables = 5508 c number of hidden variables = 0 c number of propositional variables = 5508 c number of clauses / number of variables = 49.678 17,45 c number of visible variables = 4692 c number of hidden variables = 0 c number of propositional variables = 4692 c number of clauses / number of variables = 48.689 17,78 c number of visible variables = 5916 c number of hidden variables = 0 c number of propositional variables = 5916 c number of clauses / number of variables = 64.762 17,8546 c number of visible variables = 6120 c number of hidden variables = 0 c number of propositional variables = 6120 c number of clauses / number of variables = 63.035 17,474 c number of visible variables = 5712 c number of hidden variables = 0 c number of propositional variables = 5712 c number of clauses / number of variables = 60.148 17,188 c number of visible variables = 6324 c number of hidden variables = 0 c number of propositional variables = 6324 c number of clauses / number of variables = 62.522 17,7899 c number of visible variables = 5916 c number of hidden variables = 0 c number of propositional variables = 5916 c number of clauses / number of variables = 70.146 17,9 c number of visible variables = 6120 c number of hidden variables = 0 c number of propositional variables = 6120 c number of clauses / number of variables = 55.296 17,774 c number of visible variables = 6732 c number of hidden variables = 0 c number of propositional variables = 6732 c number of clauses / number of variables = 68.475 18,3455 c number of visible variables = 5400 c number of hidden variables = 0 c number of propositional variables = 5400 c number of clauses / number of variables = 49.825 18,12 c number of visible variables = 5832 c number of hidden variables = 0 c number of propositional variables = 5832 c number of clauses / number of variables = 53.160 18,45 c number of visible variables = 4968 c number of hidden variables = 0 c number of propositional variables = 4968 c number of clauses / number of variables = 50.213 18,78 c number of visible variables = 6264 c number of hidden variables = 0 c number of propositional variables = 6264 c number of clauses / number of variables = 69.323 18,8546 c number of visible variables = 6480 c number of hidden variables = 0 c number of propositional variables = 6480 c number of clauses / number of variables = 64.871 18,474 c number of visible variables = 6048 c number of hidden variables = 0 c number of propositional variables = 6048 c number of clauses / number of variables = 63.650 18,188 c number of visible variables = 6696 c number of hidden variables = 0 c number of propositional variables = 6696 c number of clauses / number of variables = 64.512 18,7899 c number of visible variables = 6264 c number of hidden variables = 0 c number of propositional variables = 6264 c number of clauses / number of variables = 71.988 18,9 c number of visible variables = 6480 c number of hidden variables = 0 c number of propositional variables = 6480 c number of clauses / number of variables = 56.975 18,774 c number of visible variables = 7128 c number of hidden variables = 0 c number of propositional variables = 7128 c number of clauses / number of variables = 73.368 grid size = 6 max robots = 18 1,3455 c number of clauses = 4657 c number of clauses / number of variables = 15.523 c number of literals / number of clauses = 2.261 1,12 c number of clauses = 5200 c number of clauses / number of variables = 16.049 c number of literals / number of clauses = 2.198 1,45 c number of clauses = 3698 c number of clauses / number of variables = 13.399 c number of literals / number of clauses = 2.144 1,78 c number of clauses = 5969 c number of clauses / number of variables = 17.152 c number of literals / number of clauses = 2.199 1,8546 c number of clauses = 6545 c number of clauses / number of variables = 18.181 c number of literals / number of clauses = 2.241 1,474 c number of clauses = 6023 c number of clauses / number of variables = 17.926 c number of literals / number of clauses = 2.323 1,188 c number of clauses = 7237 c number of clauses / number of variables = 19.454 c number of literals / number of clauses = 2.302 1,7899 c number of clauses = 6458 c number of clauses / number of variables = 18.557 c number of literals / number of clauses = 2.327 1,9 c number of clauses = 6538 c number of clauses / number of variables = 18.161 c number of literals / number of clauses = 2.239 1,774 c number of clauses = 8157 c number of clauses / number of variables = 20.598 c number of literals / number of clauses = 2.299 2,3455 c number of clauses = 11056 c number of clauses / number of variables = 18.427 c number of literals / number of clauses = 2.362 2,12 c number of clauses = 12647 c number of clauses / number of variables = 19.517 c number of literals / number of clauses = 2.349 2,45 c number of clauses = 9115 c number of clauses / number of variables = 16.513 c number of literals / number of clauses = 2.322 2,78 c number of clauses = 14134 c number of clauses / number of variables = 20.307 c number of literals / number of clauses = 2.322 2,8546 c number of clauses = 15425 c number of clauses / number of variables = 21.424 c number of literals / number of clauses = 2.346 2,474 c number of clauses = 13909 c number of clauses / number of variables = 20.698 c number of literals / number of clauses = 2.379 2,188 c number of clauses = 16906 c number of clauses / number of variables = 22.723 c number of literals / number of clauses = 2.379 2,7899 c number of clauses = 14790 c number of clauses / number of variables = 21.250 c number of literals / number of clauses = 2.373 2,9 c number of clauses = 14847 c number of clauses / number of variables = 20.621 c number of literals / number of clauses = 2.303 2,774 c number of clauses = 18931 c number of clauses / number of variables = 23.903 c number of literals / number of clauses = 2.372 3,3455 c number of clauses = 18018 c number of clauses / number of variables = 20.020 c number of literals / number of clauses = 2.371 3,12 c number of clauses = 19515 c number of clauses / number of variables = 20.077 c number of literals / number of clauses = 2.308 3,45 c number of clauses = 14706 c number of clauses / number of variables = 17.761 c number of literals / number of clauses = 2.324 3,78 c number of clauses = 24259 c number of clauses / number of variables = 23.237 c number of literals / number of clauses = 2.390 3,8546 c number of clauses = 25487 c number of clauses / number of variables = 23.599 c number of literals / number of clauses = 2.376 3,474 c number of clauses = 20918 c number of clauses / number of variables = 20.752 c number of literals / number of clauses = 2.310 3,188 c number of clauses = 26725 c number of clauses / number of variables = 23.947 c number of literals / number of clauses = 2.362 3,7899 c number of clauses = 25641 c number of clauses / number of variables = 24.560 c number of literals / number of clauses = 2.441 3,9 c number of clauses = 24700 c number of clauses / number of variables = 22.870 c number of literals / number of clauses = 2.346 3,774 c number of clauses = 31973 c number of clauses / number of variables = 26.913 c number of literals / number of clauses = 2.419 4,3455 c number of clauses = 22792 c number of clauses / number of variables = 18.993 c number of literals / number of clauses = 2.267 4,12 c number of clauses = 28838 c number of clauses / number of variables = 22.252 c number of literals / number of clauses = 2.355 4,45 c number of clauses = 21973 c number of clauses / number of variables = 19.903 c number of literals / number of clauses = 2.374 4,78 c number of clauses = 37003 c number of clauses / number of variables = 26.583 c number of literals / number of clauses = 2.454 4,8546 c number of clauses = 38352 c number of clauses / number of variables = 26.633 c number of literals / number of clauses = 2.432 4,474 c number of clauses = 34033 c number of clauses / number of variables = 25.322 c number of literals / number of clauses = 2.438 4,188 c number of clauses = 41875 c number of clauses / number of variables = 28.142 c number of literals / number of clauses = 2.453 4,7899 c number of clauses = 37976 c number of clauses / number of variables = 27.282 c number of literals / number of clauses = 2.474 4,9 c number of clauses = 37095 c number of clauses / number of variables = 25.760 c number of literals / number of clauses = 2.404 4,774 c number of clauses = 49690 c number of clauses / number of variables = 31.370 c number of literals / number of clauses = 2.495 5,3455 c number of clauses = 31349 c number of clauses / number of variables = 20.899 c number of literals / number of clauses = 2.315 5,12 c number of clauses = 37915 c number of clauses / number of variables = 23.404 c number of literals / number of clauses = 2.358 5,45 c number of clauses = 33407 c number of clauses / number of variables = 24.208 c number of literals / number of clauses = 2.484 5,78 c number of clauses = 52992 c number of clauses / number of variables = 30.455 c number of literals / number of clauses = 2.513 5,8546 c number of clauses = 53515 c number of clauses / number of variables = 29.731 c number of literals / number of clauses = 2.476 5,474 c number of clauses = 45045 c number of clauses / number of variables = 26.812 c number of literals / number of clauses = 2.442 5,188 c number of clauses = 53484 c number of clauses / number of variables = 28.755 c number of literals / number of clauses = 2.431 5,7899 c number of clauses = 52071 c number of clauses / number of variables = 29.926 c number of literals / number of clauses = 2.501 5,9 c number of clauses = 49348 c number of clauses / number of variables = 27.416 c number of literals / number of clauses = 2.415 5,774 c number of clauses = 66901 c number of clauses / number of variables = 33.788 c number of literals / number of clauses = 2.510 6,3455 c number of clauses = 44085 c number of clauses / number of variables = 24.492 c number of literals / number of clauses = 2.408 6,12 c number of clauses = 47673 c number of clauses / number of variables = 24.523 c number of literals / number of clauses = 2.362 6,45 c number of clauses = 43544 c number of clauses / number of variables = 26.295 c number of literals / number of clauses = 2.504 6,78 c number of clauses = 72064 c number of clauses / number of variables = 34.513 c number of literals / number of clauses = 2.561 6,8546 c number of clauses = 72271 c number of clauses / number of variables = 33.459 c number of literals / number of clauses = 2.524 6,474 c number of clauses = 64932 c number of clauses / number of variables = 32.208 c number of literals / number of clauses = 2.535 6,188 c number of clauses = 72852 c number of clauses / number of variables = 32.640 c number of literals / number of clauses = 2.490 6,7899 c number of clauses = 72635 c number of clauses / number of variables = 34.787 c number of literals / number of clauses = 2.565 6,9 c number of clauses = 64148 c number of clauses / number of variables = 29.698 c number of literals / number of clauses = 2.443 6,774 c number of clauses = 90312 c number of clauses / number of variables = 38.010 c number of literals / number of clauses = 2.555 7,3455 c number of clauses = 51701 c number of clauses / number of variables = 24.620 c number of literals / number of clauses = 2.380 7,12 c number of clauses = 56711 c number of clauses / number of variables = 25.005 c number of literals / number of clauses = 2.346 7,45 c number of clauses = 53201 c number of clauses / number of variables = 27.537 c number of literals / number of clauses = 2.502 7,78 c number of clauses = 92495 c number of clauses / number of variables = 37.970 c number of literals / number of clauses = 2.588 7,8546 c number of clauses = 86602 c number of clauses / number of variables = 34.366 c number of literals / number of clauses = 2.513 7,474 c number of clauses = 78177 c number of clauses / number of variables = 33.239 c number of literals / number of clauses = 2.526 7,188 c number of clauses = 92056 c number of clauses / number of variables = 35.352 c number of literals / number of clauses = 2.515 7,7899 c number of clauses = 90210 c number of clauses / number of variables = 37.032 c number of literals / number of clauses = 2.574 7,9 c number of clauses = 80877 c number of clauses / number of variables = 32.094 c number of literals / number of clauses = 2.469 7,774 c number of clauses = 113525 c number of clauses / number of variables = 40.954 c number of literals / number of clauses = 2.573 8,3455 c number of clauses = 59371 c number of clauses / number of variables = 24.738 c number of literals / number of clauses = 2.355 8,12 c number of clauses = 79443 c number of clauses / number of variables = 30.649 c number of literals / number of clauses = 2.467 8,45 c number of clauses = 64572 c number of clauses / number of variables = 29.245 c number of literals / number of clauses = 2.512 8,78 c number of clauses = 107806 c number of clauses / number of variables = 38.723 c number of literals / number of clauses = 2.575 8,8546 c number of clauses = 111026 c number of clauses / number of variables = 38.551 c number of literals / number of clauses = 2.558 8,474 c number of clauses = 105474 c number of clauses / number of variables = 39.239 c number of literals / number of clauses = 2.597 8,188 c number of clauses = 117633 c number of clauses / number of variables = 39.527 c number of literals / number of clauses = 2.558 8,7899 c number of clauses = 110294 c number of clauses / number of variables = 39.617 c number of literals / number of clauses = 2.588 8,9 c number of clauses = 98754 c number of clauses / number of variables = 34.290 c number of literals / number of clauses = 2.488 8,774 c number of clauses = 139440 c number of clauses / number of variables = 44.015 c number of literals / number of clauses = 2.591 9,3455 c number of clauses = 76183 c number of clauses / number of variables = 28.216 c number of literals / number of clauses = 2.425 9,12 c number of clauses = 95985 c number of clauses / number of variables = 32.917 c number of literals / number of clauses = 2.489 9,45 c number of clauses = 76149 c number of clauses / number of variables = 30.656 c number of literals / number of clauses = 2.515 9,78 c number of clauses = 136348 c number of clauses / number of variables = 43.534 c number of literals / number of clauses = 2.616 9,8546 c number of clauses = 127813 c number of clauses / number of variables = 39.448 c number of literals / number of clauses = 2.550 9,474 c number of clauses = 124934 c number of clauses / number of variables = 41.314 c number of literals / number of clauses = 2.602 9,188 c number of clauses = 136727 c number of clauses / number of variables = 40.838 c number of literals / number of clauses = 2.556 9,7899 c number of clauses = 131773 c number of clauses / number of variables = 42.073 c number of literals / number of clauses = 2.598 9,9 c number of clauses = 120812 c number of clauses / number of variables = 37.288 c number of literals / number of clauses = 2.518 9,774 c number of clauses = 167507 c number of clauses / number of variables = 47.000 c number of literals / number of clauses = 2.605 10,3455 c number of clauses = 89789 c number of clauses / number of variables = 29.930 c number of literals / number of clauses = 2.441 10,12 c number of clauses = 120868 c number of clauses / number of variables = 37.305 c number of literals / number of clauses = 2.542 10,45 c number of clauses = 89826 c number of clauses / number of variables = 32.546 c number of literals / number of clauses = 2.527 10,78 c number of clauses = 149972 c number of clauses / number of variables = 43.095 c number of literals / number of clauses = 2.592 10,8546 c number of clauses = 158823 c number of clauses / number of variables = 44.117 c number of literals / number of clauses = 2.591 10,474 c number of clauses = 139865 c number of clauses / number of variables = 41.626 c number of literals / number of clauses = 2.587 10,188 c number of clauses = 163210 c number of clauses / number of variables = 43.874 c number of literals / number of clauses = 2.576 10,7899 c number of clauses = 159181 c number of clauses / number of variables = 45.742 c number of literals / number of clauses = 2.621 10,9 c number of clauses = 141458 c number of clauses / number of variables = 39.294 c number of literals / number of clauses = 2.529 10,774 c number of clauses = 195802 c number of clauses / number of variables = 49.445 c number of literals / number of clauses = 2.613 11,3455 c number of clauses = 111108 c number of clauses / number of variables = 33.669 c number of literals / number of clauses = 2.494 11,12 c number of clauses = 117846 c number of clauses / number of variables = 33.066 c number of literals / number of clauses = 2.450 11,45 c number of clauses = 110736 c number of clauses / number of variables = 36.474 c number of literals / number of clauses = 2.569 11,78 c number of clauses = 191389 c number of clauses / number of variables = 49.997 c number of literals / number of clauses = 2.646 11,8546 c number of clauses = 184556 c number of clauses / number of variables = 46.605 c number of literals / number of clauses = 2.601 11,474 c number of clauses = 150309 c number of clauses / number of variables = 40.668 c number of literals / number of clauses = 2.557 11,188 c number of clauses = 180390 c number of clauses / number of variables = 44.084 c number of literals / number of clauses = 2.561 11,7899 c number of clauses = 184136 c number of clauses / number of variables = 48.102 c number of literals / number of clauses = 2.628 11,9 c number of clauses = 159617 c number of clauses / number of variables = 40.307 c number of literals / number of clauses = 2.525 11,774 c number of clauses = 233949 c number of clauses / number of variables = 53.707 c number of literals / number of clauses = 2.636 12,3455 c number of clauses = 129754 c number of clauses / number of variables = 36.043 c number of literals / number of clauses = 2.514 12,12 c number of clauses = 144808 c number of clauses / number of variables = 37.245 c number of literals / number of clauses = 2.504 12,45 c number of clauses = 121608 c number of clauses / number of variables = 36.717 c number of literals / number of clauses = 2.554 12,78 c number of clauses = 209288 c number of clauses / number of variables = 50.117 c number of literals / number of clauses = 2.631 12,8546 c number of clauses = 218284 c number of clauses / number of variables = 50.529 c number of literals / number of clauses = 2.624 12,474 c number of clauses = 192683 c number of clauses / number of variables = 47.788 c number of literals / number of clauses = 2.621 12,188 c number of clauses = 221656 c number of clauses / number of variables = 49.654 c number of literals / number of clauses = 2.605 12,7899 c number of clauses = 229601 c number of clauses / number of variables = 54.981 c number of literals / number of clauses = 2.671 12,9 c number of clauses = 189559 c number of clauses / number of variables = 43.879 c number of literals / number of clauses = 2.555 12,774 c number of clauses = 270792 c number of clauses / number of variables = 56.985 c number of literals / number of clauses = 2.648 13,3455 c number of clauses = 139676 c number of clauses / number of variables = 35.814 c number of literals / number of clauses = 2.493 13,12 c number of clauses = 176411 c number of clauses / number of variables = 41.883 c number of literals / number of clauses = 2.552 13,45 c number of clauses = 141063 c number of clauses / number of variables = 39.315 c number of literals / number of clauses = 2.572 13,78 c number of clauses = 238962 c number of clauses / number of variables = 52.821 c number of literals / number of clauses = 2.640 13,8546 c number of clauses = 237405 c number of clauses / number of variables = 50.728 c number of literals / number of clauses = 2.612 13,474 c number of clauses = 218357 c number of clauses / number of variables = 49.990 c number of literals / number of clauses = 2.626 13,188 c number of clauses = 254130 c number of clauses / number of variables = 52.550 c number of literals / number of clauses = 2.618 13,7899 c number of clauses = 252878 c number of clauses / number of variables = 55.897 c number of literals / number of clauses = 2.664 13,9 c number of clauses = 206044 c number of clauses / number of variables = 44.026 c number of literals / number of clauses = 2.541 13,774 c number of clauses = 302206 c number of clauses / number of variables = 58.704 c number of literals / number of clauses = 2.648 14,3455 c number of clauses = 150039 c number of clauses / number of variables = 35.724 c number of literals / number of clauses = 2.474 14,12 c number of clauses = 192913 c number of clauses / number of variables = 42.529 c number of literals / number of clauses = 2.544 14,45 c number of clauses = 163925 c number of clauses / number of variables = 42.424 c number of literals / number of clauses = 2.593 14,78 c number of clauses = 282905 c number of clauses / number of variables = 58.068 c number of literals / number of clauses = 2.667 14,8546 c number of clauses = 267689 c number of clauses / number of variables = 53.113 c number of literals / number of clauses = 2.619 14,474 c number of clauses = 273317 c number of clauses / number of variables = 58.103 c number of literals / number of clauses = 2.677 14,188 c number of clauses = 296292 c number of clauses / number of variables = 56.892 c number of literals / number of clauses = 2.640 14,7899 c number of clauses = 292621 c number of clauses / number of variables = 60.062 c number of literals / number of clauses = 2.681 14,9 c number of clauses = 238798 c number of clauses / number of variables = 47.381 c number of literals / number of clauses = 2.565 14,774 c number of clauses = 346115 c number of clauses / number of variables = 62.431 c number of literals / number of clauses = 2.661 15,3455 c number of clauses = 182163 c number of clauses / number of variables = 40.481 c number of literals / number of clauses = 2.528 15,12 c number of clauses = 219596 c number of clauses / number of variables = 45.184 c number of literals / number of clauses = 2.561 15,45 c number of clauses = 177638 c number of clauses / number of variables = 42.908 c number of literals / number of clauses = 2.583 15,78 c number of clauses = 311945 c number of clauses / number of variables = 59.760 c number of literals / number of clauses = 2.667 15,8546 c number of clauses = 299128 c number of clauses / number of variables = 55.394 c number of literals / number of clauses = 2.625 15,474 c number of clauses = 296402 c number of clauses / number of variables = 58.810 c number of literals / number of clauses = 2.669 15,188 c number of clauses = 325672 c number of clauses / number of variables = 58.364 c number of literals / number of clauses = 2.639 15,7899 c number of clauses = 330648 c number of clauses / number of variables = 63.343 c number of literals / number of clauses = 2.689 15,9 c number of clauses = 264267 c number of clauses / number of variables = 48.938 c number of literals / number of clauses = 2.567 15,774 c number of clauses = 388865 c number of clauses / number of variables = 65.465 c number of literals / number of clauses = 2.669 16,3455 c number of clauses = 201562 c number of clauses / number of variables = 41.992 c number of literals / number of clauses = 2.533 16,12 c number of clauses = 230975 c number of clauses / number of variables = 44.555 c number of literals / number of clauses = 2.540 16,45 c number of clauses = 209941 c number of clauses / number of variables = 47.541 c number of literals / number of clauses = 2.617 16,78 c number of clauses = 340781 c number of clauses / number of variables = 61.203 c number of literals / number of clauses = 2.665 16,8546 c number of clauses = 340587 c number of clauses / number of variables = 59.130 c number of literals / number of clauses = 2.642 16,474 c number of clauses = 297929 c number of clauses / number of variables = 55.418 c number of literals / number of clauses = 2.633 16,188 c number of clauses = 366441 c number of clauses / number of variables = 61.566 c number of literals / number of clauses = 2.650 16,7899 c number of clauses = 371089 c number of clauses / number of variables = 66.647 c number of literals / number of clauses = 2.697 16,9 c number of clauses = 302910 c number of clauses / number of variables = 52.589 c number of literals / number of clauses = 2.590 16,774 c number of clauses = 422632 c number of clauses / number of variables = 66.703 c number of literals / number of clauses = 2.666 17,3455 c number of clauses = 229942 c number of clauses / number of variables = 45.087 c number of literals / number of clauses = 2.556 17,12 c number of clauses = 273624 c number of clauses / number of variables = 49.678 c number of literals / number of clauses = 2.581 17,45 c number of clauses = 228449 c number of clauses / number of variables = 48.689 c number of literals / number of clauses = 2.614 17,78 c number of clauses = 383130 c number of clauses / number of variables = 64.762 c number of literals / number of clauses = 2.676 17,8546 c number of clauses = 385773 c number of clauses / number of variables = 63.035 c number of literals / number of clauses = 2.657 17,474 c number of clauses = 343565 c number of clauses / number of variables = 60.148 c number of literals / number of clauses = 2.655 17,188 c number of clauses = 395390 c number of clauses / number of variables = 62.522 c number of literals / number of clauses = 2.645 17,7899 c number of clauses = 414983 c number of clauses / number of variables = 70.146 c number of literals / number of clauses = 2.705 17,9 c number of clauses = 338411 c number of clauses / number of variables = 55.296 c number of literals / number of clauses = 2.601 17,774 c number of clauses = 460977 c number of clauses / number of variables = 68.475 c number of literals / number of clauses = 2.666 18,3455 c number of clauses = 269056 c number of clauses / number of variables = 49.825 c number of literals / number of clauses = 2.591 18,12 c number of clauses = 310027 c number of clauses / number of variables = 53.160 c number of literals / number of clauses = 2.600 18,45 c number of clauses = 249459 c number of clauses / number of variables = 50.213 c number of literals / number of clauses = 2.616 18,78 c number of clauses = 434239 c number of clauses / number of variables = 69.323 c number of literals / number of clauses = 2.692 18,8546 c number of clauses = 420367 c number of clauses / number of variables = 64.871 c number of literals / number of clauses = 2.658 18,474 c number of clauses = 384954 c number of clauses / number of variables = 63.650 c number of literals / number of clauses = 2.667 18,188 c number of clauses = 431970 c number of clauses / number of variables = 64.512 c number of literals / number of clauses = 2.648 18,7899 c number of clauses = 450935 c number of clauses / number of variables = 71.988 c number of literals / number of clauses = 2.705 18,9 c number of clauses = 369195 c number of clauses / number of variables = 56.975 c number of literals / number of clauses = 2.603 18,774 c number of clauses = 522967 c number of clauses / number of variables = 73.368 c number of literals / number of clauses = 2.683