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 = 576 Produced CNF clauses = 257 Search steps = 0 Wall clock TIME (seconds) = 0.004 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 = 502 Produced CNF clauses = 272 Search steps = 0 Wall clock TIME (seconds) = 0.004 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 = 313 Produced CNF clauses = 312 Search steps = 0 Wall clock TIME (seconds) = 0.003 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 = 550 Produced CNF clauses = 265 Search steps = 0 Wall clock TIME (seconds) = 0.004 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 = 702 Produced CNF clauses = 234 Search steps = 0 Wall clock TIME (seconds) = 0.005 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 = 839 Produced CNF clauses = 208 Search steps = 0 Wall clock TIME (seconds) = 0.006 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 = 930 Produced CNF clauses = 187 Search steps = 0 Wall clock TIME (seconds) = 0.006 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 = 883 Produced CNF clauses = 206 Search steps = 0 Wall clock TIME (seconds) = 0.006 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 = 703 Produced CNF clauses = 231 Search steps = 0 Wall clock TIME (seconds) = 0.005 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 = 1016 Produced CNF clauses = 567 Search steps = 0 Wall clock TIME (seconds) = 0.008 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 = 1489 Produced CNF clauses = 492 Search steps = 0 Wall clock TIME (seconds) = 0.009 CPU/machine TIME (seconds) = 0.000 ] ] 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 = 1601 Produced CNF clauses = 465 Search steps = 0 Wall clock TIME (seconds) = 0.009 CPU/machine TIME (seconds) = 0.000 ] ] 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 = 1206 Produced CNF clauses = 553 Search steps = 0 Wall clock TIME (seconds) = 0.007 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 = 1593 Produced CNF clauses = 478 Search steps = 0 Wall clock TIME (seconds) = 0.010 CPU/machine TIME (seconds) = 0.000 ] ] 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 = 1814 Produced CNF clauses = 429 Search steps = 0 Wall clock TIME (seconds) = 0.011 CPU/machine TIME (seconds) = 0.000 ] ] 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 = 1769 Produced CNF clauses = 449 Search steps = 0 Wall clock TIME (seconds) = 0.010 CPU/machine TIME (seconds) = 0.000 ] ] 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 = 2073 Produced CNF clauses = 382 Search steps = 0 Wall clock TIME (seconds) = 0.012 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 = 1820 Produced CNF clauses = 442 Search steps = 0 Wall clock TIME (seconds) = 0.011 CPU/machine TIME (seconds) = 0.000 ] ] 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 = 1603 Produced CNF clauses = 467 Search steps = 0 Wall clock TIME (seconds) = 0.009 CPU/machine TIME (seconds) = 0.000 ] ] 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 = 2267 Produced CNF clauses = 1141 Search steps = 0 Wall clock TIME (seconds) = 0.016 CPU/machine TIME (seconds) = 0.010 ] ] 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 = 2331 Produced CNF clauses = 786 Search steps = 0 Wall clock TIME (seconds) = 0.012 CPU/machine TIME (seconds) = 0.000 ] ] 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 = 2175 Produced CNF clauses = 820 Search steps = 0 Wall clock TIME (seconds) = 0.012 CPU/machine TIME (seconds) = 0.000 ] ] 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 = 1933 Produced CNF clauses = 876 Search steps = 0 Wall clock TIME (seconds) = 0.011 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 = 2817 Produced CNF clauses = 701 Search steps = 0 Wall clock TIME (seconds) = 0.015 CPU/machine TIME (seconds) = 0.010 ] ] 8546 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=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 = 2864 Produced CNF clauses = 682 Search steps = 0 Wall clock TIME (seconds) = 0.015 CPU/machine TIME (seconds) = 0.010 ] ] 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 = 2210 Produced CNF clauses = 830 Search steps = 0 Wall clock TIME (seconds) = 0.012 CPU/machine TIME (seconds) = 0.010 ] ] 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 = 2859 Produced CNF clauses = 689 Search steps = 0 Wall clock TIME (seconds) = 0.016 CPU/machine TIME (seconds) = 0.010 ] ] 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 = 3161 Produced CNF clauses = 639 Search steps = 0 Wall clock TIME (seconds) = 0.017 CPU/machine TIME (seconds) = 0.010 ] ] 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 = 2676 Produced CNF clauses = 713 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=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 = 3698 Produced CNF clauses = 1735 Search steps = 0 Wall clock TIME (seconds) = 0.024 CPU/machine TIME (seconds) = 0.020 ] ] 3455 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=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 = 2702 Produced CNF clauses = 1242 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=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 = 3403 Produced CNF clauses = 1083 Search steps = 0 Wall clock TIME (seconds) = 0.017 CPU/machine TIME (seconds) = 0.010 ] ] 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 = 3077 Produced CNF clauses = 1163 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=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 = 4373 Produced CNF clauses = 909 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=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 = 4376 Produced CNF clauses = 892 Search steps = 0 Wall clock TIME (seconds) = 0.022 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 = 4092 Produced CNF clauses = 963 Search steps = 0 Wall clock TIME (seconds) = 0.021 CPU/machine TIME (seconds) = 0.010 ] ] 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 = 4716 Produced CNF clauses = 837 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=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 = 4549 Produced CNF clauses = 880 Search steps = 0 Wall clock TIME (seconds) = 0.024 CPU/machine TIME (seconds) = 0.020 ] ] 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 = 4142 Produced CNF clauses = 933 Search steps = 0 Wall clock TIME (seconds) = 0.021 CPU/machine TIME (seconds) = 0.010 ] ] 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 = 5845 Produced CNF clauses = 2246 Search steps = 0 Wall clock TIME (seconds) = 0.036 CPU/machine TIME (seconds) = 0.030 ] ] 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 = 4066 Produced CNF clauses = 1523 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=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 = 4582 Produced CNF clauses = 1406 Search steps = 0 Wall clock TIME (seconds) = 0.021 CPU/machine TIME (seconds) = 0.010 ] ] 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 = 4991 Produced CNF clauses = 1323 Search steps = 0 Wall clock TIME (seconds) = 0.024 CPU/machine TIME (seconds) = 0.020 ] ] 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 = 6326 Produced CNF clauses = 1078 Search steps = 0 Wall clock TIME (seconds) = 0.031 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 = 6153 Produced CNF clauses = 1090 Search steps = 0 Wall clock TIME (seconds) = 0.030 CPU/machine TIME (seconds) = 0.020 ] ] 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 = 5361 Produced CNF clauses = 1271 Search steps = 0 Wall clock TIME (seconds) = 0.026 CPU/machine TIME (seconds) = 0.020 ] ] 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 = 5759 Produced CNF clauses = 1186 Search steps = 0 Wall clock TIME (seconds) = 0.028 CPU/machine TIME (seconds) = 0.020 ] ] 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 = 6156 Produced CNF clauses = 1119 Search steps = 0 Wall clock TIME (seconds) = 0.030 CPU/machine TIME (seconds) = 0.020 ] ] 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 = 5495 Produced CNF clauses = 1217 Search steps = 0 Wall clock TIME (seconds) = 0.027 CPU/machine TIME (seconds) = 0.020 ] ] 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 = 7655 Produced CNF clauses = 2869 Search steps = 0 Wall clock TIME (seconds) = 0.044 CPU/machine TIME (seconds) = 0.040 ] ] 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 = 6100 Produced CNF clauses = 1707 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=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 = 5976 Produced CNF clauses = 1733 Search steps = 0 Wall clock TIME (seconds) = 0.027 CPU/machine TIME (seconds) = 0.020 ] ] 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 = 6609 Produced CNF clauses = 1600 Search steps = 0 Wall clock TIME (seconds) = 0.030 CPU/machine TIME (seconds) = 0.020 ] ] 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 = 8572 Produced CNF clauses = 1232 Search steps = 0 Wall clock TIME (seconds) = 0.041 CPU/machine TIME (seconds) = 0.040 ] ] 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 = 8330 Produced CNF clauses = 1259 Search steps = 0 Wall clock TIME (seconds) = 0.040 CPU/machine TIME (seconds) = 0.040 ] ] 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 = 7907 Produced CNF clauses = 1374 Search steps = 0 Wall clock TIME (seconds) = 0.037 CPU/machine TIME (seconds) = 0.030 ] ] 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 = 8025 Produced CNF clauses = 1332 Search steps = 0 Wall clock TIME (seconds) = 0.038 CPU/machine TIME (seconds) = 0.020 ] ] 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 = 8587 Produced CNF clauses = 1249 Search steps = 0 Wall clock TIME (seconds) = 0.041 CPU/machine TIME (seconds) = 0.030 ] ] 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 = 7287 Produced CNF clauses = 1450 Search steps = 0 Wall clock TIME (seconds) = 0.034 CPU/machine TIME (seconds) = 0.030 ] ] 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 = 10280 Produced CNF clauses = 3396 Search steps = 0 Wall clock TIME (seconds) = 0.057 CPU/machine TIME (seconds) = 0.050 ] ] 3455 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=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 = 7438 Produced CNF clauses = 2103 Search steps = 0 Wall clock TIME (seconds) = 0.031 CPU/machine TIME (seconds) = 0.020 ] ] 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 = 7407 Produced CNF clauses = 2106 Search steps = 0 Wall clock TIME (seconds) = 0.031 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 = 8236 Produced CNF clauses = 1931 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=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 = 10858 Produced CNF clauses = 1431 Search steps = 0 Wall clock TIME (seconds) = 0.051 CPU/machine TIME (seconds) = 0.040 ] ] 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 = 9889 Produced CNF clauses = 1605 Search steps = 0 Wall clock TIME (seconds) = 0.045 CPU/machine TIME (seconds) = 0.030 ] ] 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 = 9494 Produced CNF clauses = 1715 Search steps = 0 Wall clock TIME (seconds) = 0.043 CPU/machine TIME (seconds) = 0.030 ] ] 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 = 10143 Produced CNF clauses = 1562 Search steps = 0 Wall clock TIME (seconds) = 0.046 CPU/machine TIME (seconds) = 0.040 ] ] 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 = 10554 Produced CNF clauses = 1504 Search steps = 0 Wall clock TIME (seconds) = 0.049 CPU/machine TIME (seconds) = 0.040 ] ] 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 = 9293 Produced CNF clauses = 1702 Search steps = 0 Wall clock TIME (seconds) = 0.042 CPU/machine TIME (seconds) = 0.040 ] ] 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 = 12798 Produced CNF clauses = 3991 Search steps = 0 Wall clock TIME (seconds) = 0.069 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 = 8993 Produced CNF clauses = 2504 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=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 = 10523 Produced CNF clauses = 2159 Search steps = 0 Wall clock TIME (seconds) = 0.044 CPU/machine TIME (seconds) = 0.040 ] ] 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 = 10253 Produced CNF clauses = 2212 Search steps = 0 Wall clock TIME (seconds) = 0.043 CPU/machine TIME (seconds) = 0.040 ] ] 78 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=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 = 12617 Produced CNF clauses = 1778 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=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 = 12686 Produced CNF clauses = 1734 Search steps = 0 Wall clock TIME (seconds) = 0.056 CPU/machine TIME (seconds) = 0.050 ] ] 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 = 12706 Produced CNF clauses = 1766 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=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 = 12920 Produced CNF clauses = 1711 Search steps = 0 Wall clock TIME (seconds) = 0.057 CPU/machine TIME (seconds) = 0.050 ] ] 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 = 12850 Produced CNF clauses = 1738 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=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 = 11485 Produced CNF clauses = 1958 Search steps = 0 Wall clock TIME (seconds) = 0.050 CPU/machine TIME (seconds) = 0.040 ] ] 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 = 15634 Produced CNF clauses = 4576 Search steps = 0 Wall clock TIME (seconds) = 0.080 CPU/machine TIME (seconds) = 0.070 ] ] 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 = 11687 Produced CNF clauses = 2696 Search steps = 0 Wall clock TIME (seconds) = 0.046 CPU/machine TIME (seconds) = 0.040 ] ] 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 = 12915 Produced CNF clauses = 2423 Search steps = 0 Wall clock TIME (seconds) = 0.053 CPU/machine TIME (seconds) = 0.050 ] ] 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 = 12354 Produced CNF clauses = 2547 Search steps = 0 Wall clock TIME (seconds) = 0.050 CPU/machine TIME (seconds) = 0.040 ] ] 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 = 15763 Produced CNF clauses = 1892 Search steps = 0 Wall clock TIME (seconds) = 0.069 CPU/machine TIME (seconds) = 0.060 ] ] 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 = 14728 Produced CNF clauses = 2066 Search steps = 0 Wall clock TIME (seconds) = 0.063 CPU/machine TIME (seconds) = 0.060 ] ] 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 = 15044 Produced CNF clauses = 2047 Search steps = 0 Wall clock TIME (seconds) = 0.065 CPU/machine TIME (seconds) = 0.060 ] ] 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 = 15125 Produced CNF clauses = 1999 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=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 = 15293 Produced CNF clauses = 2003 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=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 = 14166 Produced CNF clauses = 2155 Search steps = 0 Wall clock TIME (seconds) = 0.059 CPU/machine TIME (seconds) = 0.060 ] ] 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 = 18719 Produced CNF clauses = 5167 Search steps = 0 Wall clock TIME (seconds) = 0.093 CPU/machine TIME (seconds) = 0.080 ] ] 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 = 14184 Produced CNF clauses = 2972 Search steps = 0 Wall clock TIME (seconds) = 0.056 CPU/machine TIME (seconds) = 0.040 ] ] 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 = 16140 Produced CNF clauses = 2554 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=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 = 14844 Produced CNF clauses = 2834 Search steps = 0 Wall clock TIME (seconds) = 0.059 CPU/machine TIME (seconds) = 0.050 ] ] 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 = 17638 Produced CNF clauses = 2308 Search steps = 0 Wall clock TIME (seconds) = 0.075 CPU/machine TIME (seconds) = 0.070 ] ] 8546 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=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 = 18128 Produced CNF clauses = 2167 Search steps = 0 Wall clock TIME (seconds) = 0.076 CPU/machine TIME (seconds) = 0.070 ] ] 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 = 17124 Produced CNF clauses = 2426 Search steps = 0 Wall clock TIME (seconds) = 0.071 CPU/machine TIME (seconds) = 0.060 ] ] 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 = 18030 Produced CNF clauses = 2210 Search steps = 0 Wall clock TIME (seconds) = 0.077 CPU/machine TIME (seconds) = 0.060 ] ] 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 = 18350 Produced CNF clauses = 2179 Search steps = 0 Wall clock TIME (seconds) = 0.078 CPU/machine TIME (seconds) = 0.070 ] ] 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 = 16743 Produced CNF clauses = 2432 Search steps = 0 Wall clock TIME (seconds) = 0.070 CPU/machine TIME (seconds) = 0.060 ] ] 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 = 21895 Produced CNF clauses = 5798 Search steps = 0 Wall clock TIME (seconds) = 0.106 CPU/machine TIME (seconds) = 0.100 ] ] 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 = 17340 Produced CNF clauses = 3184 Search steps = 0 Wall clock TIME (seconds) = 0.067 CPU/machine TIME (seconds) = 0.060 ] ] 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 = 17186 Produced CNF clauses = 3203 Search steps = 0 Wall clock TIME (seconds) = 0.066 CPU/machine TIME (seconds) = 0.060 ] ] 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 = 18074 Produced CNF clauses = 3004 Search steps = 0 Wall clock TIME (seconds) = 0.070 CPU/machine TIME (seconds) = 0.060 ] ] 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 = 21849 Produced CNF clauses = 2299 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=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 = 21087 Produced CNF clauses = 2411 Search steps = 0 Wall clock TIME (seconds) = 0.090 CPU/machine TIME (seconds) = 0.080 ] ] 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 = 19094 Produced CNF clauses = 2869 Search steps = 0 Wall clock TIME (seconds) = 0.077 CPU/machine TIME (seconds) = 0.060 ] ] 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 = 20321 Produced CNF clauses = 2584 Search steps = 0 Wall clock TIME (seconds) = 0.083 CPU/machine TIME (seconds) = 0.080 ] ] 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 = 21232 Produced CNF clauses = 2446 Search steps = 0 Wall clock TIME (seconds) = 0.089 CPU/machine TIME (seconds) = 0.080 ] ] 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 = 19283 Produced CNF clauses = 2754 Search steps = 0 Wall clock TIME (seconds) = 0.077 CPU/machine TIME (seconds) = 0.070 ] ] 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 = 25933 Produced CNF clauses = 6313 Search steps = 0 Wall clock TIME (seconds) = 0.122 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 = 20467 Produced CNF clauses = 3424 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=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 = 20810 Produced CNF clauses = 3348 Search steps = 0 Wall clock TIME (seconds) = 0.079 CPU/machine TIME (seconds) = 0.070 ] ] 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 = 20615 Produced CNF clauses = 3384 Search steps = 0 Wall clock TIME (seconds) = 0.078 CPU/machine TIME (seconds) = 0.070 ] ] 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 = 24348 Produced CNF clauses = 2680 Search steps = 0 Wall clock TIME (seconds) = 0.099 CPU/machine TIME (seconds) = 0.090 ] ] 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 = 24736 Produced CNF clauses = 2552 Search steps = 0 Wall clock TIME (seconds) = 0.101 CPU/machine TIME (seconds) = 0.100 ] ] 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 = 23539 Produced CNF clauses = 2858 Search steps = 0 Wall clock TIME (seconds) = 0.096 CPU/machine TIME (seconds) = 0.090 ] ] 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 = 24445 Produced CNF clauses = 2648 Search steps = 0 Wall clock TIME (seconds) = 0.100 CPU/machine TIME (seconds) = 0.100 ] ] 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 = 25635 Produced CNF clauses = 2455 Search steps = 0 Wall clock TIME (seconds) = 0.106 CPU/machine TIME (seconds) = 0.100 ] ] 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 = 22840 Produced CNF clauses = 2909 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=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 = 29935 Produced CNF clauses = 6888 Search steps = 0 Wall clock TIME (seconds) = 0.137 CPU/machine TIME (seconds) = 0.130 ] ] 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 = 23075 Produced CNF clauses = 3847 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=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 = 24804 Produced CNF clauses = 3460 Search steps = 0 Wall clock TIME (seconds) = 0.094 CPU/machine TIME (seconds) = 0.090 ] ] 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 = 23928 Produced CNF clauses = 3653 Search steps = 0 Wall clock TIME (seconds) = 0.090 CPU/machine TIME (seconds) = 0.090 ] ] 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 = 27810 Produced CNF clauses = 2916 Search steps = 0 Wall clock TIME (seconds) = 0.111 CPU/machine TIME (seconds) = 0.100 ] ] 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 = 27488 Produced CNF clauses = 2926 Search steps = 0 Wall clock TIME (seconds) = 0.110 CPU/machine TIME (seconds) = 0.100 ] ] 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 = 26844 Produced CNF clauses = 3125 Search steps = 0 Wall clock TIME (seconds) = 0.106 CPU/machine TIME (seconds) = 0.100 ] ] 188 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=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 = 27973 Produced CNF clauses = 2880 Search steps = 0 Wall clock TIME (seconds) = 0.113 CPU/machine TIME (seconds) = 0.100 ] ] 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 = 28561 Produced CNF clauses = 2806 Search steps = 0 Wall clock TIME (seconds) = 0.115 CPU/machine TIME (seconds) = 0.110 ] ] 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 = 25558 Produced CNF clauses = 3295 Search steps = 0 Wall clock TIME (seconds) = 0.099 CPU/machine TIME (seconds) = 0.100 ] ] 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 = 33718 Produced CNF clauses = 7558 Search steps = 0 Wall clock TIME (seconds) = 0.150 CPU/machine TIME (seconds) = 0.140 ] ] 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 = 25982 Produced CNF clauses = 4245 Search steps = 0 Wall clock TIME (seconds) = 0.093 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 = 27897 Produced CNF clauses = 3819 Search steps = 0 Wall clock TIME (seconds) = 0.103 CPU/machine TIME (seconds) = 0.100 ] ] 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 = 27626 Produced CNF clauses = 3879 Search steps = 0 Wall clock TIME (seconds) = 0.102 CPU/machine TIME (seconds) = 0.100 ] ] 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 = 32237 Produced CNF clauses = 3003 Search steps = 0 Wall clock TIME (seconds) = 0.128 CPU/machine TIME (seconds) = 0.120 ] ] 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 = 31120 Produced CNF clauses = 3169 Search steps = 0 Wall clock TIME (seconds) = 0.122 CPU/machine TIME (seconds) = 0.120 ] ] 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 = 31975 Produced CNF clauses = 3085 Search steps = 0 Wall clock TIME (seconds) = 0.127 CPU/machine TIME (seconds) = 0.120 ] ] 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 = 32220 Produced CNF clauses = 3000 Search steps = 0 Wall clock TIME (seconds) = 0.130 CPU/machine TIME (seconds) = 0.120 ] ] 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 = 32694 Produced CNF clauses = 2947 Search steps = 0 Wall clock TIME (seconds) = 0.130 CPU/machine TIME (seconds) = 0.120 ] ] 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 = 29493 Produced CNF clauses = 3472 Search steps = 0 Wall clock TIME (seconds) = 0.112 CPU/machine TIME (seconds) = 0.100 ] ] 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 = 38400 Produced CNF clauses = 8113 Search steps = 0 Wall clock TIME (seconds) = 0.167 CPU/machine TIME (seconds) = 0.160 ] ] 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 = 30365 Produced CNF clauses = 4379 Search steps = 0 Wall clock TIME (seconds) = 0.107 CPU/machine TIME (seconds) = 0.100 ] ] 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 = 31781 Produced CNF clauses = 4058 Search steps = 0 Wall clock TIME (seconds) = 0.116 CPU/machine TIME (seconds) = 0.110 ] ] 45 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=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 = 30903 Produced CNF clauses = 4252 Search steps = 0 Wall clock TIME (seconds) = 0.111 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 = 35873 Produced CNF clauses = 3295 Search steps = 0 Wall clock TIME (seconds) = 0.139 CPU/machine TIME (seconds) = 0.130 ] ] 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 = 34914 Produced CNF clauses = 3437 Search steps = 0 Wall clock TIME (seconds) = 0.134 CPU/machine TIME (seconds) = 0.120 ] ] 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 = 35328 Produced CNF clauses = 3434 Search steps = 0 Wall clock TIME (seconds) = 0.136 CPU/machine TIME (seconds) = 0.130 ] ] 188 ./gridgen_reLOC --x-size=6 --y-size=6 --N-robots=15 --obstacle-probability=0.2 --seed=188 --cnf-level=12 --cnf-file=grid_6x6_r15_188.cnf ================================================================ reLOC 0.09-vegas : Grid Instance Generator (C) Copyright 2011-2013 Pavel Surynek ---------------------------------------------------------------- Phase statistics (current phase = 'root_phase') [ Phase (name = 'root_phase') [ Total SAT solver calls = 0 Satisfiable SAT solver calls = 0 Unsatisfiable SAT solver calls = 0 Indeterminate SAT solver calls = 0 Move executions = 0 Produced CNF variables = 35853 Produced CNF clauses = 3278 Search steps = 0 Wall clock TIME (seconds) = 0.139 CPU/machine TIME (seconds) = 0.140 ] ] 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 = 36758 Produced CNF clauses = 3162 Search steps = 0 Wall clock TIME (seconds) = 0.144 CPU/machine TIME (seconds) = 0.130 ] ] 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 = 33101 Produced CNF clauses = 3768 Search steps = 0 Wall clock TIME (seconds) = 0.123 CPU/machine TIME (seconds) = 0.120 ] ] 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 = 43168 Produced CNF clauses = 8695 Search steps = 0 Wall clock TIME (seconds) = 0.187 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 = 34159 Produced CNF clauses = 4682 Search steps = 0 Wall clock TIME (seconds) = 0.123 CPU/machine TIME (seconds) = 0.120 ] ] 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 = 34991 Produced CNF clauses = 4486 Search steps = 0 Wall clock TIME (seconds) = 0.125 CPU/machine TIME (seconds) = 0.110 ] ] 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 = 35435 Produced CNF clauses = 4395 Search steps = 0 Wall clock TIME (seconds) = 0.129 CPU/machine TIME (seconds) = 0.120 ] ] 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 = 39664 Produced CNF clauses = 3603 Search steps = 0 Wall clock TIME (seconds) = 0.151 CPU/machine TIME (seconds) = 0.150 ] ] 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 = 39428 Produced CNF clauses = 3589 Search steps = 0 Wall clock TIME (seconds) = 0.148 CPU/machine TIME (seconds) = 0.140 ] ] 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 = 37775 Produced CNF clauses = 4010 Search steps = 0 Wall clock TIME (seconds) = 0.141 CPU/machine TIME (seconds) = 0.130 ] ] 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 = 40189 Produced CNF clauses = 3479 Search steps = 0 Wall clock TIME (seconds) = 0.154 CPU/machine TIME (seconds) = 0.150 ] ] 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 = 41060 Produced CNF clauses = 3375 Search steps = 0 Wall clock TIME (seconds) = 0.159 CPU/machine TIME (seconds) = 0.150 ] ] 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 = 37595 Produced CNF clauses = 3922 Search steps = 0 Wall clock TIME (seconds) = 0.139 CPU/machine TIME (seconds) = 0.130 ] ] 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 = 47614 Produced CNF clauses = 9400 Search steps = 0 Wall clock TIME (seconds) = 0.206 CPU/machine TIME (seconds) = 0.200 ] ] 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 = 38592 Produced CNF clauses = 4898 Search steps = 0 Wall clock TIME (seconds) = 0.135 CPU/machine TIME (seconds) = 0.130 ] ] 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 = 40044 Produced CNF clauses = 4568 Search steps = 0 Wall clock TIME (seconds) = 0.142 CPU/machine TIME (seconds) = 0.140 ] ] 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 = 39352 Produced CNF clauses = 4723 Search steps = 0 Wall clock TIME (seconds) = 0.140 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 = 44291 Produced CNF clauses = 3790 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=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 = 44189 Produced CNF clauses = 3748 Search steps = 0 Wall clock TIME (seconds) = 0.168 CPU/machine TIME (seconds) = 0.160 ] ] 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 = 42698 Produced CNF clauses = 4138 Search steps = 0 Wall clock TIME (seconds) = 0.158 CPU/machine TIME (seconds) = 0.150 ] ] 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 = 44093 Produced CNF clauses = 3804 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=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 = 45687 Produced CNF clauses = 3557 Search steps = 0 Wall clock TIME (seconds) = 0.177 CPU/machine TIME (seconds) = 0.170 ] ] 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 = 41992 Produced CNF clauses = 4156 Search steps = 0 Wall clock TIME (seconds) = 0.153 CPU/machine TIME (seconds) = 0.140 ] ] 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 = 52532 Produced CNF clauses = 10059 Search steps = 0 Wall clock TIME (seconds) = 0.217 CPU/machine TIME (seconds) = 0.210 ] ] 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 = 43701 Produced CNF clauses = 5013 Search steps = 0 Wall clock TIME (seconds) = 0.159 CPU/machine TIME (seconds) = 0.150 ] ] 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 = 44843 Produced CNF clauses = 4761 Search steps = 0 Wall clock TIME (seconds) = 0.163 CPU/machine TIME (seconds) = 0.160 ] ] 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 = 43531 Produced CNF clauses = 5061 Search steps = 0 Wall clock TIME (seconds) = 0.157 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 = 49441 Produced CNF clauses = 3917 Search steps = 0 Wall clock TIME (seconds) = 0.190 CPU/machine TIME (seconds) = 0.180 ] ] 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 = 48587 Produced CNF clauses = 4019 Search steps = 0 Wall clock TIME (seconds) = 0.187 CPU/machine TIME (seconds) = 0.180 ] ] 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 = 47511 Produced CNF clauses = 4334 Search steps = 0 Wall clock TIME (seconds) = 0.179 CPU/machine TIME (seconds) = 0.170 ] ] 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 = 48551 Produced CNF clauses = 4062 Search steps = 0 Wall clock TIME (seconds) = 0.186 CPU/machine TIME (seconds) = 0.180 ] ] 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 = 50031 Produced CNF clauses = 3853 Search steps = 0 Wall clock TIME (seconds) = 0.191 CPU/machine TIME (seconds) = 0.180 ] ] 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 = 46353 Produced CNF clauses = 4431 Search steps = 0 Wall clock TIME (seconds) = 0.173 CPU/machine TIME (seconds) = 0.160 ] ] 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 = 58669 Produced CNF clauses = 10553 Search steps = 0 Wall clock TIME (seconds) = 0.243 CPU/machine TIME (seconds) = 0.230 ] ] grid size = 6 max robots = 18 1,3455 c number of literals = 7593 c number of literals / number of clauses = 3.036 1,12 c number of literals = 6752 c number of literals / number of clauses = 3.073 1,45 c number of literals = 4657 c number of literals / number of clauses = 3.326 1,78 c number of literals = 7275 c number of literals / number of clauses = 3.012 1,8546 c number of literals = 8972 c number of literals / number of clauses = 2.938 1,474 c number of literals = 10517 c number of literals / number of clauses = 2.898 1,188 c number of literals = 11521 c number of literals / number of clauses = 2.874 1,7899 c number of literals = 10997 c number of literals / number of clauses = 2.861 1,9 c number of literals = 8986 c number of literals / number of clauses = 2.949 1,774 c number of literals = 16874 c number of literals / number of clauses = 3.062 2,3455 c number of literals = 17995 c number of literals / number of clauses = 3.022 2,12 c number of literals = 19230 c number of literals / number of clauses = 2.996 2,45 c number of literals = 14845 c number of literals / number of clauses = 3.111 2,78 c number of literals = 19105 c number of literals / number of clauses = 2.965 2,8546 c number of literals = 21573 c number of literals / number of clauses = 2.932 2,474 c number of literals = 21082 c number of literals / number of clauses = 2.928 2,188 c number of literals = 24457 c number of literals / number of clauses = 2.887 2,7899 c number of literals = 21638 c number of literals / number of clauses = 2.911 2,9 c number of literals = 19214 c number of literals / number of clauses = 2.977 2,774 c number of literals = 35140 c number of literals / number of clauses = 3.080 3,3455 c number of literals = 26637 c number of literals / number of clauses = 3.081 3,12 c number of literals = 24851 c number of literals / number of clauses = 3.099 3,45 c number of literals = 22205 c number of literals / number of clauses = 3.173 3,78 c number of literals = 31996 c number of literals / number of clauses = 2.970 3,8546 c number of literals = 32514 c number of literals / number of clauses = 2.972 3,474 c number of literals = 25208 c number of literals / number of clauses = 3.058 3,188 c number of literals = 32434 c number of literals / number of clauses = 2.961 3,7899 c number of literals = 35842 c number of literals / number of clauses = 2.927 3,9 c number of literals = 30415 c number of literals / number of clauses = 3.004 3,774 c number of literals = 54070 c number of literals / number of clauses = 3.102 4,3455 c number of literals = 29016 c number of literals / number of clauses = 3.229 4,12 c number of literals = 36838 c number of literals / number of clauses = 3.101 4,45 c number of literals = 33268 c number of literals / number of clauses = 3.162 4,78 c number of literals = 47634 c number of literals / number of clauses = 2.967 4,8546 c number of literals = 47660 c number of literals / number of clauses = 2.976 4,474 c number of literals = 44513 c number of literals / number of clauses = 2.996 4,188 c number of literals = 51431 c number of literals / number of clauses = 2.938 4,7899 c number of literals = 49599 c number of literals / number of clauses = 2.949 4,9 c number of literals = 45045 c number of literals / number of clauses = 3.001 4,774 c number of literals = 80735 c number of literals / number of clauses = 3.073 5,3455 c number of literals = 41573 c number of literals / number of clauses = 3.211 5,12 c number of literals = 47306 c number of literals / number of clauses = 3.135 5,45 c number of literals = 52008 c number of literals / number of clauses = 3.106 5,78 c number of literals = 66758 c number of literals / number of clauses = 2.963 5,8546 c number of literals = 64813 c number of literals / number of clauses = 2.983 5,474 c number of literals = 55980 c number of literals / number of clauses = 3.033 5,188 c number of literals = 60353 c number of literals / number of clauses = 2.995 5,7899 c number of literals = 64847 c number of literals / number of clauses = 2.969 5,9 c number of literals = 57448 c number of literals / number of clauses = 3.033 5,774 c number of literals = 101251 c number of literals / number of clauses = 3.106 6,3455 c number of literals = 60677 c number of literals / number of clauses = 3.156 6,12 c number of literals = 59215 c number of literals / number of clauses = 3.159 6,45 c number of literals = 66455 c number of literals / number of clauses = 3.119 6,78 c number of literals = 88200 c number of literals / number of clauses = 2.964 6,8546 c number of literals = 85475 c number of literals / number of clauses = 2.981 6,474 c number of literals = 80779 c number of literals / number of clauses = 2.994 6,188 c number of literals = 82011 c number of literals / number of clauses = 2.987 6,7899 c number of literals = 88348 c number of literals / number of clauses = 2.955 6,9 c number of literals = 73811 c number of literals / number of clauses = 3.047 6,774 c number of literals = 130802 c number of literals / number of clauses = 3.094 7,3455 c number of literals = 70993 c number of literals / number of clauses = 3.194 7,12 c number of literals = 70565 c number of literals / number of clauses = 3.189 7,45 c number of literals = 80027 c number of literals / number of clauses = 3.140 7,78 c number of literals = 109117 c number of literals / number of clauses = 2.971 7,8546 c number of literals = 98242 c number of literals / number of clauses = 3.014 7,474 c number of literals = 93871 c number of literals / number of clauses = 3.026 7,188 c number of literals = 101037 c number of literals / number of clauses = 2.997 7,7899 c number of literals = 105700 c number of literals / number of clauses = 2.978 7,9 c number of literals = 91589 c number of literals / number of clauses = 3.052 7,774 c number of literals = 157238 c number of literals / number of clauses = 3.108 8,3455 c number of literals = 82771 c number of literals / number of clauses = 3.222 8,12 c number of literals = 99850 c number of literals / number of clauses = 3.119 8,45 c number of literals = 97019 c number of literals / number of clauses = 3.152 8,78 c number of literals = 123169 c number of literals / number of clauses = 3.004 8,8546 c number of literals = 123924 c number of literals / number of clauses = 3.008 8,474 c number of literals = 124208 c number of literals / number of clauses = 3.002 8,188 c number of literals = 126473 c number of literals / number of clauses = 2.990 8,7899 c number of literals = 125772 c number of literals / number of clauses = 2.994 8,9 c number of literals = 110489 c number of literals / number of clauses = 3.062 8,774 c number of literals = 186162 c number of literals / number of clauses = 3.118 9,3455 c number of literals = 106367 c number of literals / number of clauses = 3.187 9,12 c number of literals = 120040 c number of literals / number of clauses = 3.120 9,45 c number of literals = 113961 c number of literals / number of clauses = 3.161 9,78 c number of literals = 151791 c number of literals / number of clauses = 2.997 9,8546 c number of literals = 140178 c number of literals / number of clauses = 3.035 9,474 c number of literals = 143781 c number of literals / number of clauses = 3.018 9,188 c number of literals = 144558 c number of literals / number of clauses = 3.016 9,7899 c number of literals = 146510 c number of literals / number of clauses = 3.006 9,9 c number of literals = 133907 c number of literals / number of clauses = 3.062 9,774 c number of literals = 216661 c number of literals / number of clauses = 3.127 10,3455 c number of literals = 126792 c number of literals / number of clauses = 3.189 10,12 c number of literals = 148606 c number of literals / number of clauses = 3.101 10,45 c number of literals = 134310 c number of literals / number of clauses = 3.164 10,78 c number of literals = 165210 c number of literals / number of clauses = 3.032 10,8546 c number of literals = 170681 c number of literals / number of clauses = 3.026 10,474 c number of literals = 159498 c number of literals / number of clauses = 3.046 10,188 c number of literals = 169500 c number of literals / number of clauses = 3.020 10,7899 c number of literals = 173171 c number of literals / number of clauses = 3.010 10,9 c number of literals = 155181 c number of literals / number of clauses = 3.070 10,774 c number of literals = 246647 c number of literals / number of clauses = 3.140 11,3455 c number of literals = 153610 c number of literals / number of clauses = 3.165 11,12 c number of literals = 151765 c number of literals / number of clauses = 3.168 11,45 c number of literals = 161996 c number of literals / number of clauses = 3.150 11,78 c number of literals = 203830 c number of literals / number of clauses = 3.012 11,8546 c number of literals = 195270 c number of literals / number of clauses = 3.035 11,474 c number of literals = 173021 c number of literals / number of clauses = 3.082 11,188 c number of literals = 186605 c number of literals / number of clauses = 3.047 11,7899 c number of literals = 196896 c number of literals / number of clauses = 3.021 11,9 c number of literals = 175083 c number of literals / number of clauses = 3.088 11,774 c number of literals = 286299 c number of literals / number of clauses = 3.134 12,3455 c number of literals = 179161 c number of literals / number of clauses = 3.163 12,12 c number of literals = 182866 c number of literals / number of clauses = 3.146 12,45 c number of literals = 180973 c number of literals / number of clauses = 3.167 12,78 c number of literals = 222308 c number of literals / number of clauses = 3.036 12,8546 c number of literals = 226632 c number of literals / number of clauses = 3.035 12,474 c number of literals = 213303 c number of literals / number of clauses = 3.054 12,188 c number of literals = 223263 c number of literals / number of clauses = 3.032 12,7899 c number of literals = 236690 c number of literals / number of clauses = 3.006 12,9 c number of literals = 205419 c number of literals / number of clauses = 3.083 12,774 c number of literals = 323767 c number of literals / number of clauses = 3.138 13,3455 c number of literals = 197900 c number of literals / number of clauses = 3.180 13,12 c number of literals = 217150 c number of literals / number of clauses = 3.128 13,45 c number of literals = 207633 c number of literals / number of clauses = 3.163 13,78 c number of literals = 250604 c number of literals / number of clauses = 3.043 13,8546 c number of literals = 246974 c number of literals / number of clauses = 3.056 13,474 c number of literals = 239847 c number of literals / number of clauses = 3.063 13,188 c number of literals = 252277 c number of literals / number of clauses = 3.036 13,7899 c number of literals = 258975 c number of literals / number of clauses = 3.023 13,9 c number of literals = 225375 c number of literals / number of clauses = 3.103 13,774 c number of literals = 356637 c number of literals / number of clauses = 3.153 14,3455 c number of literals = 219033 c number of literals / number of clauses = 3.193 14,12 c number of literals = 240356 c number of literals / number of clauses = 3.140 14,45 c number of literals = 237651 c number of literals / number of clauses = 3.158 14,78 c number of literals = 288744 c number of literals / number of clauses = 3.037 14,8546 c number of literals = 276207 c number of literals / number of clauses = 3.063 14,474 c number of literals = 285864 c number of literals / number of clauses = 3.040 14,188 c number of literals = 288392 c number of literals / number of clauses = 3.034 14,7899 c number of literals = 293827 c number of literals / number of clauses = 3.025 14,9 c number of literals = 258007 c number of literals / number of clauses = 3.099 14,774 c number of literals = 399653 c number of literals / number of clauses = 3.152 15,3455 c number of literals = 255746 c number of literals / number of clauses = 3.172 15,12 c number of literals = 271463 c number of literals / number of clauses = 3.138 15,45 c number of literals = 261971 c number of literals / number of clauses = 3.167 15,78 c number of literals = 317058 c number of literals / number of clauses = 3.049 15,8546 c number of literals = 306277 c number of literals / number of clauses = 3.068 15,474 c number of literals = 311014 c number of literals / number of clauses = 3.056 15,188 c number of literals = 316675 c number of literals / number of clauses = 3.047 15,7899 c number of literals = 326926 c number of literals / number of clauses = 3.030 15,9 c number of literals = 286003 c number of literals / number of clauses = 3.106 15,774 c number of literals = 442104 c number of literals / number of clauses = 3.156 16,3455 c number of literals = 284891 c number of literals / number of clauses = 3.175 16,12 c number of literals = 294047 c number of literals / number of clauses = 3.155 16,45 c number of literals = 299406 c number of literals / number of clauses = 3.156 16,78 c number of literals = 346141 c number of literals / number of clauses = 3.060 16,8546 c number of literals = 343463 c number of literals / number of clauses = 3.068 16,474 c number of literals = 325051 c number of literals / number of clauses = 3.088 16,188 c number of literals = 351848 c number of literals / number of clauses = 3.050 16,7899 c number of literals = 361725 c number of literals / number of clauses = 3.035 16,9 c number of literals = 322967 c number of literals / number of clauses = 3.102 16,774 c number of literals = 478590 c number of literals / number of clauses = 3.169 17,3455 c number of literals = 320232 c number of literals / number of clauses = 3.169 17,12 c number of literals = 336330 c number of literals / number of clauses = 3.141 17,45 c number of literals = 328971 c number of literals / number of clauses = 3.162 17,78 c number of literals = 383621 c number of literals / number of clauses = 3.061 17,8546 c number of literals = 382439 c number of literals / number of clauses = 3.067 17,474 c number of literals = 365852 c number of literals / number of clauses = 3.082 17,188 c number of literals = 381225 c number of literals / number of clauses = 3.062 17,7899 c number of literals = 399210 c number of literals / number of clauses = 3.039 17,9 c number of literals = 357864 c number of literals / number of clauses = 3.103 17,774 c number of literals = 519602 c number of literals / number of clauses = 3.179 18,3455 c number of literals = 362190 c number of literals / number of clauses = 3.158 18,12 c number of literals = 374788 c number of literals / number of clauses = 3.136 18,45 c number of literals = 360488 c number of literals / number of clauses = 3.164 18,78 c number of literals = 425994 c number of literals / number of clauses = 3.060 18,8546 c number of literals = 416390 c number of literals / number of clauses = 3.075 18,474 c number of literals = 404455 c number of literals / number of clauses = 3.083 18,188 c number of literals = 415843 c number of literals / number of clauses = 3.070 18,7899 c number of literals = 432548 c number of literals / number of clauses = 3.048 18,9 c number of literals = 391404 c number of literals / number of clauses = 3.109 18,774 c number of literals = 574970 c number of literals / number of clauses = 3.171 grid size = 6 max robots = 18 1,3455 c number of visible variables = 60 c number of hidden variables = 516 c number of propositional variables = 576 c number of clauses / number of variables = 4.342 1,12 c number of visible variables = 60 c number of hidden variables = 442 c number of propositional variables = 502 c number of clauses / number of variables = 4.376 1,45 c number of visible variables = 60 c number of hidden variables = 253 c number of propositional variables = 313 c number of clauses / number of variables = 4.473 1,78 c number of visible variables = 60 c number of hidden variables = 490 c number of propositional variables = 550 c number of clauses / number of variables = 4.391 1,8546 c number of visible variables = 60 c number of hidden variables = 642 c number of propositional variables = 702 c number of clauses / number of variables = 4.350 1,474 c number of visible variables = 60 c number of hidden variables = 779 c number of propositional variables = 839 c number of clauses / number of variables = 4.325 1,188 c number of visible variables = 60 c number of hidden variables = 870 c number of propositional variables = 930 c number of clauses / number of variables = 4.311 1,7899 c number of visible variables = 60 c number of hidden variables = 823 c number of propositional variables = 883 c number of clauses / number of variables = 4.353 1,9 c number of visible variables = 60 c number of hidden variables = 643 c number of propositional variables = 703 c number of clauses / number of variables = 4.334 1,774 c number of visible variables = 72 c number of hidden variables = 944 c number of propositional variables = 1016 c number of clauses / number of variables = 5.424 2,3455 c number of visible variables = 120 c number of hidden variables = 1369 c number of propositional variables = 1489 c number of clauses / number of variables = 3.999 2,12 c number of visible variables = 120 c number of hidden variables = 1481 c number of propositional variables = 1601 c number of clauses / number of variables = 4.009 2,45 c number of visible variables = 120 c number of hidden variables = 1086 c number of propositional variables = 1206 c number of clauses / number of variables = 3.957 2,78 c number of visible variables = 120 c number of hidden variables = 1473 c number of propositional variables = 1593 c number of clauses / number of variables = 4.045 2,8546 c number of visible variables = 120 c number of hidden variables = 1694 c number of propositional variables = 1814 c number of clauses / number of variables = 4.056 2,474 c number of visible variables = 120 c number of hidden variables = 1649 c number of propositional variables = 1769 c number of clauses / number of variables = 4.071 2,188 c number of visible variables = 120 c number of hidden variables = 1953 c number of propositional variables = 2073 c number of clauses / number of variables = 4.086 2,7899 c number of visible variables = 120 c number of hidden variables = 1700 c number of propositional variables = 1820 c number of clauses / number of variables = 4.085 2,9 c number of visible variables = 120 c number of hidden variables = 1483 c number of propositional variables = 1603 c number of clauses / number of variables = 4.027 2,774 c number of visible variables = 144 c number of hidden variables = 2123 c number of propositional variables = 2267 c number of clauses / number of variables = 5.033 3,3455 c number of visible variables = 180 c number of hidden variables = 2151 c number of propositional variables = 2331 c number of clauses / number of variables = 3.709 3,12 c number of visible variables = 180 c number of hidden variables = 1995 c number of propositional variables = 2175 c number of clauses / number of variables = 3.687 3,45 c number of visible variables = 180 c number of hidden variables = 1753 c number of propositional variables = 1933 c number of clauses / number of variables = 3.620 3,78 c number of visible variables = 180 c number of hidden variables = 2637 c number of propositional variables = 2817 c number of clauses / number of variables = 3.824 3,8546 c number of visible variables = 180 c number of hidden variables = 2684 c number of propositional variables = 2864 c number of clauses / number of variables = 3.820 3,474 c number of visible variables = 180 c number of hidden variables = 2030 c number of propositional variables = 2210 c number of clauses / number of variables = 3.730 3,188 c number of visible variables = 180 c number of hidden variables = 2679 c number of propositional variables = 2859 c number of clauses / number of variables = 3.831 3,7899 c number of visible variables = 180 c number of hidden variables = 2981 c number of propositional variables = 3161 c number of clauses / number of variables = 3.873 3,9 c number of visible variables = 180 c number of hidden variables = 2496 c number of propositional variables = 2676 c number of clauses / number of variables = 3.783 3,774 c number of visible variables = 216 c number of hidden variables = 3482 c number of propositional variables = 3698 c number of clauses / number of variables = 4.713 4,3455 c number of visible variables = 240 c number of hidden variables = 2462 c number of propositional variables = 2702 c number of clauses / number of variables = 3.326 4,12 c number of visible variables = 240 c number of hidden variables = 3163 c number of propositional variables = 3403 c number of clauses / number of variables = 3.491 4,45 c number of visible variables = 240 c number of hidden variables = 2837 c number of propositional variables = 3077 c number of clauses / number of variables = 3.419 4,78 c number of visible variables = 240 c number of hidden variables = 4133 c number of propositional variables = 4373 c number of clauses / number of variables = 3.672 4,8546 c number of visible variables = 240 c number of hidden variables = 4136 c number of propositional variables = 4376 c number of clauses / number of variables = 3.660 4,474 c number of visible variables = 240 c number of hidden variables = 3852 c number of propositional variables = 4092 c number of clauses / number of variables = 3.630 4,188 c number of visible variables = 240 c number of hidden variables = 4476 c number of propositional variables = 4716 c number of clauses / number of variables = 3.712 4,7899 c number of visible variables = 240 c number of hidden variables = 4309 c number of propositional variables = 4549 c number of clauses / number of variables = 3.698 4,9 c number of visible variables = 240 c number of hidden variables = 3902 c number of propositional variables = 4142 c number of clauses / number of variables = 3.624 4,774 c number of visible variables = 288 c number of hidden variables = 5557 c number of propositional variables = 5845 c number of clauses / number of variables = 4.495 5,3455 c number of visible variables = 300 c number of hidden variables = 3766 c number of propositional variables = 4066 c number of clauses / number of variables = 3.184 5,12 c number of visible variables = 300 c number of hidden variables = 4282 c number of propositional variables = 4582 c number of clauses / number of variables = 3.293 5,45 c number of visible variables = 300 c number of hidden variables = 4691 c number of propositional variables = 4991 c number of clauses / number of variables = 3.354 5,78 c number of visible variables = 300 c number of hidden variables = 6026 c number of propositional variables = 6326 c number of clauses / number of variables = 3.561 5,8546 c number of visible variables = 300 c number of hidden variables = 5853 c number of propositional variables = 6153 c number of clauses / number of variables = 3.531 5,474 c number of visible variables = 300 c number of hidden variables = 5061 c number of propositional variables = 5361 c number of clauses / number of variables = 3.443 5,188 c number of visible variables = 300 c number of hidden variables = 5459 c number of propositional variables = 5759 c number of clauses / number of variables = 3.500 5,7899 c number of visible variables = 300 c number of hidden variables = 5856 c number of propositional variables = 6156 c number of clauses / number of variables = 3.548 5,9 c number of visible variables = 300 c number of hidden variables = 5195 c number of propositional variables = 5495 c number of clauses / number of variables = 3.447 5,774 c number of visible variables = 360 c number of hidden variables = 7295 c number of propositional variables = 7655 c number of clauses / number of variables = 4.258 6,3455 c number of visible variables = 360 c number of hidden variables = 5740 c number of propositional variables = 6100 c number of clauses / number of variables = 3.152 6,12 c number of visible variables = 360 c number of hidden variables = 5616 c number of propositional variables = 5976 c number of clauses / number of variables = 3.137 6,45 c number of visible variables = 360 c number of hidden variables = 6249 c number of propositional variables = 6609 c number of clauses / number of variables = 3.224 6,78 c number of visible variables = 360 c number of hidden variables = 8212 c number of propositional variables = 8572 c number of clauses / number of variables = 3.472 6,8546 c number of visible variables = 360 c number of hidden variables = 7970 c number of propositional variables = 8330 c number of clauses / number of variables = 3.442 6,474 c number of visible variables = 360 c number of hidden variables = 7547 c number of propositional variables = 7907 c number of clauses / number of variables = 3.413 6,188 c number of visible variables = 360 c number of hidden variables = 7665 c number of propositional variables = 8025 c number of clauses / number of variables = 3.422 6,7899 c number of visible variables = 360 c number of hidden variables = 8227 c number of propositional variables = 8587 c number of clauses / number of variables = 3.482 6,9 c number of visible variables = 360 c number of hidden variables = 6927 c number of propositional variables = 7287 c number of clauses / number of variables = 3.324 6,774 c number of visible variables = 432 c number of hidden variables = 9848 c number of propositional variables = 10280 c number of clauses / number of variables = 4.112 7,3455 c number of visible variables = 420 c number of hidden variables = 7018 c number of propositional variables = 7438 c number of clauses / number of variables = 2.989 7,12 c number of visible variables = 420 c number of hidden variables = 6987 c number of propositional variables = 7407 c number of clauses / number of variables = 2.987 7,45 c number of visible variables = 420 c number of hidden variables = 7816 c number of propositional variables = 8236 c number of clauses / number of variables = 3.095 7,78 c number of visible variables = 420 c number of hidden variables = 10438 c number of propositional variables = 10858 c number of clauses / number of variables = 3.382 7,8546 c number of visible variables = 420 c number of hidden variables = 9469 c number of propositional variables = 9889 c number of clauses / number of variables = 3.296 7,474 c number of visible variables = 420 c number of hidden variables = 9074 c number of propositional variables = 9494 c number of clauses / number of variables = 3.267 7,188 c number of visible variables = 420 c number of hidden variables = 9723 c number of propositional variables = 10143 c number of clauses / number of variables = 3.324 7,7899 c number of visible variables = 420 c number of hidden variables = 10134 c number of propositional variables = 10554 c number of clauses / number of variables = 3.363 7,9 c number of visible variables = 420 c number of hidden variables = 8873 c number of propositional variables = 9293 c number of clauses / number of variables = 3.229 7,774 c number of visible variables = 504 c number of hidden variables = 12294 c number of propositional variables = 12798 c number of clauses / number of variables = 3.953 8,3455 c number of visible variables = 480 c number of hidden variables = 8513 c number of propositional variables = 8993 c number of clauses / number of variables = 2.857 8,12 c number of visible variables = 480 c number of hidden variables = 10043 c number of propositional variables = 10523 c number of clauses / number of variables = 3.042 8,45 c number of visible variables = 480 c number of hidden variables = 9773 c number of propositional variables = 10253 c number of clauses / number of variables = 3.002 8,78 c number of visible variables = 480 c number of hidden variables = 12137 c number of propositional variables = 12617 c number of clauses / number of variables = 3.250 8,8546 c number of visible variables = 480 c number of hidden variables = 12206 c number of propositional variables = 12686 c number of clauses / number of variables = 3.248 8,474 c number of visible variables = 480 c number of hidden variables = 12226 c number of propositional variables = 12706 c number of clauses / number of variables = 3.257 8,188 c number of visible variables = 480 c number of hidden variables = 12440 c number of propositional variables = 12920 c number of clauses / number of variables = 3.274 8,7899 c number of visible variables = 480 c number of hidden variables = 12370 c number of propositional variables = 12850 c number of clauses / number of variables = 3.269 8,9 c number of visible variables = 480 c number of hidden variables = 11005 c number of propositional variables = 11485 c number of clauses / number of variables = 3.142 8,774 c number of visible variables = 576 c number of hidden variables = 15058 c number of propositional variables = 15634 c number of clauses / number of variables = 3.819 9,3455 c number of visible variables = 540 c number of hidden variables = 11147 c number of propositional variables = 11687 c number of clauses / number of variables = 2.855 9,12 c number of visible variables = 540 c number of hidden variables = 12375 c number of propositional variables = 12915 c number of clauses / number of variables = 2.979 9,45 c number of visible variables = 540 c number of hidden variables = 11814 c number of propositional variables = 12354 c number of clauses / number of variables = 2.919 9,78 c number of visible variables = 540 c number of hidden variables = 15223 c number of propositional variables = 15763 c number of clauses / number of variables = 3.213 9,8546 c number of visible variables = 540 c number of hidden variables = 14188 c number of propositional variables = 14728 c number of clauses / number of variables = 3.136 9,474 c number of visible variables = 540 c number of hidden variables = 14504 c number of propositional variables = 15044 c number of clauses / number of variables = 3.167 9,188 c number of visible variables = 540 c number of hidden variables = 14585 c number of propositional variables = 15125 c number of clauses / number of variables = 3.169 9,7899 c number of visible variables = 540 c number of hidden variables = 14753 c number of propositional variables = 15293 c number of clauses / number of variables = 3.187 9,9 c number of visible variables = 540 c number of hidden variables = 13626 c number of propositional variables = 14166 c number of clauses / number of variables = 3.088 9,774 c number of visible variables = 648 c number of hidden variables = 18071 c number of propositional variables = 18719 c number of clauses / number of variables = 3.701 10,3455 c number of visible variables = 600 c number of hidden variables = 13584 c number of propositional variables = 14184 c number of clauses / number of variables = 2.803 10,12 c number of visible variables = 600 c number of hidden variables = 15540 c number of propositional variables = 16140 c number of clauses / number of variables = 2.969 10,45 c number of visible variables = 600 c number of hidden variables = 14244 c number of propositional variables = 14844 c number of clauses / number of variables = 2.859 10,78 c number of visible variables = 600 c number of hidden variables = 17038 c number of propositional variables = 17638 c number of clauses / number of variables = 3.089 10,8546 c number of visible variables = 600 c number of hidden variables = 17528 c number of propositional variables = 18128 c number of clauses / number of variables = 3.112 10,474 c number of visible variables = 600 c number of hidden variables = 16524 c number of propositional variables = 17124 c number of clauses / number of variables = 3.058 10,188 c number of visible variables = 600 c number of hidden variables = 17430 c number of propositional variables = 18030 c number of clauses / number of variables = 3.113 10,7899 c number of visible variables = 600 c number of hidden variables = 17750 c number of propositional variables = 18350 c number of clauses / number of variables = 3.135 10,9 c number of visible variables = 600 c number of hidden variables = 16143 c number of propositional variables = 16743 c number of clauses / number of variables = 3.019 10,774 c number of visible variables = 720 c number of hidden variables = 21175 c number of propositional variables = 21895 c number of clauses / number of variables = 3.588 11,3455 c number of visible variables = 660 c number of hidden variables = 16680 c number of propositional variables = 17340 c number of clauses / number of variables = 2.799 11,12 c number of visible variables = 660 c number of hidden variables = 16526 c number of propositional variables = 17186 c number of clauses / number of variables = 2.788 11,45 c number of visible variables = 660 c number of hidden variables = 17414 c number of propositional variables = 18074 c number of clauses / number of variables = 2.845 11,78 c number of visible variables = 660 c number of hidden variables = 21189 c number of propositional variables = 21849 c number of clauses / number of variables = 3.097 11,8546 c number of visible variables = 660 c number of hidden variables = 20427 c number of propositional variables = 21087 c number of clauses / number of variables = 3.052 11,474 c number of visible variables = 660 c number of hidden variables = 18434 c number of propositional variables = 19094 c number of clauses / number of variables = 2.941 11,188 c number of visible variables = 660 c number of hidden variables = 19661 c number of propositional variables = 20321 c number of clauses / number of variables = 3.014 11,7899 c number of visible variables = 660 c number of hidden variables = 20572 c number of propositional variables = 21232 c number of clauses / number of variables = 3.070 11,9 c number of visible variables = 660 c number of hidden variables = 18623 c number of propositional variables = 19283 c number of clauses / number of variables = 2.940 11,774 c number of visible variables = 792 c number of hidden variables = 25141 c number of propositional variables = 25933 c number of clauses / number of variables = 3.523 12,3455 c number of visible variables = 720 c number of hidden variables = 19747 c number of propositional variables = 20467 c number of clauses / number of variables = 2.768 12,12 c number of visible variables = 720 c number of hidden variables = 20090 c number of propositional variables = 20810 c number of clauses / number of variables = 2.793 12,45 c number of visible variables = 720 c number of hidden variables = 19895 c number of propositional variables = 20615 c number of clauses / number of variables = 2.772 12,78 c number of visible variables = 720 c number of hidden variables = 23628 c number of propositional variables = 24348 c number of clauses / number of variables = 3.007 12,8546 c number of visible variables = 720 c number of hidden variables = 24016 c number of propositional variables = 24736 c number of clauses / number of variables = 3.019 12,474 c number of visible variables = 720 c number of hidden variables = 22819 c number of propositional variables = 23539 c number of clauses / number of variables = 2.967 12,188 c number of visible variables = 720 c number of hidden variables = 23725 c number of propositional variables = 24445 c number of clauses / number of variables = 3.013 12,7899 c number of visible variables = 720 c number of hidden variables = 24915 c number of propositional variables = 25635 c number of clauses / number of variables = 3.072 12,9 c number of visible variables = 720 c number of hidden variables = 22120 c number of propositional variables = 22840 c number of clauses / number of variables = 2.917 12,774 c number of visible variables = 864 c number of hidden variables = 29071 c number of propositional variables = 29935 c number of clauses / number of variables = 3.447 13,3455 c number of visible variables = 780 c number of hidden variables = 22295 c number of propositional variables = 23075 c number of clauses / number of variables = 2.697 13,12 c number of visible variables = 780 c number of hidden variables = 24024 c number of propositional variables = 24804 c number of clauses / number of variables = 2.799 13,45 c number of visible variables = 780 c number of hidden variables = 23148 c number of propositional variables = 23928 c number of clauses / number of variables = 2.744 13,78 c number of visible variables = 780 c number of hidden variables = 27030 c number of propositional variables = 27810 c number of clauses / number of variables = 2.961 13,8546 c number of visible variables = 780 c number of hidden variables = 26708 c number of propositional variables = 27488 c number of clauses / number of variables = 2.940 13,474 c number of visible variables = 780 c number of hidden variables = 26064 c number of propositional variables = 26844 c number of clauses / number of variables = 2.917 13,188 c number of visible variables = 780 c number of hidden variables = 27193 c number of propositional variables = 27973 c number of clauses / number of variables = 2.971 13,7899 c number of visible variables = 780 c number of hidden variables = 27781 c number of propositional variables = 28561 c number of clauses / number of variables = 2.999 13,9 c number of visible variables = 780 c number of hidden variables = 24778 c number of propositional variables = 25558 c number of clauses / number of variables = 2.842 13,774 c number of visible variables = 936 c number of hidden variables = 32782 c number of propositional variables = 33718 c number of clauses / number of variables = 3.355 14,3455 c number of visible variables = 840 c number of hidden variables = 25142 c number of propositional variables = 25982 c number of clauses / number of variables = 2.640 14,12 c number of visible variables = 840 c number of hidden variables = 27057 c number of propositional variables = 27897 c number of clauses / number of variables = 2.744 14,45 c number of visible variables = 840 c number of hidden variables = 26786 c number of propositional variables = 27626 c number of clauses / number of variables = 2.724 14,78 c number of visible variables = 840 c number of hidden variables = 31397 c number of propositional variables = 32237 c number of clauses / number of variables = 2.949 14,8546 c number of visible variables = 840 c number of hidden variables = 30280 c number of propositional variables = 31120 c number of clauses / number of variables = 2.898 14,474 c number of visible variables = 840 c number of hidden variables = 31135 c number of propositional variables = 31975 c number of clauses / number of variables = 2.941 14,188 c number of visible variables = 840 c number of hidden variables = 31380 c number of propositional variables = 32220 c number of clauses / number of variables = 2.950 14,7899 c number of visible variables = 840 c number of hidden variables = 31854 c number of propositional variables = 32694 c number of clauses / number of variables = 2.971 14,9 c number of visible variables = 840 c number of hidden variables = 28653 c number of propositional variables = 29493 c number of clauses / number of variables = 2.823 14,774 c number of visible variables = 1008 c number of hidden variables = 37392 c number of propositional variables = 38400 c number of clauses / number of variables = 3.302 15,3455 c number of visible variables = 900 c number of hidden variables = 29465 c number of propositional variables = 30365 c number of clauses / number of variables = 2.655 15,12 c number of visible variables = 900 c number of hidden variables = 30881 c number of propositional variables = 31781 c number of clauses / number of variables = 2.722 15,45 c number of visible variables = 900 c number of hidden variables = 30003 c number of propositional variables = 30903 c number of clauses / number of variables = 2.676 15,78 c number of visible variables = 900 c number of hidden variables = 34973 c number of propositional variables = 35873 c number of clauses / number of variables = 2.899 15,8546 c number of visible variables = 900 c number of hidden variables = 34014 c number of propositional variables = 34914 c number of clauses / number of variables = 2.859 15,474 c number of visible variables = 900 c number of hidden variables = 34428 c number of propositional variables = 35328 c number of clauses / number of variables = 2.881 15,188 c number of visible variables = 900 c number of hidden variables = 34953 c number of propositional variables = 35853 c number of clauses / number of variables = 2.899 15,7899 c number of visible variables = 900 c number of hidden variables = 35858 c number of propositional variables = 36758 c number of clauses / number of variables = 2.935 15,9 c number of visible variables = 900 c number of hidden variables = 32201 c number of propositional variables = 33101 c number of clauses / number of variables = 2.782 15,774 c number of visible variables = 1080 c number of hidden variables = 42088 c number of propositional variables = 43168 c number of clauses / number of variables = 3.245 16,3455 c number of visible variables = 960 c number of hidden variables = 33199 c number of propositional variables = 34159 c number of clauses / number of variables = 2.627 16,12 c number of visible variables = 960 c number of hidden variables = 34031 c number of propositional variables = 34991 c number of clauses / number of variables = 2.664 16,45 c number of visible variables = 960 c number of hidden variables = 34475 c number of propositional variables = 35435 c number of clauses / number of variables = 2.677 16,78 c number of visible variables = 960 c number of hidden variables = 38704 c number of propositional variables = 39664 c number of clauses / number of variables = 2.852 16,8546 c number of visible variables = 960 c number of hidden variables = 38468 c number of propositional variables = 39428 c number of clauses / number of variables = 2.839 16,474 c number of visible variables = 960 c number of hidden variables = 36815 c number of propositional variables = 37775 c number of clauses / number of variables = 2.787 16,188 c number of visible variables = 960 c number of hidden variables = 39229 c number of propositional variables = 40189 c number of clauses / number of variables = 2.870 16,7899 c number of visible variables = 960 c number of hidden variables = 40100 c number of propositional variables = 41060 c number of clauses / number of variables = 2.903 16,9 c number of visible variables = 960 c number of hidden variables = 36635 c number of propositional variables = 37595 c number of clauses / number of variables = 2.769 16,774 c number of visible variables = 1152 c number of hidden variables = 46462 c number of propositional variables = 47614 c number of clauses / number of variables = 3.171 17,3455 c number of visible variables = 1020 c number of hidden variables = 37572 c number of propositional variables = 38592 c number of clauses / number of variables = 2.618 17,12 c number of visible variables = 1020 c number of hidden variables = 39024 c number of propositional variables = 40044 c number of clauses / number of variables = 2.674 17,45 c number of visible variables = 1020 c number of hidden variables = 38332 c number of propositional variables = 39352 c number of clauses / number of variables = 2.644 17,78 c number of visible variables = 1020 c number of hidden variables = 43271 c number of propositional variables = 44291 c number of clauses / number of variables = 2.829 17,8546 c number of visible variables = 1020 c number of hidden variables = 43169 c number of propositional variables = 44189 c number of clauses / number of variables = 2.822 17,474 c number of visible variables = 1020 c number of hidden variables = 41678 c number of propositional variables = 42698 c number of clauses / number of variables = 2.780 17,188 c number of visible variables = 1020 c number of hidden variables = 43073 c number of propositional variables = 44093 c number of clauses / number of variables = 2.823 17,7899 c number of visible variables = 1020 c number of hidden variables = 44667 c number of propositional variables = 45687 c number of clauses / number of variables = 2.875 17,9 c number of visible variables = 1020 c number of hidden variables = 40972 c number of propositional variables = 41992 c number of clauses / number of variables = 2.747 17,774 c number of visible variables = 1224 c number of hidden variables = 51308 c number of propositional variables = 52532 c number of clauses / number of variables = 3.112 18,3455 c number of visible variables = 1080 c number of hidden variables = 42621 c number of propositional variables = 43701 c number of clauses / number of variables = 2.625 18,12 c number of visible variables = 1080 c number of hidden variables = 43763 c number of propositional variables = 44843 c number of clauses / number of variables = 2.665 18,45 c number of visible variables = 1080 c number of hidden variables = 42451 c number of propositional variables = 43531 c number of clauses / number of variables = 2.617 18,78 c number of visible variables = 1080 c number of hidden variables = 48361 c number of propositional variables = 49441 c number of clauses / number of variables = 2.816 18,8546 c number of visible variables = 1080 c number of hidden variables = 47507 c number of propositional variables = 48587 c number of clauses / number of variables = 2.787 18,474 c number of visible variables = 1080 c number of hidden variables = 46431 c number of propositional variables = 47511 c number of clauses / number of variables = 2.761 18,188 c number of visible variables = 1080 c number of hidden variables = 47471 c number of propositional variables = 48551 c number of clauses / number of variables = 2.790 18,7899 c number of visible variables = 1080 c number of hidden variables = 48951 c number of propositional variables = 50031 c number of clauses / number of variables = 2.837 18,9 c number of visible variables = 1080 c number of hidden variables = 45273 c number of propositional variables = 46353 c number of clauses / number of variables = 2.716 18,774 c number of visible variables = 1296 c number of hidden variables = 57373 c number of propositional variables = 58669 c number of clauses / number of variables = 3.091 grid size = 6 max robots = 18 1,3455 c number of clauses = 2501 c number of clauses / number of variables = 4.342 c number of literals / number of clauses = 3.036 1,12 c number of clauses = 2197 c number of clauses / number of variables = 4.376 c number of literals / number of clauses = 3.073 1,45 c number of clauses = 1400 c number of clauses / number of variables = 4.473 c number of literals / number of clauses = 3.326 1,78 c number of clauses = 2415 c number of clauses / number of variables = 4.391 c number of literals / number of clauses = 3.012 1,8546 c number of clauses = 3054 c number of clauses / number of variables = 4.350 c number of literals / number of clauses = 2.938 1,474 c number of clauses = 3629 c number of clauses / number of variables = 4.325 c number of literals / number of clauses = 2.898 1,188 c number of clauses = 4009 c number of clauses / number of variables = 4.311 c number of literals / number of clauses = 2.874 1,7899 c number of clauses = 3844 c number of clauses / number of variables = 4.353 c number of literals / number of clauses = 2.861 1,9 c number of clauses = 3047 c number of clauses / number of variables = 4.334 c number of literals / number of clauses = 2.949 1,774 c number of clauses = 5511 c number of clauses / number of variables = 5.424 c number of literals / number of clauses = 3.062 2,3455 c number of clauses = 5955 c number of clauses / number of variables = 3.999 c number of literals / number of clauses = 3.022 2,12 c number of clauses = 6419 c number of clauses / number of variables = 4.009 c number of literals / number of clauses = 2.996 2,45 c number of clauses = 4772 c number of clauses / number of variables = 3.957 c number of literals / number of clauses = 3.111 2,78 c number of clauses = 6443 c number of clauses / number of variables = 4.045 c number of literals / number of clauses = 2.965 2,8546 c number of clauses = 7358 c number of clauses / number of variables = 4.056 c number of literals / number of clauses = 2.932 2,474 c number of clauses = 7201 c number of clauses / number of variables = 4.071 c number of literals / number of clauses = 2.928 2,188 c number of clauses = 8471 c number of clauses / number of variables = 4.086 c number of literals / number of clauses = 2.887 2,7899 c number of clauses = 7434 c number of clauses / number of variables = 4.085 c number of literals / number of clauses = 2.911 2,9 c number of clauses = 6455 c number of clauses / number of variables = 4.027 c number of literals / number of clauses = 2.977 2,774 c number of clauses = 11409 c number of clauses / number of variables = 5.033 c number of literals / number of clauses = 3.080 3,3455 c number of clauses = 8646 c number of clauses / number of variables = 3.709 c number of literals / number of clauses = 3.081 3,12 c number of clauses = 8020 c number of clauses / number of variables = 3.687 c number of literals / number of clauses = 3.099 3,45 c number of clauses = 6998 c number of clauses / number of variables = 3.620 c number of literals / number of clauses = 3.173 3,78 c number of clauses = 10772 c number of clauses / number of variables = 3.824 c number of literals / number of clauses = 2.970 3,8546 c number of clauses = 10940 c number of clauses / number of variables = 3.820 c number of literals / number of clauses = 2.972 3,474 c number of clauses = 8244 c number of clauses / number of variables = 3.730 c number of literals / number of clauses = 3.058 3,188 c number of clauses = 10952 c number of clauses / number of variables = 3.831 c number of literals / number of clauses = 2.961 3,7899 c number of clauses = 12244 c number of clauses / number of variables = 3.873 c number of literals / number of clauses = 2.927 3,9 c number of clauses = 10124 c number of clauses / number of variables = 3.783 c number of literals / number of clauses = 3.004 3,774 c number of clauses = 17429 c number of clauses / number of variables = 4.713 c number of literals / number of clauses = 3.102 4,3455 c number of clauses = 8986 c number of clauses / number of variables = 3.326 c number of literals / number of clauses = 3.229 4,12 c number of clauses = 11879 c number of clauses / number of variables = 3.491 c number of literals / number of clauses = 3.101 4,45 c number of clauses = 10521 c number of clauses / number of variables = 3.419 c number of literals / number of clauses = 3.162 4,78 c number of clauses = 16057 c number of clauses / number of variables = 3.672 c number of literals / number of clauses = 2.967 4,8546 c number of clauses = 16016 c number of clauses / number of variables = 3.660 c number of literals / number of clauses = 2.976 4,474 c number of clauses = 14856 c number of clauses / number of variables = 3.630 c number of literals / number of clauses = 2.996 4,188 c number of clauses = 17508 c number of clauses / number of variables = 3.712 c number of literals / number of clauses = 2.938 4,7899 c number of clauses = 16821 c number of clauses / number of variables = 3.698 c number of literals / number of clauses = 2.949 4,9 c number of clauses = 15010 c number of clauses / number of variables = 3.624 c number of literals / number of clauses = 3.001 4,774 c number of clauses = 26272 c number of clauses / number of variables = 4.495 c number of literals / number of clauses = 3.073 5,3455 c number of clauses = 12947 c number of clauses / number of variables = 3.184 c number of literals / number of clauses = 3.211 5,12 c number of clauses = 15089 c number of clauses / number of variables = 3.293 c number of literals / number of clauses = 3.135 5,45 c number of clauses = 16742 c number of clauses / number of variables = 3.354 c number of literals / number of clauses = 3.106 5,78 c number of clauses = 22527 c number of clauses / number of variables = 3.561 c number of literals / number of clauses = 2.963 5,8546 c number of clauses = 21725 c number of clauses / number of variables = 3.531 c number of literals / number of clauses = 2.983 5,474 c number of clauses = 18459 c number of clauses / number of variables = 3.443 c number of literals / number of clauses = 3.033 5,188 c number of clauses = 20154 c number of clauses / number of variables = 3.500 c number of literals / number of clauses = 2.995 5,7899 c number of clauses = 21841 c number of clauses / number of variables = 3.548 c number of literals / number of clauses = 2.969 5,9 c number of clauses = 18943 c number of clauses / number of variables = 3.447 c number of literals / number of clauses = 3.033 5,774 c number of clauses = 32595 c number of clauses / number of variables = 4.258 c number of literals / number of clauses = 3.106 6,3455 c number of clauses = 19226 c number of clauses / number of variables = 3.152 c number of literals / number of clauses = 3.156 6,12 c number of clauses = 18746 c number of clauses / number of variables = 3.137 c number of literals / number of clauses = 3.159 6,45 c number of clauses = 21307 c number of clauses / number of variables = 3.224 c number of literals / number of clauses = 3.119 6,78 c number of clauses = 29758 c number of clauses / number of variables = 3.472 c number of literals / number of clauses = 2.964 6,8546 c number of clauses = 28674 c number of clauses / number of variables = 3.442 c number of literals / number of clauses = 2.981 6,474 c number of clauses = 26983 c number of clauses / number of variables = 3.413 c number of literals / number of clauses = 2.994 6,188 c number of clauses = 27459 c number of clauses / number of variables = 3.422 c number of literals / number of clauses = 2.987 6,7899 c number of clauses = 29901 c number of clauses / number of variables = 3.482 c number of literals / number of clauses = 2.955 6,9 c number of clauses = 24223 c number of clauses / number of variables = 3.324 c number of literals / number of clauses = 3.047 6,774 c number of clauses = 42270 c number of clauses / number of variables = 4.112 c number of literals / number of clauses = 3.094 7,3455 c number of clauses = 22229 c number of clauses / number of variables = 2.989 c number of literals / number of clauses = 3.194 7,12 c number of clauses = 22128 c number of clauses / number of variables = 2.987 c number of literals / number of clauses = 3.189 7,45 c number of clauses = 25489 c number of clauses / number of variables = 3.095 c number of literals / number of clauses = 3.140 7,78 c number of clauses = 36725 c number of clauses / number of variables = 3.382 c number of literals / number of clauses = 2.971 7,8546 c number of clauses = 32597 c number of clauses / number of variables = 3.296 c number of literals / number of clauses = 3.014 7,474 c number of clauses = 31020 c number of clauses / number of variables = 3.267 c number of literals / number of clauses = 3.026 7,188 c number of clauses = 33716 c number of clauses / number of variables = 3.324 c number of literals / number of clauses = 2.997 7,7899 c number of clauses = 35497 c number of clauses / number of variables = 3.363 c number of literals / number of clauses = 2.978 7,9 c number of clauses = 30005 c number of clauses / number of variables = 3.229 c number of literals / number of clauses = 3.052 7,774 c number of clauses = 50585 c number of clauses / number of variables = 3.953 c number of literals / number of clauses = 3.108 8,3455 c number of clauses = 25693 c number of clauses / number of variables = 2.857 c number of literals / number of clauses = 3.222 8,12 c number of clauses = 32011 c number of clauses / number of variables = 3.042 c number of literals / number of clauses = 3.119 8,45 c number of clauses = 30777 c number of clauses / number of variables = 3.002 c number of literals / number of clauses = 3.152 8,78 c number of clauses = 41005 c number of clauses / number of variables = 3.250 c number of literals / number of clauses = 3.004 8,8546 c number of clauses = 41198 c number of clauses / number of variables = 3.248 c number of literals / number of clauses = 3.008 8,474 c number of clauses = 41378 c number of clauses / number of variables = 3.257 c number of literals / number of clauses = 3.002 8,188 c number of clauses = 42300 c number of clauses / number of variables = 3.274 c number of literals / number of clauses = 2.990 8,7899 c number of clauses = 42010 c number of clauses / number of variables = 3.269 c number of literals / number of clauses = 2.994 8,9 c number of clauses = 36089 c number of clauses / number of variables = 3.142 c number of literals / number of clauses = 3.062 8,774 c number of clauses = 59700 c number of clauses / number of variables = 3.819 c number of literals / number of clauses = 3.118 9,3455 c number of clauses = 33372 c number of clauses / number of variables = 2.855 c number of literals / number of clauses = 3.187 9,12 c number of clauses = 38474 c number of clauses / number of variables = 2.979 c number of literals / number of clauses = 3.120 9,45 c number of clauses = 36057 c number of clauses / number of variables = 2.919 c number of literals / number of clauses = 3.161 9,78 c number of clauses = 50644 c number of clauses / number of variables = 3.213 c number of literals / number of clauses = 2.997 9,8546 c number of clauses = 46192 c number of clauses / number of variables = 3.136 c number of literals / number of clauses = 3.035 9,474 c number of clauses = 47642 c number of clauses / number of variables = 3.167 c number of literals / number of clauses = 3.018 9,188 c number of clauses = 47936 c number of clauses / number of variables = 3.169 c number of literals / number of clauses = 3.016 9,7899 c number of clauses = 48738 c number of clauses / number of variables = 3.187 c number of literals / number of clauses = 3.006 9,9 c number of clauses = 43738 c number of clauses / number of variables = 3.088 c number of literals / number of clauses = 3.062 9,774 c number of clauses = 69281 c number of clauses / number of variables = 3.701 c number of literals / number of clauses = 3.127 10,3455 c number of clauses = 39758 c number of clauses / number of variables = 2.803 c number of literals / number of clauses = 3.189 10,12 c number of clauses = 47926 c number of clauses / number of variables = 2.969 c number of literals / number of clauses = 3.101 10,45 c number of clauses = 42446 c number of clauses / number of variables = 2.859 c number of literals / number of clauses = 3.164 10,78 c number of clauses = 54492 c number of clauses / number of variables = 3.089 c number of literals / number of clauses = 3.032 10,8546 c number of clauses = 56408 c number of clauses / number of variables = 3.112 c number of literals / number of clauses = 3.026 10,474 c number of clauses = 52364 c number of clauses / number of variables = 3.058 c number of literals / number of clauses = 3.046 10,188 c number of clauses = 56120 c number of clauses / number of variables = 3.113 c number of literals / number of clauses = 3.020 10,7899 c number of clauses = 57536 c number of clauses / number of variables = 3.135 c number of literals / number of clauses = 3.010 10,9 c number of clauses = 50543 c number of clauses / number of variables = 3.019 c number of literals / number of clauses = 3.070 10,774 c number of clauses = 78550 c number of clauses / number of variables = 3.588 c number of literals / number of clauses = 3.140 11,3455 c number of clauses = 48539 c number of clauses / number of variables = 2.799 c number of literals / number of clauses = 3.165 11,12 c number of clauses = 47911 c number of clauses / number of variables = 2.788 c number of literals / number of clauses = 3.168 11,45 c number of clauses = 51423 c number of clauses / number of variables = 2.845 c number of literals / number of clauses = 3.150 11,78 c number of clauses = 67676 c number of clauses / number of variables = 3.097 c number of literals / number of clauses = 3.012 11,8546 c number of clauses = 64347 c number of clauses / number of variables = 3.052 c number of literals / number of clauses = 3.035 11,474 c number of clauses = 56148 c number of clauses / number of variables = 2.941 c number of literals / number of clauses = 3.082 11,188 c number of clauses = 61242 c number of clauses / number of variables = 3.014 c number of literals / number of clauses = 3.047 11,7899 c number of clauses = 65179 c number of clauses / number of variables = 3.070 c number of literals / number of clauses = 3.021 11,9 c number of clauses = 56699 c number of clauses / number of variables = 2.940 c number of literals / number of clauses = 3.088 11,774 c number of clauses = 91353 c number of clauses / number of variables = 3.523 c number of literals / number of clauses = 3.134 12,3455 c number of clauses = 56643 c number of clauses / number of variables = 2.768 c number of literals / number of clauses = 3.163 12,12 c number of clauses = 58126 c number of clauses / number of variables = 2.793 c number of literals / number of clauses = 3.146 12,45 c number of clauses = 57151 c number of clauses / number of variables = 2.772 c number of literals / number of clauses = 3.167 12,78 c number of clauses = 73216 c number of clauses / number of variables = 3.007 c number of literals / number of clauses = 3.036 12,8546 c number of clauses = 74680 c number of clauses / number of variables = 3.019 c number of literals / number of clauses = 3.035 12,474 c number of clauses = 69847 c number of clauses / number of variables = 2.967 c number of literals / number of clauses = 3.054 12,188 c number of clauses = 73645 c number of clauses / number of variables = 3.013 c number of literals / number of clauses = 3.032 12,7899 c number of clauses = 78751 c number of clauses / number of variables = 3.072 c number of literals / number of clauses = 3.006 12,9 c number of clauses = 66628 c number of clauses / number of variables = 2.917 c number of literals / number of clauses = 3.083 12,774 c number of clauses = 103182 c number of clauses / number of variables = 3.447 c number of literals / number of clauses = 3.138 13,3455 c number of clauses = 62240 c number of clauses / number of variables = 2.697 c number of literals / number of clauses = 3.180 13,12 c number of clauses = 69415 c number of clauses / number of variables = 2.799 c number of literals / number of clauses = 3.128 13,45 c number of clauses = 65651 c number of clauses / number of variables = 2.744 c number of literals / number of clauses = 3.163 13,78 c number of clauses = 82347 c number of clauses / number of variables = 2.961 c number of literals / number of clauses = 3.043 13,8546 c number of clauses = 80816 c number of clauses / number of variables = 2.940 c number of literals / number of clauses = 3.056 13,474 c number of clauses = 78314 c number of clauses / number of variables = 2.917 c number of literals / number of clauses = 3.063 13,188 c number of clauses = 83096 c number of clauses / number of variables = 2.971 c number of literals / number of clauses = 3.036 13,7899 c number of clauses = 85662 c number of clauses / number of variables = 2.999 c number of literals / number of clauses = 3.023 13,9 c number of clauses = 72642 c number of clauses / number of variables = 2.842 c number of literals / number of clauses = 3.103 13,774 c number of clauses = 113114 c number of clauses / number of variables = 3.355 c number of literals / number of clauses = 3.153 14,3455 c number of clauses = 68588 c number of clauses / number of variables = 2.640 c number of literals / number of clauses = 3.193 14,12 c number of clauses = 76543 c number of clauses / number of variables = 2.744 c number of literals / number of clauses = 3.140 14,45 c number of clauses = 75260 c number of clauses / number of variables = 2.724 c number of literals / number of clauses = 3.158 14,78 c number of clauses = 95063 c number of clauses / number of variables = 2.949 c number of literals / number of clauses = 3.037 14,8546 c number of clauses = 90184 c number of clauses / number of variables = 2.898 c number of literals / number of clauses = 3.063 14,474 c number of clauses = 94039 c number of clauses / number of variables = 2.941 c number of literals / number of clauses = 3.040 14,188 c number of clauses = 95050 c number of clauses / number of variables = 2.950 c number of literals / number of clauses = 3.034 14,7899 c number of clauses = 97124 c number of clauses / number of variables = 2.971 c number of literals / number of clauses = 3.025 14,9 c number of clauses = 83261 c number of clauses / number of variables = 2.823 c number of literals / number of clauses = 3.099 14,774 c number of clauses = 126807 c number of clauses / number of variables = 3.302 c number of literals / number of clauses = 3.152 15,3455 c number of clauses = 80616 c number of clauses / number of variables = 2.655 c number of literals / number of clauses = 3.172 15,12 c number of clauses = 86502 c number of clauses / number of variables = 2.722 c number of literals / number of clauses = 3.138 15,45 c number of clauses = 82708 c number of clauses / number of variables = 2.676 c number of literals / number of clauses = 3.167 15,78 c number of clauses = 104000 c number of clauses / number of variables = 2.899 c number of literals / number of clauses = 3.049 15,8546 c number of clauses = 99818 c number of clauses / number of variables = 2.859 c number of literals / number of clauses = 3.068 15,474 c number of clauses = 101786 c number of clauses / number of variables = 2.881 c number of literals / number of clauses = 3.056 15,188 c number of clauses = 103922 c number of clauses / number of variables = 2.899 c number of literals / number of clauses = 3.047 15,7899 c number of clauses = 107893 c number of clauses / number of variables = 2.935 c number of literals / number of clauses = 3.030 15,9 c number of clauses = 92077 c number of clauses / number of variables = 2.782 c number of literals / number of clauses = 3.106 15,774 c number of clauses = 140093 c number of clauses / number of variables = 3.245 c number of literals / number of clauses = 3.156 16,3455 c number of clauses = 89731 c number of clauses / number of variables = 2.627 c number of literals / number of clauses = 3.175 16,12 c number of clauses = 93203 c number of clauses / number of variables = 2.664 c number of literals / number of clauses = 3.155 16,45 c number of clauses = 94867 c number of clauses / number of variables = 2.677 c number of literals / number of clauses = 3.156 16,78 c number of clauses = 113132 c number of clauses / number of variables = 2.852 c number of literals / number of clauses = 3.060 16,8546 c number of clauses = 111944 c number of clauses / number of variables = 2.839 c number of literals / number of clauses = 3.068 16,474 c number of clauses = 105267 c number of clauses / number of variables = 2.787 c number of literals / number of clauses = 3.088 16,188 c number of clauses = 115357 c number of clauses / number of variables = 2.870 c number of literals / number of clauses = 3.050 16,7899 c number of clauses = 119200 c number of clauses / number of variables = 2.903 c number of literals / number of clauses = 3.035 16,9 c number of clauses = 104111 c number of clauses / number of variables = 2.769 c number of literals / number of clauses = 3.102 16,774 c number of clauses = 151004 c number of clauses / number of variables = 3.171 c number of literals / number of clauses = 3.169 17,3455 c number of clauses = 101049 c number of clauses / number of variables = 2.618 c number of literals / number of clauses = 3.169 17,12 c number of clauses = 107091 c number of clauses / number of variables = 2.674 c number of literals / number of clauses = 3.141 17,45 c number of clauses = 104047 c number of clauses / number of variables = 2.644 c number of literals / number of clauses = 3.162 17,78 c number of clauses = 125316 c number of clauses / number of variables = 2.829 c number of literals / number of clauses = 3.061 17,8546 c number of clauses = 124689 c number of clauses / number of variables = 2.822 c number of literals / number of clauses = 3.067 17,474 c number of clauses = 118692 c number of clauses / number of variables = 2.780 c number of literals / number of clauses = 3.082 17,188 c number of clauses = 124484 c number of clauses / number of variables = 2.823 c number of literals / number of clauses = 3.062 17,7899 c number of clauses = 131364 c number of clauses / number of variables = 2.875 c number of literals / number of clauses = 3.039 17,9 c number of clauses = 115336 c number of clauses / number of variables = 2.747 c number of literals / number of clauses = 3.103 17,774 c number of clauses = 163459 c number of clauses / number of variables = 3.112 c number of literals / number of clauses = 3.179 18,3455 c number of clauses = 114699 c number of clauses / number of variables = 2.625 c number of literals / number of clauses = 3.158 18,12 c number of clauses = 119509 c number of clauses / number of variables = 2.665 c number of literals / number of clauses = 3.136 18,45 c number of clauses = 113933 c number of clauses / number of variables = 2.617 c number of literals / number of clauses = 3.164 18,78 c number of clauses = 139231 c number of clauses / number of variables = 2.816 c number of literals / number of clauses = 3.060 18,8546 c number of clauses = 135423 c number of clauses / number of variables = 2.787 c number of literals / number of clauses = 3.075 18,474 c number of clauses = 131195 c number of clauses / number of variables = 2.761 c number of literals / number of clauses = 3.083 18,188 c number of clauses = 135469 c number of clauses / number of variables = 2.790 c number of literals / number of clauses = 3.070 18,7899 c number of clauses = 141925 c number of clauses / number of variables = 2.837 c number of literals / number of clauses = 3.048 18,9 c number of clauses = 125901 c number of clauses / number of variables = 2.716 c number of literals / number of clauses = 3.109 18,774 c number of clauses = 181345 c number of clauses / number of variables = 3.091 c number of literals / number of clauses = 3.171