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 = 600 Produced CNF clauses = 1233 Search steps = 0 Wall clock TIME (seconds) = 0.006 CPU/machine TIME (seconds) = 0.000 ] ] 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 = 648 Produced CNF clauses = 1205 Search steps = 0 Wall clock TIME (seconds) = 0.006 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 = 552 Produced CNF clauses = 867 Search steps = 0 Wall clock TIME (seconds) = 0.004 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 = 696 Produced CNF clauses = 1333 Search steps = 0 Wall clock TIME (seconds) = 0.006 CPU/machine TIME (seconds) = 0.000 ] ] 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 = 720 Produced CNF clauses = 1543 Search steps = 0 Wall clock TIME (seconds) = 0.007 CPU/machine TIME (seconds) = 0.000 ] ] 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 = 672 Produced CNF clauses = 1653 Search steps = 0 Wall clock TIME (seconds) = 0.008 CPU/machine TIME (seconds) = 0.000 ] ] 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 = 744 Produced CNF clauses = 1841 Search steps = 0 Wall clock TIME (seconds) = 0.009 CPU/machine TIME (seconds) = 0.000 ] ] 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 = 696 Produced CNF clauses = 1763 Search steps = 0 Wall clock TIME (seconds) = 0.008 CPU/machine TIME (seconds) = 0.000 ] ] 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 = 720 Produced CNF clauses = 1533 Search steps = 0 Wall clock TIME (seconds) = 0.007 CPU/machine TIME (seconds) = 0.000 ] ] 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 = 792 Produced CNF clauses = 2025 Search steps = 0 Wall clock TIME (seconds) = 0.010 CPU/machine TIME (seconds) = 0.000 ] ] 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 = 900 Produced CNF clauses = 2892 Search steps = 0 Wall clock TIME (seconds) = 0.013 CPU/machine TIME (seconds) = 0.010 ] ] 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 = 972 Produced CNF clauses = 3152 Search steps = 0 Wall clock TIME (seconds) = 0.014 CPU/machine TIME (seconds) = 0.010 ] ] 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 = 828 Produced CNF clauses = 2426 Search steps = 0 Wall clock TIME (seconds) = 0.010 CPU/machine TIME (seconds) = 0.000 ] ] 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 = 1044 Produced CNF clauses = 3332 Search steps = 0 Wall clock TIME (seconds) = 0.014 CPU/machine TIME (seconds) = 0.010 ] ] 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 = 1080 Produced CNF clauses = 3650 Search steps = 0 Wall clock TIME (seconds) = 0.016 CPU/machine TIME (seconds) = 0.010 ] ] 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 = 1008 Produced CNF clauses = 3496 Search steps = 0 Wall clock TIME (seconds) = 0.015 CPU/machine TIME (seconds) = 0.010 ] ] 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 = 1116 Produced CNF clauses = 4052 Search steps = 0 Wall clock TIME (seconds) = 0.018 CPU/machine TIME (seconds) = 0.010 ] ] 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 = 1044 Produced CNF clauses = 3642 Search steps = 0 Wall clock TIME (seconds) = 0.016 CPU/machine TIME (seconds) = 0.010 ] ] 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 = 1080 Produced CNF clauses = 3380 Search steps = 0 Wall clock TIME (seconds) = 0.014 CPU/machine TIME (seconds) = 0.010 ] ] 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 = 1188 Produced CNF clauses = 4392 Search steps = 0 Wall clock TIME (seconds) = 0.019 CPU/machine TIME (seconds) = 0.020 ] ] 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 = 1200 Produced CNF clauses = 4485 Search steps = 0 Wall clock TIME (seconds) = 0.018 CPU/machine TIME (seconds) = 0.010 ] ] 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 = 1296 Produced CNF clauses = 4562 Search steps = 0 Wall clock TIME (seconds) = 0.018 CPU/machine TIME (seconds) = 0.010 ] ] 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 = 1104 Produced CNF clauses = 3797 Search steps = 0 Wall clock TIME (seconds) = 0.015 CPU/machine TIME (seconds) = 0.010 ] ] 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 = 1392 Produced CNF clauses = 5621 Search steps = 0 Wall clock TIME (seconds) = 0.023 CPU/machine TIME (seconds) = 0.020 ] ] 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 = 1440 Produced CNF clauses = 5765 Search steps = 0 Wall clock TIME (seconds) = 0.024 CPU/machine TIME (seconds) = 0.020 ] ] 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 = 1344 Produced CNF clauses = 4798 Search steps = 0 Wall clock TIME (seconds) = 0.019 CPU/machine TIME (seconds) = 0.020 ] ] 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 = 1488 Produced CNF clauses = 5909 Search steps = 0 Wall clock TIME (seconds) = 0.024 CPU/machine TIME (seconds) = 0.020 ] ] 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 = 1392 Produced CNF clauses = 6061 Search steps = 0 Wall clock TIME (seconds) = 0.026 CPU/machine TIME (seconds) = 0.020 ] ] 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 = 1440 Produced CNF clauses = 5513 Search steps = 0 Wall clock TIME (seconds) = 0.022 CPU/machine TIME (seconds) = 0.020 ] ] 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 = 1584 Produced CNF clauses = 7043 Search steps = 0 Wall clock TIME (seconds) = 0.030 CPU/machine TIME (seconds) = 0.020 ] ] 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 = 1500 Produced CNF clauses = 5626 Search steps = 0 Wall clock TIME (seconds) = 0.019 CPU/machine TIME (seconds) = 0.020 ] ] 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 = 1620 Produced CNF clauses = 6775 Search steps = 0 Wall clock TIME (seconds) = 0.024 CPU/machine TIME (seconds) = 0.020 ] ] 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 = 1380 Produced CNF clauses = 5674 Search steps = 0 Wall clock TIME (seconds) = 0.020 CPU/machine TIME (seconds) = 0.020 ] ] 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 = 1740 Produced CNF clauses = 8402 Search steps = 0 Wall clock TIME (seconds) = 0.032 CPU/machine TIME (seconds) = 0.030 ] ] 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 = 1800 Produced CNF clauses = 8532 Search steps = 0 Wall clock TIME (seconds) = 0.033 CPU/machine TIME (seconds) = 0.020 ] ] 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 = 1680 Produced CNF clauses = 7864 Search steps = 0 Wall clock TIME (seconds) = 0.030 CPU/machine TIME (seconds) = 0.020 ] ] 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 = 1860 Produced CNF clauses = 9184 Search steps = 0 Wall clock TIME (seconds) = 0.036 CPU/machine TIME (seconds) = 0.030 ] ] 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 = 1740 Produced CNF clauses = 8638 Search steps = 0 Wall clock TIME (seconds) = 0.034 CPU/machine TIME (seconds) = 0.030 ] ] 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 = 1800 Produced CNF clauses = 8228 Search steps = 0 Wall clock TIME (seconds) = 0.031 CPU/machine TIME (seconds) = 0.020 ] ] 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 = 1980 Produced CNF clauses = 10638 Search steps = 0 Wall clock TIME (seconds) = 0.043 CPU/machine TIME (seconds) = 0.040 ] ] 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 = 1800 Produced CNF clauses = 7891 Search steps = 0 Wall clock TIME (seconds) = 0.027 CPU/machine TIME (seconds) = 0.020 ] ] 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 = 1944 Produced CNF clauses = 8994 Search steps = 0 Wall clock TIME (seconds) = 0.032 CPU/machine TIME (seconds) = 0.030 ] ] 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 = 1656 Produced CNF clauses = 8399 Search steps = 0 Wall clock TIME (seconds) = 0.031 CPU/machine TIME (seconds) = 0.030 ] ] 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 = 2088 Produced CNF clauses = 11709 Search steps = 0 Wall clock TIME (seconds) = 0.045 CPU/machine TIME (seconds) = 0.030 ] ] 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 = 2160 Produced CNF clauses = 11681 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=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 = 2016 Produced CNF clauses = 10282 Search steps = 0 Wall clock TIME (seconds) = 0.038 CPU/machine TIME (seconds) = 0.030 ] ] 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 = 2232 Produced CNF clauses = 11547 Search steps = 0 Wall clock TIME (seconds) = 0.043 CPU/machine TIME (seconds) = 0.040 ] ] 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 = 2088 Produced CNF clauses = 11533 Search steps = 0 Wall clock TIME (seconds) = 0.046 CPU/machine TIME (seconds) = 0.040 ] ] 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 = 2160 Produced CNF clauses = 10873 Search steps = 0 Wall clock TIME (seconds) = 0.041 CPU/machine TIME (seconds) = 0.040 ] ] 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 = 2376 Produced CNF clauses = 13851 Search steps = 0 Wall clock TIME (seconds) = 0.054 CPU/machine TIME (seconds) = 0.050 ] ] 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 = 2100 Produced CNF clauses = 10946 Search steps = 0 Wall clock TIME (seconds) = 0.036 CPU/machine TIME (seconds) = 0.030 ] ] 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 = 2268 Produced CNF clauses = 11524 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=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 = 1932 Produced CNF clauses = 10816 Search steps = 0 Wall clock TIME (seconds) = 0.036 CPU/machine TIME (seconds) = 0.030 ] ] 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 = 2436 Produced CNF clauses = 15430 Search steps = 0 Wall clock TIME (seconds) = 0.056 CPU/machine TIME (seconds) = 0.050 ] ] 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 = 2520 Produced CNF clauses = 15414 Search steps = 0 Wall clock TIME (seconds) = 0.055 CPU/machine TIME (seconds) = 0.050 ] ] 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 = 2352 Produced CNF clauses = 14308 Search steps = 0 Wall clock TIME (seconds) = 0.051 CPU/machine TIME (seconds) = 0.040 ] ] 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 = 2604 Produced CNF clauses = 15456 Search steps = 0 Wall clock TIME (seconds) = 0.055 CPU/machine TIME (seconds) = 0.050 ] ] 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 = 2436 Produced CNF clauses = 15528 Search steps = 0 Wall clock TIME (seconds) = 0.057 CPU/machine TIME (seconds) = 0.050 ] ] 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 = 2520 Produced CNF clauses = 14092 Search steps = 0 Wall clock TIME (seconds) = 0.048 CPU/machine TIME (seconds) = 0.040 ] ] 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 = 2772 Produced CNF clauses = 18154 Search steps = 0 Wall clock TIME (seconds) = 0.067 CPU/machine TIME (seconds) = 0.060 ] ] 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 = 2400 Produced CNF clauses = 13301 Search steps = 0 Wall clock TIME (seconds) = 0.040 CPU/machine TIME (seconds) = 0.040 ] ] 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 = 2592 Produced CNF clauses = 14176 Search steps = 0 Wall clock TIME (seconds) = 0.042 CPU/machine TIME (seconds) = 0.030 ] ] 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 = 2208 Produced CNF clauses = 13283 Search steps = 0 Wall clock TIME (seconds) = 0.042 CPU/machine TIME (seconds) = 0.040 ] ] 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 = 2784 Produced CNF clauses = 19299 Search steps = 0 Wall clock TIME (seconds) = 0.068 CPU/machine TIME (seconds) = 0.060 ] ] 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 = 2880 Produced CNF clauses = 18519 Search steps = 0 Wall clock TIME (seconds) = 0.062 CPU/machine TIME (seconds) = 0.060 ] ] 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 = 2688 Produced CNF clauses = 17246 Search steps = 0 Wall clock TIME (seconds) = 0.057 CPU/machine TIME (seconds) = 0.050 ] ] 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 = 2976 Produced CNF clauses = 19317 Search steps = 0 Wall clock TIME (seconds) = 0.065 CPU/machine TIME (seconds) = 0.060 ] ] 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 = 2784 Produced CNF clauses = 18983 Search steps = 0 Wall clock TIME (seconds) = 0.066 CPU/machine TIME (seconds) = 0.060 ] ] 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 = 2880 Produced CNF clauses = 17715 Search steps = 0 Wall clock TIME (seconds) = 0.057 CPU/machine TIME (seconds) = 0.050 ] ] 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 = 3168 Produced CNF clauses = 22359 Search steps = 0 Wall clock TIME (seconds) = 0.078 CPU/machine TIME (seconds) = 0.060 ] ] 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 = 2700 Produced CNF clauses = 15949 Search steps = 0 Wall clock TIME (seconds) = 0.043 CPU/machine TIME (seconds) = 0.040 ] ] 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 = 2916 Produced CNF clauses = 18780 Search steps = 0 Wall clock TIME (seconds) = 0.056 CPU/machine TIME (seconds) = 0.050 ] ] 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 = 2484 Produced CNF clauses = 16146 Search steps = 0 Wall clock TIME (seconds) = 0.048 CPU/machine TIME (seconds) = 0.040 ] ] 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 = 3132 Produced CNF clauses = 22594 Search steps = 0 Wall clock TIME (seconds) = 0.072 CPU/machine TIME (seconds) = 0.070 ] ] 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 = 3240 Produced CNF clauses = 23132 Search steps = 0 Wall clock TIME (seconds) = 0.074 CPU/machine TIME (seconds) = 0.070 ] ] 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 = 3024 Produced CNF clauses = 22148 Search steps = 0 Wall clock TIME (seconds) = 0.071 CPU/machine TIME (seconds) = 0.070 ] ] 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 = 3348 Produced CNF clauses = 24084 Search steps = 0 Wall clock TIME (seconds) = 0.078 CPU/machine TIME (seconds) = 0.070 ] ] 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 = 3132 Produced CNF clauses = 22900 Search steps = 0 Wall clock TIME (seconds) = 0.074 CPU/machine TIME (seconds) = 0.070 ] ] 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 = 3240 Produced CNF clauses = 21626 Search steps = 0 Wall clock TIME (seconds) = 0.065 CPU/machine TIME (seconds) = 0.060 ] ] 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 = 3564 Produced CNF clauses = 27004 Search steps = 0 Wall clock TIME (seconds) = 0.088 CPU/machine TIME (seconds) = 0.080 ] ] 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 = 3000 Produced CNF clauses = 19878 Search steps = 0 Wall clock TIME (seconds) = 0.060 CPU/machine TIME (seconds) = 0.060 ] ] 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 = 3240 Produced CNF clauses = 22645 Search steps = 0 Wall clock TIME (seconds) = 0.068 CPU/machine TIME (seconds) = 0.060 ] ] 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 = 2760 Produced CNF clauses = 19209 Search steps = 0 Wall clock TIME (seconds) = 0.058 CPU/machine TIME (seconds) = 0.050 ] ] 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 = 3480 Produced CNF clauses = 27619 Search steps = 0 Wall clock TIME (seconds) = 0.092 CPU/machine TIME (seconds) = 0.090 ] ] 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 = 3600 Produced CNF clauses = 26947 Search steps = 0 Wall clock TIME (seconds) = 0.085 CPU/machine TIME (seconds) = 0.080 ] ] 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 = 3360 Produced CNF clauses = 26099 Search steps = 0 Wall clock TIME (seconds) = 0.085 CPU/machine TIME (seconds) = 0.080 ] ] 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 = 3720 Produced CNF clauses = 28175 Search steps = 0 Wall clock TIME (seconds) = 0.092 CPU/machine TIME (seconds) = 0.080 ] ] 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 = 3480 Produced CNF clauses = 27123 Search steps = 0 Wall clock TIME (seconds) = 0.090 CPU/machine TIME (seconds) = 0.080 ] ] 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 = 3600 Produced CNF clauses = 26179 Search steps = 0 Wall clock TIME (seconds) = 0.082 CPU/machine TIME (seconds) = 0.080 ] ] 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 = 3960 Produced CNF clauses = 32015 Search steps = 0 Wall clock TIME (seconds) = 0.108 CPU/machine TIME (seconds) = 0.100 ] ] 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 = 3300 Produced CNF clauses = 23587 Search steps = 0 Wall clock TIME (seconds) = 0.066 CPU/machine TIME (seconds) = 0.060 ] ] 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 = 3564 Produced CNF clauses = 27508 Search steps = 0 Wall clock TIME (seconds) = 0.082 CPU/machine TIME (seconds) = 0.080 ] ] 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 = 3036 Produced CNF clauses = 22674 Search steps = 0 Wall clock TIME (seconds) = 0.066 CPU/machine TIME (seconds) = 0.060 ] ] 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 = 3828 Produced CNF clauses = 31198 Search steps = 0 Wall clock TIME (seconds) = 0.096 CPU/machine TIME (seconds) = 0.090 ] ] 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 = 3960 Produced CNF clauses = 32454 Search steps = 0 Wall clock TIME (seconds) = 0.102 CPU/machine TIME (seconds) = 0.100 ] ] 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 = 3696 Produced CNF clauses = 29803 Search steps = 0 Wall clock TIME (seconds) = 0.090 CPU/machine TIME (seconds) = 0.080 ] ] 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 = 4092 Produced CNF clauses = 33270 Search steps = 0 Wall clock TIME (seconds) = 0.103 CPU/machine TIME (seconds) = 0.100 ] ] 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 = 3828 Produced CNF clauses = 32106 Search steps = 0 Wall clock TIME (seconds) = 0.099 CPU/machine TIME (seconds) = 0.090 ] ] 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 = 3960 Produced CNF clauses = 30744 Search steps = 0 Wall clock TIME (seconds) = 0.090 CPU/machine TIME (seconds) = 0.090 ] ] 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 = 4356 Produced CNF clauses = 37212 Search steps = 0 Wall clock TIME (seconds) = 0.120 CPU/machine TIME (seconds) = 0.120 ] ] 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 = 3600 Produced CNF clauses = 28201 Search steps = 0 Wall clock TIME (seconds) = 0.078 CPU/machine TIME (seconds) = 0.070 ] ] 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 = 3888 Produced CNF clauses = 29952 Search steps = 0 Wall clock TIME (seconds) = 0.079 CPU/machine TIME (seconds) = 0.080 ] ] 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 = 3312 Produced CNF clauses = 26967 Search steps = 0 Wall clock TIME (seconds) = 0.074 CPU/machine TIME (seconds) = 0.070 ] ] 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 = 4176 Produced CNF clauses = 37637 Search steps = 0 Wall clock TIME (seconds) = 0.114 CPU/machine TIME (seconds) = 0.110 ] ] 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 = 4320 Produced CNF clauses = 37551 Search steps = 0 Wall clock TIME (seconds) = 0.111 CPU/machine TIME (seconds) = 0.110 ] ] 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 = 4032 Produced CNF clauses = 33420 Search steps = 0 Wall clock TIME (seconds) = 0.094 CPU/machine TIME (seconds) = 0.090 ] ] 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 = 4464 Produced CNF clauses = 37701 Search steps = 0 Wall clock TIME (seconds) = 0.108 CPU/machine TIME (seconds) = 0.100 ] ] 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 = 4176 Produced CNF clauses = 36991 Search steps = 0 Wall clock TIME (seconds) = 0.109 CPU/machine TIME (seconds) = 0.100 ] ] 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 = 4320 Produced CNF clauses = 35315 Search steps = 0 Wall clock TIME (seconds) = 0.098 CPU/machine TIME (seconds) = 0.090 ] ] 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 = 4752 Produced CNF clauses = 43513 Search steps = 0 Wall clock TIME (seconds) = 0.132 CPU/machine TIME (seconds) = 0.120 ] ] 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 = 3900 Produced CNF clauses = 32708 Search steps = 0 Wall clock TIME (seconds) = 0.085 CPU/machine TIME (seconds) = 0.080 ] ] 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 = 4212 Produced CNF clauses = 35396 Search steps = 0 Wall clock TIME (seconds) = 0.093 CPU/machine TIME (seconds) = 0.090 ] ] 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 = 3588 Produced CNF clauses = 30538 Search steps = 0 Wall clock TIME (seconds) = 0.080 CPU/machine TIME (seconds) = 0.080 ] ] 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 = 4524 Produced CNF clauses = 42100 Search steps = 0 Wall clock TIME (seconds) = 0.119 CPU/machine TIME (seconds) = 0.110 ] ] 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 = 4680 Produced CNF clauses = 43516 Search steps = 0 Wall clock TIME (seconds) = 0.124 CPU/machine TIME (seconds) = 0.120 ] ] 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 = 4368 Produced CNF clauses = 40043 Search steps = 0 Wall clock TIME (seconds) = 0.113 CPU/machine TIME (seconds) = 0.100 ] ] 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 = 4836 Produced CNF clauses = 44470 Search steps = 0 Wall clock TIME (seconds) = 0.126 CPU/machine TIME (seconds) = 0.120 ] ] 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 = 4524 Produced CNF clauses = 43774 Search steps = 0 Wall clock TIME (seconds) = 0.128 CPU/machine TIME (seconds) = 0.120 ] ] 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 = 4680 Produced CNF clauses = 41152 Search steps = 0 Wall clock TIME (seconds) = 0.111 CPU/machine TIME (seconds) = 0.110 ] ] 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 = 5148 Produced CNF clauses = 49826 Search steps = 0 Wall clock TIME (seconds) = 0.147 CPU/machine TIME (seconds) = 0.140 ] ] 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 = 4200 Produced CNF clauses = 36750 Search steps = 0 Wall clock TIME (seconds) = 0.091 CPU/machine TIME (seconds) = 0.080 ] ] 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 = 4536 Produced CNF clauses = 41312 Search steps = 0 Wall clock TIME (seconds) = 0.108 CPU/machine TIME (seconds) = 0.100 ] ] 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 = 3864 Produced CNF clauses = 35025 Search steps = 0 Wall clock TIME (seconds) = 0.089 CPU/machine TIME (seconds) = 0.080 ] ] 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 = 4872 Produced CNF clauses = 47797 Search steps = 0 Wall clock TIME (seconds) = 0.134 CPU/machine TIME (seconds) = 0.130 ] ] 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 = 5040 Produced CNF clauses = 48519 Search steps = 0 Wall clock TIME (seconds) = 0.132 CPU/machine TIME (seconds) = 0.120 ] ] 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 = 4704 Produced CNF clauses = 45376 Search steps = 0 Wall clock TIME (seconds) = 0.122 CPU/machine TIME (seconds) = 0.120 ] ] 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 = 5208 Produced CNF clauses = 50631 Search steps = 0 Wall clock TIME (seconds) = 0.139 CPU/machine TIME (seconds) = 0.130 ] ] 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 = 4872 Produced CNF clauses = 48859 Search steps = 0 Wall clock TIME (seconds) = 0.138 CPU/machine TIME (seconds) = 0.130 ] ] 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 = 5040 Produced CNF clauses = 46135 Search steps = 0 Wall clock TIME (seconds) = 0.121 CPU/machine TIME (seconds) = 0.110 ] ] 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 = 5544 Produced CNF clauses = 55925 Search steps = 0 Wall clock TIME (seconds) = 0.157 CPU/machine TIME (seconds) = 0.150 ] ] 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 = 4500 Produced CNF clauses = 41130 Search steps = 0 Wall clock TIME (seconds) = 0.096 CPU/machine TIME (seconds) = 0.090 ] ] 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 = 4860 Produced CNF clauses = 46280 Search steps = 0 Wall clock TIME (seconds) = 0.113 CPU/machine TIME (seconds) = 0.110 ] ] 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 = 4140 Produced CNF clauses = 39926 Search steps = 0 Wall clock TIME (seconds) = 0.099 CPU/machine TIME (seconds) = 0.090 ] ] 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 = 5220 Produced CNF clauses = 54716 Search steps = 0 Wall clock TIME (seconds) = 0.146 CPU/machine TIME (seconds) = 0.140 ] ] 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 = 5400 Produced CNF clauses = 54658 Search steps = 0 Wall clock TIME (seconds) = 0.143 CPU/machine TIME (seconds) = 0.130 ] ] 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 = 5040 Produced CNF clauses = 53008 Search steps = 0 Wall clock TIME (seconds) = 0.144 CPU/machine TIME (seconds) = 0.140 ] ] 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 = 5580 Produced CNF clauses = 57694 Search steps = 0 Wall clock TIME (seconds) = 0.157 CPU/machine TIME (seconds) = 0.150 ] ] 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 = 5220 Produced CNF clauses = 55406 Search steps = 0 Wall clock TIME (seconds) = 0.150 CPU/machine TIME (seconds) = 0.140 ] ] 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 = 5400 Produced CNF clauses = 52616 Search steps = 0 Wall clock TIME (seconds) = 0.133 CPU/machine TIME (seconds) = 0.130 ] ] 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 = 5940 Produced CNF clauses = 63206 Search steps = 0 Wall clock TIME (seconds) = 0.173 CPU/machine TIME (seconds) = 0.170 ] ] 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 = 4800 Produced CNF clauses = 47243 Search steps = 0 Wall clock TIME (seconds) = 0.111 CPU/machine TIME (seconds) = 0.110 ] ] 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 = 5184 Produced CNF clauses = 52213 Search steps = 0 Wall clock TIME (seconds) = 0.124 CPU/machine TIME (seconds) = 0.120 ] ] 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 = 4416 Produced CNF clauses = 44389 Search steps = 0 Wall clock TIME (seconds) = 0.105 CPU/machine TIME (seconds) = 0.100 ] ] 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 = 5568 Produced CNF clauses = 60761 Search steps = 0 Wall clock TIME (seconds) = 0.159 CPU/machine TIME (seconds) = 0.160 ] ] 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 = 5760 Produced CNF clauses = 61121 Search steps = 0 Wall clock TIME (seconds) = 0.155 CPU/machine TIME (seconds) = 0.150 ] ] 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 = 5376 Produced CNF clauses = 58518 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=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 = 5952 Produced CNF clauses = 64073 Search steps = 0 Wall clock TIME (seconds) = 0.165 CPU/machine TIME (seconds) = 0.150 ] ] 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 = 5568 Produced CNF clauses = 61999 Search steps = 0 Wall clock TIME (seconds) = 0.163 CPU/machine TIME (seconds) = 0.160 ] ] 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 = 5760 Produced CNF clauses = 58819 Search steps = 0 Wall clock TIME (seconds) = 0.145 CPU/machine TIME (seconds) = 0.140 ] ] 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 = 6336 Produced CNF clauses = 70611 Search steps = 0 Wall clock TIME (seconds) = 0.189 CPU/machine TIME (seconds) = 0.180 ] ] 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 = 5100 Produced CNF clauses = 52698 Search steps = 0 Wall clock TIME (seconds) = 0.119 CPU/machine TIME (seconds) = 0.110 ] ] 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 = 5508 Produced CNF clauses = 57419 Search steps = 0 Wall clock TIME (seconds) = 0.131 CPU/machine TIME (seconds) = 0.130 ] ] 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 = 4692 Produced CNF clauses = 50258 Search steps = 0 Wall clock TIME (seconds) = 0.118 CPU/machine TIME (seconds) = 0.110 ] ] 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 = 5916 Produced CNF clauses = 67068 Search steps = 0 Wall clock TIME (seconds) = 0.168 CPU/machine TIME (seconds) = 0.160 ] ] 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 = 6120 Produced CNF clauses = 68460 Search steps = 0 Wall clock TIME (seconds) = 0.174 CPU/machine TIME (seconds) = 0.170 ] ] 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 = 5712 Produced CNF clauses = 63001 Search steps = 0 Wall clock TIME (seconds) = 0.154 CPU/machine TIME (seconds) = 0.140 ] ] 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 = 6324 Produced CNF clauses = 71462 Search steps = 0 Wall clock TIME (seconds) = 0.179 CPU/machine TIME (seconds) = 0.170 ] ] 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 = 5916 Produced CNF clauses = 68948 Search steps = 0 Wall clock TIME (seconds) = 0.179 CPU/machine TIME (seconds) = 0.170 ] ] 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 = 6120 Produced CNF clauses = 66126 Search steps = 0 Wall clock TIME (seconds) = 0.158 CPU/machine TIME (seconds) = 0.150 ] ] 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 = 6732 Produced CNF clauses = 77708 Search steps = 0 Wall clock TIME (seconds) = 0.198 CPU/machine TIME (seconds) = 0.190 ] ] 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 = 5400 Produced CNF clauses = 58919 Search steps = 0 Wall clock TIME (seconds) = 0.148 CPU/machine TIME (seconds) = 0.140 ] ] 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 = 5832 Produced CNF clauses = 64789 Search steps = 0 Wall clock TIME (seconds) = 0.160 CPU/machine TIME (seconds) = 0.160 ] ] 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 = 4968 Produced CNF clauses = 55453 Search steps = 0 Wall clock TIME (seconds) = 0.139 CPU/machine TIME (seconds) = 0.130 ] ] 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 = 6264 Produced CNF clauses = 74451 Search steps = 0 Wall clock TIME (seconds) = 0.199 CPU/machine TIME (seconds) = 0.190 ] ] 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 = 6480 Produced CNF clauses = 76221 Search steps = 0 Wall clock TIME (seconds) = 0.201 CPU/machine TIME (seconds) = 0.200 ] ] 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 = 6048 Produced CNF clauses = 70517 Search steps = 0 Wall clock TIME (seconds) = 0.188 CPU/machine TIME (seconds) = 0.180 ] ] 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 = 6696 Produced CNF clauses = 78395 Search steps = 0 Wall clock TIME (seconds) = 0.205 CPU/machine TIME (seconds) = 0.200 ] ] 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 = 6264 Produced CNF clauses = 76311 Search steps = 0 Wall clock TIME (seconds) = 0.211 CPU/machine TIME (seconds) = 0.200 ] ] 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 = 6480 Produced CNF clauses = 73459 Search steps = 0 Wall clock TIME (seconds) = 0.188 CPU/machine TIME (seconds) = 0.180 ] ] 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 = 7128 Produced CNF clauses = 85409 Search steps = 0 Wall clock TIME (seconds) = 0.230 CPU/machine TIME (seconds) = 0.220 ] ] 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 = 5700 Produced CNF clauses = 65929 Search steps = 0 Wall clock TIME (seconds) = 0.160 CPU/machine TIME (seconds) = 0.160 ] ] 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 = 6156 Produced CNF clauses = 71960 Search steps = 0 Wall clock TIME (seconds) = 0.176 CPU/machine TIME (seconds) = 0.170 ] ] 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 = 5244 Produced CNF clauses = 61028 Search steps = 0 Wall clock TIME (seconds) = 0.148 CPU/machine TIME (seconds) = 0.140 ] ] 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 = 6612 Produced CNF clauses = 82528 Search steps = 0 Wall clock TIME (seconds) = 0.216 CPU/machine TIME (seconds) = 0.210 ] ] 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 = 6840 Produced CNF clauses = 83604 Search steps = 0 Wall clock TIME (seconds) = 0.217 CPU/machine TIME (seconds) = 0.210 ] ] 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 = 6384 Produced CNF clauses = 77962 Search steps = 0 Wall clock TIME (seconds) = 0.197 CPU/machine TIME (seconds) = 0.190 ] ] 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 = 7068 Produced CNF clauses = 86080 Search steps = 0 Wall clock TIME (seconds) = 0.216 CPU/machine TIME (seconds) = 0.210 ] ] 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 = 6612 Produced CNF clauses = 83452 Search steps = 0 Wall clock TIME (seconds) = 0.221 CPU/machine TIME (seconds) = 0.220 ] ] 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 = 6840 Produced CNF clauses = 80784 Search steps = 0 Wall clock TIME (seconds) = 0.204 CPU/machine TIME (seconds) = 0.200 ] ] 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 = 7524 Produced CNF clauses = 94732 Search steps = 0 Wall clock TIME (seconds) = 0.249 CPU/machine TIME (seconds) = 0.240 ] ] grid size = 6 max robots = 18 1,3455 c number of literals = 3112 c number of literals / number of clauses = 2.524 1,12 c number of literals = 2886 c number of literals / number of clauses = 2.395 1,45 c number of literals = 1881 c number of literals / number of clauses = 2.170 1,78 c number of literals = 3240 c number of literals / number of clauses = 2.431 1,8546 c number of literals = 3943 c number of literals / number of clauses = 2.555 1,474 c number of literals = 4474 c number of literals / number of clauses = 2.707 1,188 c number of literals = 4998 c number of literals / number of clauses = 2.715 1,7899 c number of literals = 4807 c number of literals / number of clauses = 2.727 1,9 c number of literals = 3917 c number of literals / number of clauses = 2.555 1,774 c number of literals = 5530 c number of literals / number of clauses = 2.731 2,3455 c number of literals = 7288 c number of literals / number of clauses = 2.520 2,12 c number of literals = 7982 c number of literals / number of clauses = 2.532 2,45 c number of literals = 5847 c number of literals / number of clauses = 2.410 2,78 c number of literals = 8350 c number of literals / number of clauses = 2.506 2,8546 c number of literals = 9374 c number of literals / number of clauses = 2.568 2,474 c number of literals = 9078 c number of literals / number of clauses = 2.597 2,188 c number of literals = 10712 c number of literals / number of clauses = 2.644 2,7899 c number of literals = 9473 c number of literals / number of clauses = 2.601 2,9 c number of literals = 8399 c number of literals / number of clauses = 2.485 2,774 c number of literals = 11657 c number of literals / number of clauses = 2.654 3,3455 c number of literals = 10738 c number of literals / number of clauses = 2.394 3,12 c number of literals = 10528 c number of literals / number of clauses = 2.308 3,45 c number of literals = 8659 c number of literals / number of clauses = 2.280 3,78 c number of literals = 13934 c number of literals / number of clauses = 2.479 3,8546 c number of literals = 14234 c number of literals / number of clauses = 2.469 3,474 c number of literals = 11118 c number of literals / number of clauses = 2.317 3,188 c number of literals = 14503 c number of literals / number of clauses = 2.454 3,7899 c number of literals = 15561 c number of literals / number of clauses = 2.567 3,9 c number of literals = 13315 c number of literals / number of clauses = 2.415 3,774 c number of literals = 18161 c number of literals / number of clauses = 2.579 4,3455 c number of literals = 11945 c number of literals / number of clauses = 2.123 4,12 c number of literals = 15501 c number of literals / number of clauses = 2.288 4,45 c number of literals = 12853 c number of literals / number of clauses = 2.265 4,78 c number of literals = 20737 c number of literals / number of clauses = 2.468 4,8546 c number of literals = 20879 c number of literals / number of clauses = 2.447 4,474 c number of literals = 19113 c number of literals / number of clauses = 2.430 4,188 c number of literals = 22893 c number of literals / number of clauses = 2.493 4,7899 c number of literals = 21599 c number of literals / number of clauses = 2.500 4,9 c number of literals = 19775 c number of literals / number of clauses = 2.403 4,774 c number of literals = 27485 c number of literals / number of clauses = 2.584 5,3455 c number of literals = 16865 c number of literals / number of clauses = 2.137 5,12 c number of literals = 19927 c number of literals / number of clauses = 2.216 5,45 c number of literals = 19749 c number of literals / number of clauses = 2.351 5,78 c number of literals = 28903 c number of literals / number of clauses = 2.468 5,8546 c number of literals = 28333 c number of literals / number of clauses = 2.426 5,474 c number of literals = 24139 c number of literals / number of clauses = 2.348 5,188 c number of literals = 27305 c number of literals / number of clauses = 2.365 5,7899 c number of literals = 28224 c number of literals / number of clauses = 2.447 5,9 c number of literals = 25369 c number of literals / number of clauses = 2.333 5,774 c number of literals = 34730 c number of literals / number of clauses = 2.507 6,3455 c number of literals = 24174 c number of literals / number of clauses = 2.208 6,12 c number of literals = 24977 c number of literals / number of clauses = 2.167 6,45 c number of literals = 25028 c number of literals / number of clauses = 2.314 6,78 c number of literals = 38007 c number of literals / number of clauses = 2.463 6,8546 c number of literals = 37314 c number of literals / number of clauses = 2.421 6,474 c number of literals = 34512 c number of literals / number of clauses = 2.412 6,188 c number of literals = 36801 c number of literals / number of clauses = 2.381 6,7899 c number of literals = 38340 c number of literals / number of clauses = 2.469 6,9 c number of literals = 32488 c number of literals / number of clauses = 2.305 6,774 c number of literals = 45319 c number of literals / number of clauses = 2.496 7,3455 c number of literals = 28356 c number of literals / number of clauses = 2.132 7,12 c number of literals = 29897 c number of literals / number of clauses = 2.109 7,45 c number of literals = 30009 c number of literals / number of clauses = 2.259 7,78 c number of literals = 47063 c number of literals / number of clauses = 2.439 7,8546 c number of literals = 43363 c number of literals / number of clauses = 2.342 7,474 c number of literals = 40316 c number of literals / number of clauses = 2.338 7,188 c number of literals = 45473 c number of literals / number of clauses = 2.354 7,7899 c number of literals = 45883 c number of literals / number of clauses = 2.417 7,9 c number of literals = 40461 c number of literals / number of clauses = 2.284 7,774 c number of literals = 54877 c number of literals / number of clauses = 2.454 8,3455 c number of literals = 33131 c number of literals / number of clauses = 2.077 8,12 c number of literals = 41526 c number of literals / number of clauses = 2.211 8,45 c number of literals = 36008 c number of literals / number of clauses = 2.230 8,78 c number of literals = 53428 c number of literals / number of clauses = 2.365 8,8546 c number of literals = 54411 c number of literals / number of clauses = 2.352 8,474 c number of literals = 52810 c number of literals / number of clauses = 2.384 8,188 c number of literals = 56844 c number of literals / number of clauses = 2.360 8,7899 c number of literals = 54520 c number of literals / number of clauses = 2.381 8,9 c number of literals = 48915 c number of literals / number of clauses = 2.262 8,774 c number of literals = 65424 c number of literals / number of clauses = 2.423 9,3455 c number of literals = 42157 c number of literals / number of clauses = 2.121 9,12 c number of literals = 49835 c number of literals / number of clauses = 2.201 9,45 c number of literals = 42241 c number of literals / number of clauses = 2.199 9,78 c number of literals = 65586 c number of literals / number of clauses = 2.375 9,8546 c number of literals = 61881 c number of literals / number of clauses = 2.296 9,474 c number of literals = 61210 c number of literals / number of clauses = 2.345 9,188 c number of literals = 65117 c number of literals / number of clauses = 2.311 9,7899 c number of literals = 63704 c number of literals / number of clauses = 2.349 9,9 c number of literals = 59111 c number of literals / number of clauses = 2.258 9,774 c number of literals = 76636 c number of literals / number of clauses = 2.394 10,3455 c number of literals = 49852 c number of literals / number of clauses = 2.114 10,12 c number of literals = 61321 c number of literals / number of clauses = 2.229 10,45 c number of literals = 49512 c number of literals / number of clauses = 2.184 10,78 c number of literals = 71798 c number of literals / number of clauses = 2.301 10,8546 c number of literals = 74998 c number of literals / number of clauses = 2.311 10,474 c number of literals = 68147 c number of literals / number of clauses = 2.287 10,188 c number of literals = 76441 c number of literals / number of clauses = 2.298 10,7899 c number of literals = 75109 c number of literals / number of clauses = 2.339 10,9 c number of literals = 68742 c number of literals / number of clauses = 2.236 10,774 c number of literals = 87847 c number of literals / number of clauses = 2.361 11,3455 c number of literals = 60369 c number of literals / number of clauses = 2.141 11,12 c number of literals = 63267 c number of literals / number of clauses = 2.112 11,45 c number of literals = 59388 c number of literals / number of clauses = 2.202 11,78 c number of literals = 88014 c number of literals / number of clauses = 2.338 11,8546 c number of literals = 85982 c number of literals / number of clauses = 2.290 11,474 c number of literals = 74197 c number of literals / number of clauses = 2.220 11,188 c number of literals = 84722 c number of literals / number of clauses = 2.247 11,7899 c number of literals = 85553 c number of literals / number of clauses = 2.313 11,9 c number of literals = 77790 c number of literals / number of clauses = 2.203 11,774 c number of literals = 102476 c number of literals / number of clauses = 2.355 12,3455 c number of literals = 70003 c number of literals / number of clauses = 2.140 12,12 c number of literals = 75786 c number of literals / number of clauses = 2.141 12,45 c number of literals = 66113 c number of literals / number of clauses = 2.165 12,78 c number of literals = 96323 c number of literals / number of clauses = 2.288 12,8546 c number of literals = 99583 c number of literals / number of clauses = 2.288 12,474 c number of literals = 90775 c number of literals / number of clauses = 2.267 12,188 c number of literals = 100995 c number of literals / number of clauses = 2.271 12,7899 c number of literals = 102441 c number of literals / number of clauses = 2.340 12,9 c number of literals = 90916 c number of literals / number of clauses = 2.209 12,774 c number of literals = 116487 c number of literals / number of clauses = 2.338 13,3455 c number of literals = 77362 c number of literals / number of clauses = 2.105 13,12 c number of literals = 89514 c number of literals / number of clauses = 2.167 13,45 c number of literals = 75752 c number of literals / number of clauses = 2.163 13,78 c number of literals = 108593 c number of literals / number of clauses = 2.272 13,8546 c number of literals = 108986 c number of literals / number of clauses = 2.246 13,474 c number of literals = 102002 c number of literals / number of clauses = 2.248 13,188 c number of literals = 114349 c number of literals / number of clauses = 2.258 13,7899 c number of literals = 112429 c number of literals / number of clauses = 2.301 13,9 c number of literals = 100275 c number of literals / number of clauses = 2.174 13,774 c number of literals = 129034 c number of literals / number of clauses = 2.307 14,3455 c number of literals = 85469 c number of literals / number of clauses = 2.078 14,12 c number of literals = 99168 c number of literals / number of clauses = 2.143 14,45 c number of literals = 86476 c number of literals / number of clauses = 2.166 14,78 c number of literals = 124810 c number of literals / number of clauses = 2.281 14,8546 c number of literals = 122007 c number of literals / number of clauses = 2.232 14,474 c number of literals = 121147 c number of literals / number of clauses = 2.285 14,188 c number of literals = 130439 c number of literals / number of clauses = 2.261 14,7899 c number of literals = 127275 c number of literals / number of clauses = 2.297 14,9 c number of literals = 114549 c number of literals / number of clauses = 2.177 14,774 c number of literals = 145263 c number of literals / number of clauses = 2.298 15,3455 c number of literals = 99524 c number of literals / number of clauses = 2.107 15,12 c number of literals = 111824 c number of literals / number of clauses = 2.142 15,45 c number of literals = 95063 c number of literals / number of clauses = 2.142 15,78 c number of literals = 137191 c number of literals / number of clauses = 2.258 15,8546 c number of literals = 135557 c number of literals / number of clauses = 2.218 15,474 c number of literals = 131917 c number of literals / number of clauses = 2.254 15,188 c number of literals = 143392 c number of literals / number of clauses = 2.238 15,7899 c number of literals = 141659 c number of literals / number of clauses = 2.285 15,9 c number of literals = 127182 c number of literals / number of clauses = 2.162 15,774 c number of literals = 161280 c number of literals / number of clauses = 2.284 16,3455 c number of literals = 110615 c number of literals / number of clauses = 2.099 16,12 c number of literals = 121269 c number of literals / number of clauses = 2.112 16,45 c number of literals = 108428 c number of literals / number of clauses = 2.157 16,78 c number of literals = 149955 c number of literals / number of clauses = 2.236 16,8546 c number of literals = 151789 c number of literals / number of clauses = 2.217 16,474 c number of literals = 138311 c number of literals / number of clauses = 2.195 16,188 c number of literals = 159419 c number of literals / number of clauses = 2.231 16,7899 c number of literals = 156781 c number of literals / number of clauses = 2.274 16,9 c number of literals = 143305 c number of literals / number of clauses = 2.167 16,774 c number of literals = 175502 c number of literals / number of clauses = 2.258 17,3455 c number of literals = 124049 c number of literals / number of clauses = 2.105 17,12 c number of literals = 138156 c number of literals / number of clauses = 2.132 17,45 c number of literals = 118831 c number of literals / number of clauses = 2.143 17,78 c number of literals = 166089 c number of literals / number of clauses = 2.231 17,8546 c number of literals = 168970 c number of literals / number of clauses = 2.217 17,474 c number of literals = 155336 c number of literals / number of clauses = 2.203 17,188 c number of literals = 173143 c number of literals / number of clauses = 2.209 17,7899 c number of literals = 172862 c number of literals / number of clauses = 2.265 17,9 c number of literals = 158876 c number of literals / number of clauses = 2.163 17,774 c number of literals = 191293 c number of literals / number of clauses = 2.240 18,3455 c number of literals = 139863 c number of literals / number of clauses = 2.121 18,12 c number of literals = 153754 c number of literals / number of clauses = 2.137 18,45 c number of literals = 130119 c number of literals / number of clauses = 2.132 18,78 c number of literals = 184232 c number of literals / number of clauses = 2.232 18,8546 c number of literals = 184139 c number of literals / number of clauses = 2.203 18,474 c number of literals = 171522 c number of literals / number of clauses = 2.200 18,188 c number of literals = 189025 c number of literals / number of clauses = 2.196 18,7899 c number of literals = 187509 c number of literals / number of clauses = 2.247 18,9 c number of literals = 173845 c number of literals / number of clauses = 2.152 18,774 c number of literals = 212342 c number of literals / number of clauses = 2.242 grid size = 6 max robots = 18 1,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 = 2.055 1,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 = 1.860 1,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 = 1.571 1,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 = 1.915 1,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 = 2.143 1,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 = 2.460 1,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 = 2.474 1,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 = 2.533 1,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 = 2.129 1,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 = 2.557 2,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 = 3.213 2,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 = 3.243 2,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 = 2.930 2,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 = 3.192 2,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 = 3.380 2,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 = 3.468 2,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 = 3.631 2,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 = 3.489 2,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 = 3.130 2,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 = 3.697 3,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 = 3.737 3,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 = 3.520 3,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 = 3.439 3,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 = 4.038 3,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 = 4.003 3,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 = 3.570 3,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 = 3.971 3,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 = 4.354 3,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 = 3.828 3,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 = 4.446 4,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 = 3.751 4,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 = 4.182 4,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 = 4.112 4,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 = 4.829 4,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 = 4.740 4,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 = 4.681 4,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 = 4.938 4,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 = 4.964 4,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 = 4.571 4,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 = 5.373 5,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 = 4.384 5,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 = 4.627 5,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 = 5.072 5,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 = 5.608 5,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 = 5.408 5,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 = 5.100 5,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 = 5.173 5,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 = 5.523 5,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 = 5.034 5,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 = 5.830 6,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 = 5.212 6,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 = 5.081 6,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 = 5.598 6,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 = 6.334 6,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 = 6.117 6,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 = 6.083 6,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 = 5.935 6,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 = 6.374 6,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 = 5.592 6,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 = 6.549 7,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 = 5.542 7,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 = 5.469 7,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 = 6.016 7,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 = 6.932 7,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 = 6.430 7,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 = 6.416 7,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 = 6.491 7,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 = 6.819 7,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 = 6.151 7,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 = 7.058 8,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 = 5.907 8,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 = 6.440 8,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 = 6.500 8,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 = 7.214 8,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 = 7.140 8,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 = 7.324 8,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 = 7.194 8,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 = 7.312 8,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 = 6.675 8,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 = 7.577 9,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 = 6.626 9,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 = 6.989 9,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 = 6.960 9,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 = 7.936 9,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 = 7.485 9,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 = 7.768 9,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 = 7.574 9,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 = 7.794 9,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 = 7.272 9,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 = 8.085 10,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 = 7.148 10,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 = 7.718 10,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 = 7.468 10,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 = 8.150 10,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 = 8.195 10,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 = 8.064 10,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 = 8.130 10,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 = 8.387 10,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 = 7.764 10,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 = 8.543 11,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 = 7.834 11,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 = 7.704 11,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 = 8.142 11,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 = 9.013 11,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 = 8.692 11,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 = 8.289 11,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 = 8.446 11,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 = 8.858 11,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 = 8.175 11,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 = 9.157 12,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 = 8.387 12,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 = 8.404 12,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 = 8.511 12,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 = 9.306 12,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 = 9.298 12,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 = 9.167 12,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 = 9.196 12,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 = 9.676 12,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 = 8.793 12,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 = 9.679 13,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 = 8.750 13,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 = 9.108 13,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 = 9.064 13,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 = 9.811 13,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 = 9.627 13,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 = 9.646 13,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 = 9.722 13,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 = 10.029 13,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 = 9.154 13,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 = 10.087 14,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 = 9.140 14,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 = 9.523 14,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 = 9.644 14,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 = 10.482 14,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 = 10.122 14,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 = 10.517 14,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 = 10.339 14,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 = 10.614 14,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 = 9.744 14,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 = 10.641 15,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 = 9.842 15,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 = 10.072 15,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 = 10.052 15,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 = 10.913 15,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 = 10.611 15,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 = 10.885 15,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 = 10.765 15,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 = 11.135 15,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 = 10.212 15,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 = 11.144 16,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 = 10.333 16,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 = 10.425 16,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 = 10.711 16,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 = 11.337 16,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 = 11.186 16,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 = 11.030 16,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 = 11.300 16,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 = 11.654 16,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 = 10.805 16,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 = 11.543 17,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 = 10.911 17,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 = 11.109 17,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 = 11.162 17,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 = 11.886 17,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 = 11.762 17,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 = 11.660 17,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 = 11.708 17,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 = 12.182 17,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 = 11.336 17,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 = 11.982 18,3455 c number of visible variables = 5700 c number of hidden variables = 0 c number of propositional variables = 5700 c number of clauses / number of variables = 11.566 18,12 c number of visible variables = 6156 c number of hidden variables = 0 c number of propositional variables = 6156 c number of clauses / number of variables = 11.689 18,45 c number of visible variables = 5244 c number of hidden variables = 0 c number of propositional variables = 5244 c number of clauses / number of variables = 11.638 18,78 c number of visible variables = 6612 c number of hidden variables = 0 c number of propositional variables = 6612 c number of clauses / number of variables = 12.482 18,8546 c number of visible variables = 6840 c number of hidden variables = 0 c number of propositional variables = 6840 c number of clauses / number of variables = 12.223 18,474 c number of visible variables = 6384 c number of hidden variables = 0 c number of propositional variables = 6384 c number of clauses / number of variables = 12.212 18,188 c number of visible variables = 7068 c number of hidden variables = 0 c number of propositional variables = 7068 c number of clauses / number of variables = 12.179 18,7899 c number of visible variables = 6612 c number of hidden variables = 0 c number of propositional variables = 6612 c number of clauses / number of variables = 12.621 18,9 c number of visible variables = 6840 c number of hidden variables = 0 c number of propositional variables = 6840 c number of clauses / number of variables = 11.811 18,774 c number of visible variables = 7524 c number of hidden variables = 0 c number of propositional variables = 7524 c number of clauses / number of variables = 12.591 grid size = 6 max robots = 18 1,3455 c number of clauses = 1233 c number of clauses / number of variables = 2.055 c number of literals / number of clauses = 2.524 1,12 c number of clauses = 1205 c number of clauses / number of variables = 1.860 c number of literals / number of clauses = 2.395 1,45 c number of clauses = 867 c number of clauses / number of variables = 1.571 c number of literals / number of clauses = 2.170 1,78 c number of clauses = 1333 c number of clauses / number of variables = 1.915 c number of literals / number of clauses = 2.431 1,8546 c number of clauses = 1543 c number of clauses / number of variables = 2.143 c number of literals / number of clauses = 2.555 1,474 c number of clauses = 1653 c number of clauses / number of variables = 2.460 c number of literals / number of clauses = 2.707 1,188 c number of clauses = 1841 c number of clauses / number of variables = 2.474 c number of literals / number of clauses = 2.715 1,7899 c number of clauses = 1763 c number of clauses / number of variables = 2.533 c number of literals / number of clauses = 2.727 1,9 c number of clauses = 1533 c number of clauses / number of variables = 2.129 c number of literals / number of clauses = 2.555 1,774 c number of clauses = 2025 c number of clauses / number of variables = 2.557 c number of literals / number of clauses = 2.731 2,3455 c number of clauses = 2892 c number of clauses / number of variables = 3.213 c number of literals / number of clauses = 2.520 2,12 c number of clauses = 3152 c number of clauses / number of variables = 3.243 c number of literals / number of clauses = 2.532 2,45 c number of clauses = 2426 c number of clauses / number of variables = 2.930 c number of literals / number of clauses = 2.410 2,78 c number of clauses = 3332 c number of clauses / number of variables = 3.192 c number of literals / number of clauses = 2.506 2,8546 c number of clauses = 3650 c number of clauses / number of variables = 3.380 c number of literals / number of clauses = 2.568 2,474 c number of clauses = 3496 c number of clauses / number of variables = 3.468 c number of literals / number of clauses = 2.597 2,188 c number of clauses = 4052 c number of clauses / number of variables = 3.631 c number of literals / number of clauses = 2.644 2,7899 c number of clauses = 3642 c number of clauses / number of variables = 3.489 c number of literals / number of clauses = 2.601 2,9 c number of clauses = 3380 c number of clauses / number of variables = 3.130 c number of literals / number of clauses = 2.485 2,774 c number of clauses = 4392 c number of clauses / number of variables = 3.697 c number of literals / number of clauses = 2.654 3,3455 c number of clauses = 4485 c number of clauses / number of variables = 3.737 c number of literals / number of clauses = 2.394 3,12 c number of clauses = 4562 c number of clauses / number of variables = 3.520 c number of literals / number of clauses = 2.308 3,45 c number of clauses = 3797 c number of clauses / number of variables = 3.439 c number of literals / number of clauses = 2.280 3,78 c number of clauses = 5621 c number of clauses / number of variables = 4.038 c number of literals / number of clauses = 2.479 3,8546 c number of clauses = 5765 c number of clauses / number of variables = 4.003 c number of literals / number of clauses = 2.469 3,474 c number of clauses = 4798 c number of clauses / number of variables = 3.570 c number of literals / number of clauses = 2.317 3,188 c number of clauses = 5909 c number of clauses / number of variables = 3.971 c number of literals / number of clauses = 2.454 3,7899 c number of clauses = 6061 c number of clauses / number of variables = 4.354 c number of literals / number of clauses = 2.567 3,9 c number of clauses = 5513 c number of clauses / number of variables = 3.828 c number of literals / number of clauses = 2.415 3,774 c number of clauses = 7043 c number of clauses / number of variables = 4.446 c number of literals / number of clauses = 2.579 4,3455 c number of clauses = 5626 c number of clauses / number of variables = 3.751 c number of literals / number of clauses = 2.123 4,12 c number of clauses = 6775 c number of clauses / number of variables = 4.182 c number of literals / number of clauses = 2.288 4,45 c number of clauses = 5674 c number of clauses / number of variables = 4.112 c number of literals / number of clauses = 2.265 4,78 c number of clauses = 8402 c number of clauses / number of variables = 4.829 c number of literals / number of clauses = 2.468 4,8546 c number of clauses = 8532 c number of clauses / number of variables = 4.740 c number of literals / number of clauses = 2.447 4,474 c number of clauses = 7864 c number of clauses / number of variables = 4.681 c number of literals / number of clauses = 2.430 4,188 c number of clauses = 9184 c number of clauses / number of variables = 4.938 c number of literals / number of clauses = 2.493 4,7899 c number of clauses = 8638 c number of clauses / number of variables = 4.964 c number of literals / number of clauses = 2.500 4,9 c number of clauses = 8228 c number of clauses / number of variables = 4.571 c number of literals / number of clauses = 2.403 4,774 c number of clauses = 10638 c number of clauses / number of variables = 5.373 c number of literals / number of clauses = 2.584 5,3455 c number of clauses = 7891 c number of clauses / number of variables = 4.384 c number of literals / number of clauses = 2.137 5,12 c number of clauses = 8994 c number of clauses / number of variables = 4.627 c number of literals / number of clauses = 2.216 5,45 c number of clauses = 8399 c number of clauses / number of variables = 5.072 c number of literals / number of clauses = 2.351 5,78 c number of clauses = 11709 c number of clauses / number of variables = 5.608 c number of literals / number of clauses = 2.468 5,8546 c number of clauses = 11681 c number of clauses / number of variables = 5.408 c number of literals / number of clauses = 2.426 5,474 c number of clauses = 10282 c number of clauses / number of variables = 5.100 c number of literals / number of clauses = 2.348 5,188 c number of clauses = 11547 c number of clauses / number of variables = 5.173 c number of literals / number of clauses = 2.365 5,7899 c number of clauses = 11533 c number of clauses / number of variables = 5.523 c number of literals / number of clauses = 2.447 5,9 c number of clauses = 10873 c number of clauses / number of variables = 5.034 c number of literals / number of clauses = 2.333 5,774 c number of clauses = 13851 c number of clauses / number of variables = 5.830 c number of literals / number of clauses = 2.507 6,3455 c number of clauses = 10946 c number of clauses / number of variables = 5.212 c number of literals / number of clauses = 2.208 6,12 c number of clauses = 11524 c number of clauses / number of variables = 5.081 c number of literals / number of clauses = 2.167 6,45 c number of clauses = 10816 c number of clauses / number of variables = 5.598 c number of literals / number of clauses = 2.314 6,78 c number of clauses = 15430 c number of clauses / number of variables = 6.334 c number of literals / number of clauses = 2.463 6,8546 c number of clauses = 15414 c number of clauses / number of variables = 6.117 c number of literals / number of clauses = 2.421 6,474 c number of clauses = 14308 c number of clauses / number of variables = 6.083 c number of literals / number of clauses = 2.412 6,188 c number of clauses = 15456 c number of clauses / number of variables = 5.935 c number of literals / number of clauses = 2.381 6,7899 c number of clauses = 15528 c number of clauses / number of variables = 6.374 c number of literals / number of clauses = 2.469 6,9 c number of clauses = 14092 c number of clauses / number of variables = 5.592 c number of literals / number of clauses = 2.305 6,774 c number of clauses = 18154 c number of clauses / number of variables = 6.549 c number of literals / number of clauses = 2.496 7,3455 c number of clauses = 13301 c number of clauses / number of variables = 5.542 c number of literals / number of clauses = 2.132 7,12 c number of clauses = 14176 c number of clauses / number of variables = 5.469 c number of literals / number of clauses = 2.109 7,45 c number of clauses = 13283 c number of clauses / number of variables = 6.016 c number of literals / number of clauses = 2.259 7,78 c number of clauses = 19299 c number of clauses / number of variables = 6.932 c number of literals / number of clauses = 2.439 7,8546 c number of clauses = 18519 c number of clauses / number of variables = 6.430 c number of literals / number of clauses = 2.342 7,474 c number of clauses = 17246 c number of clauses / number of variables = 6.416 c number of literals / number of clauses = 2.338 7,188 c number of clauses = 19317 c number of clauses / number of variables = 6.491 c number of literals / number of clauses = 2.354 7,7899 c number of clauses = 18983 c number of clauses / number of variables = 6.819 c number of literals / number of clauses = 2.417 7,9 c number of clauses = 17715 c number of clauses / number of variables = 6.151 c number of literals / number of clauses = 2.284 7,774 c number of clauses = 22359 c number of clauses / number of variables = 7.058 c number of literals / number of clauses = 2.454 8,3455 c number of clauses = 15949 c number of clauses / number of variables = 5.907 c number of literals / number of clauses = 2.077 8,12 c number of clauses = 18780 c number of clauses / number of variables = 6.440 c number of literals / number of clauses = 2.211 8,45 c number of clauses = 16146 c number of clauses / number of variables = 6.500 c number of literals / number of clauses = 2.230 8,78 c number of clauses = 22594 c number of clauses / number of variables = 7.214 c number of literals / number of clauses = 2.365 8,8546 c number of clauses = 23132 c number of clauses / number of variables = 7.140 c number of literals / number of clauses = 2.352 8,474 c number of clauses = 22148 c number of clauses / number of variables = 7.324 c number of literals / number of clauses = 2.384 8,188 c number of clauses = 24084 c number of clauses / number of variables = 7.194 c number of literals / number of clauses = 2.360 8,7899 c number of clauses = 22900 c number of clauses / number of variables = 7.312 c number of literals / number of clauses = 2.381 8,9 c number of clauses = 21626 c number of clauses / number of variables = 6.675 c number of literals / number of clauses = 2.262 8,774 c number of clauses = 27004 c number of clauses / number of variables = 7.577 c number of literals / number of clauses = 2.423 9,3455 c number of clauses = 19878 c number of clauses / number of variables = 6.626 c number of literals / number of clauses = 2.121 9,12 c number of clauses = 22645 c number of clauses / number of variables = 6.989 c number of literals / number of clauses = 2.201 9,45 c number of clauses = 19209 c number of clauses / number of variables = 6.960 c number of literals / number of clauses = 2.199 9,78 c number of clauses = 27619 c number of clauses / number of variables = 7.936 c number of literals / number of clauses = 2.375 9,8546 c number of clauses = 26947 c number of clauses / number of variables = 7.485 c number of literals / number of clauses = 2.296 9,474 c number of clauses = 26099 c number of clauses / number of variables = 7.768 c number of literals / number of clauses = 2.345 9,188 c number of clauses = 28175 c number of clauses / number of variables = 7.574 c number of literals / number of clauses = 2.311 9,7899 c number of clauses = 27123 c number of clauses / number of variables = 7.794 c number of literals / number of clauses = 2.349 9,9 c number of clauses = 26179 c number of clauses / number of variables = 7.272 c number of literals / number of clauses = 2.258 9,774 c number of clauses = 32015 c number of clauses / number of variables = 8.085 c number of literals / number of clauses = 2.394 10,3455 c number of clauses = 23587 c number of clauses / number of variables = 7.148 c number of literals / number of clauses = 2.114 10,12 c number of clauses = 27508 c number of clauses / number of variables = 7.718 c number of literals / number of clauses = 2.229 10,45 c number of clauses = 22674 c number of clauses / number of variables = 7.468 c number of literals / number of clauses = 2.184 10,78 c number of clauses = 31198 c number of clauses / number of variables = 8.150 c number of literals / number of clauses = 2.301 10,8546 c number of clauses = 32454 c number of clauses / number of variables = 8.195 c number of literals / number of clauses = 2.311 10,474 c number of clauses = 29803 c number of clauses / number of variables = 8.064 c number of literals / number of clauses = 2.287 10,188 c number of clauses = 33270 c number of clauses / number of variables = 8.130 c number of literals / number of clauses = 2.298 10,7899 c number of clauses = 32106 c number of clauses / number of variables = 8.387 c number of literals / number of clauses = 2.339 10,9 c number of clauses = 30744 c number of clauses / number of variables = 7.764 c number of literals / number of clauses = 2.236 10,774 c number of clauses = 37212 c number of clauses / number of variables = 8.543 c number of literals / number of clauses = 2.361 11,3455 c number of clauses = 28201 c number of clauses / number of variables = 7.834 c number of literals / number of clauses = 2.141 11,12 c number of clauses = 29952 c number of clauses / number of variables = 7.704 c number of literals / number of clauses = 2.112 11,45 c number of clauses = 26967 c number of clauses / number of variables = 8.142 c number of literals / number of clauses = 2.202 11,78 c number of clauses = 37637 c number of clauses / number of variables = 9.013 c number of literals / number of clauses = 2.338 11,8546 c number of clauses = 37551 c number of clauses / number of variables = 8.692 c number of literals / number of clauses = 2.290 11,474 c number of clauses = 33420 c number of clauses / number of variables = 8.289 c number of literals / number of clauses = 2.220 11,188 c number of clauses = 37701 c number of clauses / number of variables = 8.446 c number of literals / number of clauses = 2.247 11,7899 c number of clauses = 36991 c number of clauses / number of variables = 8.858 c number of literals / number of clauses = 2.313 11,9 c number of clauses = 35315 c number of clauses / number of variables = 8.175 c number of literals / number of clauses = 2.203 11,774 c number of clauses = 43513 c number of clauses / number of variables = 9.157 c number of literals / number of clauses = 2.355 12,3455 c number of clauses = 32708 c number of clauses / number of variables = 8.387 c number of literals / number of clauses = 2.140 12,12 c number of clauses = 35396 c number of clauses / number of variables = 8.404 c number of literals / number of clauses = 2.141 12,45 c number of clauses = 30538 c number of clauses / number of variables = 8.511 c number of literals / number of clauses = 2.165 12,78 c number of clauses = 42100 c number of clauses / number of variables = 9.306 c number of literals / number of clauses = 2.288 12,8546 c number of clauses = 43516 c number of clauses / number of variables = 9.298 c number of literals / number of clauses = 2.288 12,474 c number of clauses = 40043 c number of clauses / number of variables = 9.167 c number of literals / number of clauses = 2.267 12,188 c number of clauses = 44470 c number of clauses / number of variables = 9.196 c number of literals / number of clauses = 2.271 12,7899 c number of clauses = 43774 c number of clauses / number of variables = 9.676 c number of literals / number of clauses = 2.340 12,9 c number of clauses = 41152 c number of clauses / number of variables = 8.793 c number of literals / number of clauses = 2.209 12,774 c number of clauses = 49826 c number of clauses / number of variables = 9.679 c number of literals / number of clauses = 2.338 13,3455 c number of clauses = 36750 c number of clauses / number of variables = 8.750 c number of literals / number of clauses = 2.105 13,12 c number of clauses = 41312 c number of clauses / number of variables = 9.108 c number of literals / number of clauses = 2.167 13,45 c number of clauses = 35025 c number of clauses / number of variables = 9.064 c number of literals / number of clauses = 2.163 13,78 c number of clauses = 47797 c number of clauses / number of variables = 9.811 c number of literals / number of clauses = 2.272 13,8546 c number of clauses = 48519 c number of clauses / number of variables = 9.627 c number of literals / number of clauses = 2.246 13,474 c number of clauses = 45376 c number of clauses / number of variables = 9.646 c number of literals / number of clauses = 2.248 13,188 c number of clauses = 50631 c number of clauses / number of variables = 9.722 c number of literals / number of clauses = 2.258 13,7899 c number of clauses = 48859 c number of clauses / number of variables = 10.029 c number of literals / number of clauses = 2.301 13,9 c number of clauses = 46135 c number of clauses / number of variables = 9.154 c number of literals / number of clauses = 2.174 13,774 c number of clauses = 55925 c number of clauses / number of variables = 10.087 c number of literals / number of clauses = 2.307 14,3455 c number of clauses = 41130 c number of clauses / number of variables = 9.140 c number of literals / number of clauses = 2.078 14,12 c number of clauses = 46280 c number of clauses / number of variables = 9.523 c number of literals / number of clauses = 2.143 14,45 c number of clauses = 39926 c number of clauses / number of variables = 9.644 c number of literals / number of clauses = 2.166 14,78 c number of clauses = 54716 c number of clauses / number of variables = 10.482 c number of literals / number of clauses = 2.281 14,8546 c number of clauses = 54658 c number of clauses / number of variables = 10.122 c number of literals / number of clauses = 2.232 14,474 c number of clauses = 53008 c number of clauses / number of variables = 10.517 c number of literals / number of clauses = 2.285 14,188 c number of clauses = 57694 c number of clauses / number of variables = 10.339 c number of literals / number of clauses = 2.261 14,7899 c number of clauses = 55406 c number of clauses / number of variables = 10.614 c number of literals / number of clauses = 2.297 14,9 c number of clauses = 52616 c number of clauses / number of variables = 9.744 c number of literals / number of clauses = 2.177 14,774 c number of clauses = 63206 c number of clauses / number of variables = 10.641 c number of literals / number of clauses = 2.298 15,3455 c number of clauses = 47243 c number of clauses / number of variables = 9.842 c number of literals / number of clauses = 2.107 15,12 c number of clauses = 52213 c number of clauses / number of variables = 10.072 c number of literals / number of clauses = 2.142 15,45 c number of clauses = 44389 c number of clauses / number of variables = 10.052 c number of literals / number of clauses = 2.142 15,78 c number of clauses = 60761 c number of clauses / number of variables = 10.913 c number of literals / number of clauses = 2.258 15,8546 c number of clauses = 61121 c number of clauses / number of variables = 10.611 c number of literals / number of clauses = 2.218 15,474 c number of clauses = 58518 c number of clauses / number of variables = 10.885 c number of literals / number of clauses = 2.254 15,188 c number of clauses = 64073 c number of clauses / number of variables = 10.765 c number of literals / number of clauses = 2.238 15,7899 c number of clauses = 61999 c number of clauses / number of variables = 11.135 c number of literals / number of clauses = 2.285 15,9 c number of clauses = 58819 c number of clauses / number of variables = 10.212 c number of literals / number of clauses = 2.162 15,774 c number of clauses = 70611 c number of clauses / number of variables = 11.144 c number of literals / number of clauses = 2.284 16,3455 c number of clauses = 52698 c number of clauses / number of variables = 10.333 c number of literals / number of clauses = 2.099 16,12 c number of clauses = 57419 c number of clauses / number of variables = 10.425 c number of literals / number of clauses = 2.112 16,45 c number of clauses = 50258 c number of clauses / number of variables = 10.711 c number of literals / number of clauses = 2.157 16,78 c number of clauses = 67068 c number of clauses / number of variables = 11.337 c number of literals / number of clauses = 2.236 16,8546 c number of clauses = 68460 c number of clauses / number of variables = 11.186 c number of literals / number of clauses = 2.217 16,474 c number of clauses = 63001 c number of clauses / number of variables = 11.030 c number of literals / number of clauses = 2.195 16,188 c number of clauses = 71462 c number of clauses / number of variables = 11.300 c number of literals / number of clauses = 2.231 16,7899 c number of clauses = 68948 c number of clauses / number of variables = 11.654 c number of literals / number of clauses = 2.274 16,9 c number of clauses = 66126 c number of clauses / number of variables = 10.805 c number of literals / number of clauses = 2.167 16,774 c number of clauses = 77708 c number of clauses / number of variables = 11.543 c number of literals / number of clauses = 2.258 17,3455 c number of clauses = 58919 c number of clauses / number of variables = 10.911 c number of literals / number of clauses = 2.105 17,12 c number of clauses = 64789 c number of clauses / number of variables = 11.109 c number of literals / number of clauses = 2.132 17,45 c number of clauses = 55453 c number of clauses / number of variables = 11.162 c number of literals / number of clauses = 2.143 17,78 c number of clauses = 74451 c number of clauses / number of variables = 11.886 c number of literals / number of clauses = 2.231 17,8546 c number of clauses = 76221 c number of clauses / number of variables = 11.762 c number of literals / number of clauses = 2.217 17,474 c number of clauses = 70517 c number of clauses / number of variables = 11.660 c number of literals / number of clauses = 2.203 17,188 c number of clauses = 78395 c number of clauses / number of variables = 11.708 c number of literals / number of clauses = 2.209 17,7899 c number of clauses = 76311 c number of clauses / number of variables = 12.182 c number of literals / number of clauses = 2.265 17,9 c number of clauses = 73459 c number of clauses / number of variables = 11.336 c number of literals / number of clauses = 2.163 17,774 c number of clauses = 85409 c number of clauses / number of variables = 11.982 c number of literals / number of clauses = 2.240 18,3455 c number of clauses = 65929 c number of clauses / number of variables = 11.566 c number of literals / number of clauses = 2.121 18,12 c number of clauses = 71960 c number of clauses / number of variables = 11.689 c number of literals / number of clauses = 2.137 18,45 c number of clauses = 61028 c number of clauses / number of variables = 11.638 c number of literals / number of clauses = 2.132 18,78 c number of clauses = 82528 c number of clauses / number of variables = 12.482 c number of literals / number of clauses = 2.232 18,8546 c number of clauses = 83604 c number of clauses / number of variables = 12.223 c number of literals / number of clauses = 2.203 18,474 c number of clauses = 77962 c number of clauses / number of variables = 12.212 c number of literals / number of clauses = 2.200 18,188 c number of clauses = 86080 c number of clauses / number of variables = 12.179 c number of literals / number of clauses = 2.196 18,7899 c number of clauses = 83452 c number of clauses / number of variables = 12.621 c number of literals / number of clauses = 2.247 18,9 c number of clauses = 80784 c number of clauses / number of variables = 11.811 c number of literals / number of clauses = 2.152 18,774 c number of clauses = 94732 c number of clauses / number of variables = 12.591 c number of literals / number of clauses = 2.242