grid size = 4 max robots = 8 obstacles = 0.2 3455 ./gridgen_reLOC --x-size=4 --y-size=4 --N-robots=1 --obstacle-probability=0.2 --seed=3455 --cnf-level=8 --cnf-file=grid_4x4_r1_3455.cnf ================================================================ reLOC 0.09-vegas : Grid Instance Generator (C) Copyright 2011-2013 Pavel Surynek ---------------------------------------------------------------- Phase statistics (current phase = 'root_phase') [ Phase (name = 'root_phase') [ Total SAT solver calls = 0 Satisfiable SAT solver calls = 0 Unsatisfiable SAT solver calls = 0 Indeterminate SAT solver calls = 0 Move executions = 0 Produced CNF variables = 713 Produced CNF clauses = 2195 Search steps = 0 Wall clock TIME (seconds) = 0.003 CPU/machine TIME (seconds) = 0.000 ] ] 12 ./gridgen_reLOC --x-size=4 --y-size=4 --N-robots=1 --obstacle-probability=0.2 --seed=12 --cnf-level=8 --cnf-file=grid_4x4_r1_12.cnf ================================================================ reLOC 0.09-vegas : Grid Instance Generator (C) Copyright 2011-2013 Pavel Surynek ---------------------------------------------------------------- Phase statistics (current phase = 'root_phase') [ Phase (name = 'root_phase') [ Total SAT solver calls = 0 Satisfiable SAT solver calls = 0 Unsatisfiable SAT solver calls = 0 Indeterminate SAT solver calls = 0 Move executions = 0 Produced CNF variables = 708 Produced CNF clauses = 2096 Search steps = 0 Wall clock TIME (seconds) = 0.003 CPU/machine TIME (seconds) = 0.000 ] ] 45 ./gridgen_reLOC --x-size=4 --y-size=4 --N-robots=1 --obstacle-probability=0.2 --seed=45 --cnf-level=8 --cnf-file=grid_4x4_r1_45.cnf ================================================================ reLOC 0.09-vegas : Grid Instance Generator (C) Copyright 2011-2013 Pavel Surynek ---------------------------------------------------------------- Phase statistics (current phase = 'root_phase') [ Phase (name = 'root_phase') [ Total SAT solver calls = 0 Satisfiable SAT solver calls = 0 Unsatisfiable SAT solver calls = 0 Indeterminate SAT solver calls = 0 Move executions = 0 Produced CNF variables = 919 Produced CNF clauses = 3206 Search steps = 0 Wall clock TIME (seconds) = 0.004 CPU/machine TIME (seconds) = 0.000 ] ] 78 ./gridgen_reLOC --x-size=4 --y-size=4 --N-robots=1 --obstacle-probability=0.2 --seed=78 --cnf-level=8 --cnf-file=grid_4x4_r1_78.cnf ================================================================ reLOC 0.09-vegas : Grid Instance Generator (C) Copyright 2011-2013 Pavel Surynek ---------------------------------------------------------------- Phase statistics (current phase = 'root_phase') [ Phase (name = 'root_phase') [ Total SAT solver calls = 0 Satisfiable SAT solver calls = 0 Unsatisfiable SAT solver calls = 0 Indeterminate SAT solver calls = 0 Move executions = 0 Produced CNF variables = 891 Produced CNF clauses = 2870 Search steps = 0 Wall clock TIME (seconds) = 0.003 CPU/machine TIME (seconds) = 0.000 ] ] 8546 ./gridgen_reLOC --x-size=4 --y-size=4 --N-robots=1 --obstacle-probability=0.2 --seed=8546 --cnf-level=8 --cnf-file=grid_4x4_r1_8546.cnf ================================================================ reLOC 0.09-vegas : Grid Instance Generator (C) Copyright 2011-2013 Pavel Surynek ---------------------------------------------------------------- Phase statistics (current phase = 'root_phase') [ Phase (name = 'root_phase') [ Total SAT solver calls = 0 Satisfiable SAT solver calls = 0 Unsatisfiable SAT solver calls = 0 Indeterminate SAT solver calls = 0 Move executions = 0 Produced CNF variables = 788 Produced CNF clauses = 2536 Search steps = 0 Wall clock TIME (seconds) = 0.003 CPU/machine TIME (seconds) = 0.000 ] ] 474 ./gridgen_reLOC --x-size=4 --y-size=4 --N-robots=1 --obstacle-probability=0.2 --seed=474 --cnf-level=8 --cnf-file=grid_4x4_r1_474.cnf ================================================================ reLOC 0.09-vegas : Grid Instance Generator (C) Copyright 2011-2013 Pavel Surynek ---------------------------------------------------------------- Phase statistics (current phase = 'root_phase') [ Phase (name = 'root_phase') [ Total SAT solver calls = 0 Satisfiable SAT solver calls = 0 Unsatisfiable SAT solver calls = 0 Indeterminate SAT solver calls = 0 Move executions = 0 Produced CNF variables = 860 Produced CNF clauses = 2836 Search steps = 0 Wall clock TIME (seconds) = 0.003 CPU/machine TIME (seconds) = 0.000 ] ] 188 ./gridgen_reLOC --x-size=4 --y-size=4 --N-robots=1 --obstacle-probability=0.2 --seed=188 --cnf-level=8 --cnf-file=grid_4x4_r1_188.cnf ================================================================ reLOC 0.09-vegas : Grid Instance Generator (C) Copyright 2011-2013 Pavel Surynek ---------------------------------------------------------------- Phase statistics (current phase = 'root_phase') [ Phase (name = 'root_phase') [ Total SAT solver calls = 0 Satisfiable SAT solver calls = 0 Unsatisfiable SAT solver calls = 0 Indeterminate SAT solver calls = 0 Move executions = 0 Produced CNF variables = 1197 Produced CNF clauses = 4356 Search steps = 0 Wall clock TIME (seconds) = 0.005 CPU/machine TIME (seconds) = 0.000 ] ] 7899 ./gridgen_reLOC --x-size=4 --y-size=4 --N-robots=1 --obstacle-probability=0.2 --seed=7899 --cnf-level=8 --cnf-file=grid_4x4_r1_7899.cnf ================================================================ reLOC 0.09-vegas : Grid Instance Generator (C) Copyright 2011-2013 Pavel Surynek ---------------------------------------------------------------- Phase statistics (current phase = 'root_phase') [ Phase (name = 'root_phase') [ Total SAT solver calls = 0 Satisfiable SAT solver calls = 0 Unsatisfiable SAT solver calls = 0 Indeterminate SAT solver calls = 0 Move executions = 0 Produced CNF variables = 1050 Produced CNF clauses = 3607 Search steps = 0 Wall clock TIME (seconds) = 0.004 CPU/machine TIME (seconds) = 0.000 ] ] 9 ./gridgen_reLOC --x-size=4 --y-size=4 --N-robots=1 --obstacle-probability=0.2 --seed=9 --cnf-level=8 --cnf-file=grid_4x4_r1_9.cnf ================================================================ reLOC 0.09-vegas : Grid Instance Generator (C) Copyright 2011-2013 Pavel Surynek ---------------------------------------------------------------- Phase statistics (current phase = 'root_phase') [ Phase (name = 'root_phase') [ Total SAT solver calls = 0 Satisfiable SAT solver calls = 0 Unsatisfiable SAT solver calls = 0 Indeterminate SAT solver calls = 0 Move executions = 0 Produced CNF variables = 955 Produced CNF clauses = 3256 Search steps = 0 Wall clock TIME (seconds) = 0.004 CPU/machine TIME (seconds) = 0.000 ] ] 774 ./gridgen_reLOC --x-size=4 --y-size=4 --N-robots=1 --obstacle-probability=0.2 --seed=774 --cnf-level=8 --cnf-file=grid_4x4_r1_774.cnf ================================================================ reLOC 0.09-vegas : Grid Instance Generator (C) Copyright 2011-2013 Pavel Surynek ---------------------------------------------------------------- Phase statistics (current phase = 'root_phase') [ Phase (name = 'root_phase') [ Total SAT solver calls = 0 Satisfiable SAT solver calls = 0 Unsatisfiable SAT solver calls = 0 Indeterminate SAT solver calls = 0 Move executions = 0 Produced CNF variables = 1197 Produced CNF clauses = 4374 Search steps = 0 Wall clock TIME (seconds) = 0.005 CPU/machine TIME (seconds) = 0.000 ] ] 3455 ./gridgen_reLOC --x-size=4 --y-size=4 --N-robots=2 --obstacle-probability=0.2 --seed=3455 --cnf-level=8 --cnf-file=grid_4x4_r2_3455.cnf ================================================================ reLOC 0.09-vegas : Grid Instance Generator (C) Copyright 2011-2013 Pavel Surynek ---------------------------------------------------------------- Phase statistics (current phase = 'root_phase') [ Phase (name = 'root_phase') [ Total SAT solver calls = 0 Satisfiable SAT solver calls = 0 Unsatisfiable SAT solver calls = 0 Indeterminate SAT solver calls = 0 Move executions = 0 Produced CNF variables = 809 Produced CNF clauses = 3117 Search steps = 0 Wall clock TIME (seconds) = 0.003 CPU/machine TIME (seconds) = 0.000 ] ] 12 ./gridgen_reLOC --x-size=4 --y-size=4 --N-robots=2 --obstacle-probability=0.2 --seed=12 --cnf-level=8 --cnf-file=grid_4x4_r2_12.cnf ================================================================ reLOC 0.09-vegas : Grid Instance Generator (C) Copyright 2011-2013 Pavel Surynek ---------------------------------------------------------------- Phase statistics (current phase = 'root_phase') [ Phase (name = 'root_phase') [ Total SAT solver calls = 0 Satisfiable SAT solver calls = 0 Unsatisfiable SAT solver calls = 0 Indeterminate SAT solver calls = 0 Move executions = 0 Produced CNF variables = 812 Produced CNF clauses = 2998 Search steps = 0 Wall clock TIME (seconds) = 0.003 CPU/machine TIME (seconds) = 0.000 ] ] 45 ./gridgen_reLOC --x-size=4 --y-size=4 --N-robots=2 --obstacle-probability=0.2 --seed=45 --cnf-level=8 --cnf-file=grid_4x4_r2_45.cnf ================================================================ reLOC 0.09-vegas : Grid Instance Generator (C) Copyright 2011-2013 Pavel Surynek ---------------------------------------------------------------- Phase statistics (current phase = 'root_phase') [ Phase (name = 'root_phase') [ Total SAT solver calls = 0 Satisfiable SAT solver calls = 0 Unsatisfiable SAT solver calls = 0 Indeterminate SAT solver calls = 0 Move executions = 0 Produced CNF variables = 1031 Produced CNF clauses = 4446 Search steps = 0 Wall clock TIME (seconds) = 0.005 CPU/machine TIME (seconds) = 0.000 ] ] 78 ./gridgen_reLOC --x-size=4 --y-size=4 --N-robots=2 --obstacle-probability=0.2 --seed=78 --cnf-level=8 --cnf-file=grid_4x4_r2_78.cnf ================================================================ reLOC 0.09-vegas : Grid Instance Generator (C) Copyright 2011-2013 Pavel Surynek ---------------------------------------------------------------- Phase statistics (current phase = 'root_phase') [ Phase (name = 'root_phase') [ Total SAT solver calls = 0 Satisfiable SAT solver calls = 0 Unsatisfiable SAT solver calls = 0 Indeterminate SAT solver calls = 0 Move executions = 0 Produced CNF variables = 1003 Produced CNF clauses = 4032 Search steps = 0 Wall clock TIME (seconds) = 0.004 CPU/machine TIME (seconds) = 0.000 ] ] 8546 ./gridgen_reLOC --x-size=4 --y-size=4 --N-robots=2 --obstacle-probability=0.2 --seed=8546 --cnf-level=8 --cnf-file=grid_4x4_r2_8546.cnf ================================================================ reLOC 0.09-vegas : Grid Instance Generator (C) Copyright 2011-2013 Pavel Surynek ---------------------------------------------------------------- Phase statistics (current phase = 'root_phase') [ Phase (name = 'root_phase') [ Total SAT solver calls = 0 Satisfiable SAT solver calls = 0 Unsatisfiable SAT solver calls = 0 Indeterminate SAT solver calls = 0 Move executions = 0 Produced CNF variables = 892 Produced CNF clauses = 3528 Search steps = 0 Wall clock TIME (seconds) = 0.004 CPU/machine TIME (seconds) = 0.000 ] ] 474 ./gridgen_reLOC --x-size=4 --y-size=4 --N-robots=2 --obstacle-probability=0.2 --seed=474 --cnf-level=8 --cnf-file=grid_4x4_r2_474.cnf ================================================================ reLOC 0.09-vegas : Grid Instance Generator (C) Copyright 2011-2013 Pavel Surynek ---------------------------------------------------------------- Phase statistics (current phase = 'root_phase') [ Phase (name = 'root_phase') [ Total SAT solver calls = 0 Satisfiable SAT solver calls = 0 Unsatisfiable SAT solver calls = 0 Indeterminate SAT solver calls = 0 Move executions = 0 Produced CNF variables = 964 Produced CNF clauses = 3970 Search steps = 0 Wall clock TIME (seconds) = 0.004 CPU/machine TIME (seconds) = 0.000 ] ] 188 ./gridgen_reLOC --x-size=4 --y-size=4 --N-robots=2 --obstacle-probability=0.2 --seed=188 --cnf-level=8 --cnf-file=grid_4x4_r2_188.cnf ================================================================ reLOC 0.09-vegas : Grid Instance Generator (C) Copyright 2011-2013 Pavel Surynek ---------------------------------------------------------------- Phase statistics (current phase = 'root_phase') [ Phase (name = 'root_phase') [ Total SAT solver calls = 0 Satisfiable SAT solver calls = 0 Unsatisfiable SAT solver calls = 0 Indeterminate SAT solver calls = 0 Move executions = 0 Produced CNF variables = 1325 Produced CNF clauses = 5952 Search steps = 0 Wall clock TIME (seconds) = 0.006 CPU/machine TIME (seconds) = 0.000 ] ] 7899 ./gridgen_reLOC --x-size=4 --y-size=4 --N-robots=2 --obstacle-probability=0.2 --seed=7899 --cnf-level=8 --cnf-file=grid_4x4_r2_7899.cnf ================================================================ reLOC 0.09-vegas : Grid Instance Generator (C) Copyright 2011-2013 Pavel Surynek ---------------------------------------------------------------- Phase statistics (current phase = 'root_phase') [ Phase (name = 'root_phase') [ Total SAT solver calls = 0 Satisfiable SAT solver calls = 0 Unsatisfiable SAT solver calls = 0 Indeterminate SAT solver calls = 0 Move executions = 0 Produced CNF variables = 1170 Produced CNF clauses = 5009 Search steps = 0 Wall clock TIME (seconds) = 0.005 CPU/machine TIME (seconds) = 0.000 ] ] 9 ./gridgen_reLOC --x-size=4 --y-size=4 --N-robots=2 --obstacle-probability=0.2 --seed=9 --cnf-level=8 --cnf-file=grid_4x4_r2_9.cnf ================================================================ reLOC 0.09-vegas : Grid Instance Generator (C) Copyright 2011-2013 Pavel Surynek ---------------------------------------------------------------- Phase statistics (current phase = 'root_phase') [ Phase (name = 'root_phase') [ Total SAT solver calls = 0 Satisfiable SAT solver calls = 0 Unsatisfiable SAT solver calls = 0 Indeterminate SAT solver calls = 0 Move executions = 0 Produced CNF variables = 1067 Produced CNF clauses = 4524 Search steps = 0 Wall clock TIME (seconds) = 0.005 CPU/machine TIME (seconds) = 0.000 ] ] 774 ./gridgen_reLOC --x-size=4 --y-size=4 --N-robots=2 --obstacle-probability=0.2 --seed=774 --cnf-level=8 --cnf-file=grid_4x4_r2_774.cnf ================================================================ reLOC 0.09-vegas : Grid Instance Generator (C) Copyright 2011-2013 Pavel Surynek ---------------------------------------------------------------- Phase statistics (current phase = 'root_phase') [ Phase (name = 'root_phase') [ Total SAT solver calls = 0 Satisfiable SAT solver calls = 0 Unsatisfiable SAT solver calls = 0 Indeterminate SAT solver calls = 0 Move executions = 0 Produced CNF variables = 1325 Produced CNF clauses = 5947 Search steps = 0 Wall clock TIME (seconds) = 0.006 CPU/machine TIME (seconds) = 0.000 ] ] 3455 ./gridgen_reLOC --x-size=4 --y-size=4 --N-robots=3 --obstacle-probability=0.2 --seed=3455 --cnf-level=8 --cnf-file=grid_4x4_r3_3455.cnf ================================================================ reLOC 0.09-vegas : Grid Instance Generator (C) Copyright 2011-2013 Pavel Surynek ---------------------------------------------------------------- Phase statistics (current phase = 'root_phase') [ Phase (name = 'root_phase') [ Total SAT solver calls = 0 Satisfiable SAT solver calls = 0 Unsatisfiable SAT solver calls = 0 Indeterminate SAT solver calls = 0 Move executions = 0 Produced CNF variables = 809 Produced CNF clauses = 3069 Search steps = 0 Wall clock TIME (seconds) = 0.003 CPU/machine TIME (seconds) = 0.000 ] ] 12 ./gridgen_reLOC --x-size=4 --y-size=4 --N-robots=3 --obstacle-probability=0.2 --seed=12 --cnf-level=8 --cnf-file=grid_4x4_r3_12.cnf ================================================================ reLOC 0.09-vegas : Grid Instance Generator (C) Copyright 2011-2013 Pavel Surynek ---------------------------------------------------------------- Phase statistics (current phase = 'root_phase') [ Phase (name = 'root_phase') [ Total SAT solver calls = 0 Satisfiable SAT solver calls = 0 Unsatisfiable SAT solver calls = 0 Indeterminate SAT solver calls = 0 Move executions = 0 Produced CNF variables = 812 Produced CNF clauses = 2987 Search steps = 0 Wall clock TIME (seconds) = 0.003 CPU/machine TIME (seconds) = 0.000 ] ] 45 ./gridgen_reLOC --x-size=4 --y-size=4 --N-robots=3 --obstacle-probability=0.2 --seed=45 --cnf-level=8 --cnf-file=grid_4x4_r3_45.cnf ================================================================ reLOC 0.09-vegas : Grid Instance Generator (C) Copyright 2011-2013 Pavel Surynek ---------------------------------------------------------------- Phase statistics (current phase = 'root_phase') [ Phase (name = 'root_phase') [ Total SAT solver calls = 0 Satisfiable SAT solver calls = 0 Unsatisfiable SAT solver calls = 0 Indeterminate SAT solver calls = 0 Move executions = 0 Produced CNF variables = 1031 Produced CNF clauses = 4380 Search steps = 0 Wall clock TIME (seconds) = 0.005 CPU/machine TIME (seconds) = 0.000 ] ] 78 ./gridgen_reLOC --x-size=4 --y-size=4 --N-robots=3 --obstacle-probability=0.2 --seed=78 --cnf-level=8 --cnf-file=grid_4x4_r3_78.cnf ================================================================ reLOC 0.09-vegas : Grid Instance Generator (C) Copyright 2011-2013 Pavel Surynek ---------------------------------------------------------------- Phase statistics (current phase = 'root_phase') [ Phase (name = 'root_phase') [ Total SAT solver calls = 0 Satisfiable SAT solver calls = 0 Unsatisfiable SAT solver calls = 0 Indeterminate SAT solver calls = 0 Move executions = 0 Produced CNF variables = 1003 Produced CNF clauses = 3955 Search steps = 0 Wall clock TIME (seconds) = 0.004 CPU/machine TIME (seconds) = 0.000 ] ] 8546 ./gridgen_reLOC --x-size=4 --y-size=4 --N-robots=3 --obstacle-probability=0.2 --seed=8546 --cnf-level=8 --cnf-file=grid_4x4_r3_8546.cnf ================================================================ reLOC 0.09-vegas : Grid Instance Generator (C) Copyright 2011-2013 Pavel Surynek ---------------------------------------------------------------- Phase statistics (current phase = 'root_phase') [ Phase (name = 'root_phase') [ Total SAT solver calls = 0 Satisfiable SAT solver calls = 0 Unsatisfiable SAT solver calls = 0 Indeterminate SAT solver calls = 0 Move executions = 0 Produced CNF variables = 892 Produced CNF clauses = 3483 Search steps = 0 Wall clock TIME (seconds) = 0.004 CPU/machine TIME (seconds) = 0.000 ] ] 474 ./gridgen_reLOC --x-size=4 --y-size=4 --N-robots=3 --obstacle-probability=0.2 --seed=474 --cnf-level=8 --cnf-file=grid_4x4_r3_474.cnf ================================================================ reLOC 0.09-vegas : Grid Instance Generator (C) Copyright 2011-2013 Pavel Surynek ---------------------------------------------------------------- Phase statistics (current phase = 'root_phase') [ Phase (name = 'root_phase') [ Total SAT solver calls = 0 Satisfiable SAT solver calls = 0 Unsatisfiable SAT solver calls = 0 Indeterminate SAT solver calls = 0 Move executions = 0 Produced CNF variables = 964 Produced CNF clauses = 3881 Search steps = 0 Wall clock TIME (seconds) = 0.004 CPU/machine TIME (seconds) = 0.000 ] ] 188 ./gridgen_reLOC --x-size=4 --y-size=4 --N-robots=3 --obstacle-probability=0.2 --seed=188 --cnf-level=8 --cnf-file=grid_4x4_r3_188.cnf ================================================================ reLOC 0.09-vegas : Grid Instance Generator (C) Copyright 2011-2013 Pavel Surynek ---------------------------------------------------------------- Phase statistics (current phase = 'root_phase') [ Phase (name = 'root_phase') [ Total SAT solver calls = 0 Satisfiable SAT solver calls = 0 Unsatisfiable SAT solver calls = 0 Indeterminate SAT solver calls = 0 Move executions = 0 Produced CNF variables = 1325 Produced CNF clauses = 5867 Search steps = 0 Wall clock TIME (seconds) = 0.006 CPU/machine TIME (seconds) = 0.000 ] ] 7899 ./gridgen_reLOC --x-size=4 --y-size=4 --N-robots=3 --obstacle-probability=0.2 --seed=7899 --cnf-level=8 --cnf-file=grid_4x4_r3_7899.cnf ================================================================ reLOC 0.09-vegas : Grid Instance Generator (C) Copyright 2011-2013 Pavel Surynek ---------------------------------------------------------------- Phase statistics (current phase = 'root_phase') [ Phase (name = 'root_phase') [ Total SAT solver calls = 0 Satisfiable SAT solver calls = 0 Unsatisfiable SAT solver calls = 0 Indeterminate SAT solver calls = 0 Move executions = 0 Produced CNF variables = 1170 Produced CNF clauses = 4918 Search steps = 0 Wall clock TIME (seconds) = 0.005 CPU/machine TIME (seconds) = 0.000 ] ] 9 ./gridgen_reLOC --x-size=4 --y-size=4 --N-robots=3 --obstacle-probability=0.2 --seed=9 --cnf-level=8 --cnf-file=grid_4x4_r3_9.cnf ================================================================ reLOC 0.09-vegas : Grid Instance Generator (C) Copyright 2011-2013 Pavel Surynek ---------------------------------------------------------------- Phase statistics (current phase = 'root_phase') [ Phase (name = 'root_phase') [ Total SAT solver calls = 0 Satisfiable SAT solver calls = 0 Unsatisfiable SAT solver calls = 0 Indeterminate SAT solver calls = 0 Move executions = 0 Produced CNF variables = 1067 Produced CNF clauses = 4443 Search steps = 0 Wall clock TIME (seconds) = 0.005 CPU/machine TIME (seconds) = 0.000 ] ] 774 ./gridgen_reLOC --x-size=4 --y-size=4 --N-robots=3 --obstacle-probability=0.2 --seed=774 --cnf-level=8 --cnf-file=grid_4x4_r3_774.cnf ================================================================ reLOC 0.09-vegas : Grid Instance Generator (C) Copyright 2011-2013 Pavel Surynek ---------------------------------------------------------------- Phase statistics (current phase = 'root_phase') [ Phase (name = 'root_phase') [ Total SAT solver calls = 0 Satisfiable SAT solver calls = 0 Unsatisfiable SAT solver calls = 0 Indeterminate SAT solver calls = 0 Move executions = 0 Produced CNF variables = 1325 Produced CNF clauses = 5878 Search steps = 0 Wall clock TIME (seconds) = 0.006 CPU/machine TIME (seconds) = 0.000 ] ] 3455 ./gridgen_reLOC --x-size=4 --y-size=4 --N-robots=4 --obstacle-probability=0.2 --seed=3455 --cnf-level=8 --cnf-file=grid_4x4_r4_3455.cnf ================================================================ reLOC 0.09-vegas : Grid Instance Generator (C) Copyright 2011-2013 Pavel Surynek ---------------------------------------------------------------- Phase statistics (current phase = 'root_phase') [ Phase (name = 'root_phase') [ Total SAT solver calls = 0 Satisfiable SAT solver calls = 0 Unsatisfiable SAT solver calls = 0 Indeterminate SAT solver calls = 0 Move executions = 0 Produced CNF variables = 905 Produced CNF clauses = 4156 Search steps = 0 Wall clock TIME (seconds) = 0.004 CPU/machine TIME (seconds) = 0.000 ] ] 12 ./gridgen_reLOC --x-size=4 --y-size=4 --N-robots=4 --obstacle-probability=0.2 --seed=12 --cnf-level=8 --cnf-file=grid_4x4_r4_12.cnf ================================================================ reLOC 0.09-vegas : Grid Instance Generator (C) Copyright 2011-2013 Pavel Surynek ---------------------------------------------------------------- Phase statistics (current phase = 'root_phase') [ Phase (name = 'root_phase') [ Total SAT solver calls = 0 Satisfiable SAT solver calls = 0 Unsatisfiable SAT solver calls = 0 Indeterminate SAT solver calls = 0 Move executions = 0 Produced CNF variables = 916 Produced CNF clauses = 4028 Search steps = 0 Wall clock TIME (seconds) = 0.004 CPU/machine TIME (seconds) = 0.000 ] ] 45 ./gridgen_reLOC --x-size=4 --y-size=4 --N-robots=4 --obstacle-probability=0.2 --seed=45 --cnf-level=8 --cnf-file=grid_4x4_r4_45.cnf ================================================================ reLOC 0.09-vegas : Grid Instance Generator (C) Copyright 2011-2013 Pavel Surynek ---------------------------------------------------------------- Phase statistics (current phase = 'root_phase') [ Phase (name = 'root_phase') [ Total SAT solver calls = 0 Satisfiable SAT solver calls = 0 Unsatisfiable SAT solver calls = 0 Indeterminate SAT solver calls = 0 Move executions = 0 Produced CNF variables = 1143 Produced CNF clauses = 5793 Search steps = 0 Wall clock TIME (seconds) = 0.006 CPU/machine TIME (seconds) = 0.000 ] ] 78 ./gridgen_reLOC --x-size=4 --y-size=4 --N-robots=4 --obstacle-probability=0.2 --seed=78 --cnf-level=8 --cnf-file=grid_4x4_r4_78.cnf ================================================================ reLOC 0.09-vegas : Grid Instance Generator (C) Copyright 2011-2013 Pavel Surynek ---------------------------------------------------------------- Phase statistics (current phase = 'root_phase') [ Phase (name = 'root_phase') [ Total SAT solver calls = 0 Satisfiable SAT solver calls = 0 Unsatisfiable SAT solver calls = 0 Indeterminate SAT solver calls = 0 Move executions = 0 Produced CNF variables = 1115 Produced CNF clauses = 5326 Search steps = 0 Wall clock TIME (seconds) = 0.005 CPU/machine TIME (seconds) = 0.000 ] ] 8546 ./gridgen_reLOC --x-size=4 --y-size=4 --N-robots=4 --obstacle-probability=0.2 --seed=8546 --cnf-level=8 --cnf-file=grid_4x4_r4_8546.cnf ================================================================ reLOC 0.09-vegas : Grid Instance Generator (C) Copyright 2011-2013 Pavel Surynek ---------------------------------------------------------------- Phase statistics (current phase = 'root_phase') [ Phase (name = 'root_phase') [ Total SAT solver calls = 0 Satisfiable SAT solver calls = 0 Unsatisfiable SAT solver calls = 0 Indeterminate SAT solver calls = 0 Move executions = 0 Produced CNF variables = 996 Produced CNF clauses = 4681 Search steps = 0 Wall clock TIME (seconds) = 0.005 CPU/machine TIME (seconds) = 0.000 ] ] 474 ./gridgen_reLOC --x-size=4 --y-size=4 --N-robots=4 --obstacle-probability=0.2 --seed=474 --cnf-level=8 --cnf-file=grid_4x4_r4_474.cnf ================================================================ reLOC 0.09-vegas : Grid Instance Generator (C) Copyright 2011-2013 Pavel Surynek ---------------------------------------------------------------- Phase statistics (current phase = 'root_phase') [ Phase (name = 'root_phase') [ Total SAT solver calls = 0 Satisfiable SAT solver calls = 0 Unsatisfiable SAT solver calls = 0 Indeterminate SAT solver calls = 0 Move executions = 0 Produced CNF variables = 1068 Produced CNF clauses = 5226 Search steps = 0 Wall clock TIME (seconds) = 0.005 CPU/machine TIME (seconds) = 0.000 ] ] 188 ./gridgen_reLOC --x-size=4 --y-size=4 --N-robots=4 --obstacle-probability=0.2 --seed=188 --cnf-level=8 --cnf-file=grid_4x4_r4_188.cnf ================================================================ reLOC 0.09-vegas : Grid Instance Generator (C) Copyright 2011-2013 Pavel Surynek ---------------------------------------------------------------- Phase statistics (current phase = 'root_phase') [ Phase (name = 'root_phase') [ Total SAT solver calls = 0 Satisfiable SAT solver calls = 0 Unsatisfiable SAT solver calls = 0 Indeterminate SAT solver calls = 0 Move executions = 0 Produced CNF variables = 1453 Produced CNF clauses = 7687 Search steps = 0 Wall clock TIME (seconds) = 0.008 CPU/machine TIME (seconds) = 0.000 ] ] 7899 ./gridgen_reLOC --x-size=4 --y-size=4 --N-robots=4 --obstacle-probability=0.2 --seed=7899 --cnf-level=8 --cnf-file=grid_4x4_r4_7899.cnf ================================================================ reLOC 0.09-vegas : Grid Instance Generator (C) Copyright 2011-2013 Pavel Surynek ---------------------------------------------------------------- Phase statistics (current phase = 'root_phase') [ Phase (name = 'root_phase') [ Total SAT solver calls = 0 Satisfiable SAT solver calls = 0 Unsatisfiable SAT solver calls = 0 Indeterminate SAT solver calls = 0 Move executions = 0 Produced CNF variables = 1290 Produced CNF clauses = 6542 Search steps = 0 Wall clock TIME (seconds) = 0.007 CPU/machine TIME (seconds) = 0.000 ] ] 9 ./gridgen_reLOC --x-size=4 --y-size=4 --N-robots=4 --obstacle-probability=0.2 --seed=9 --cnf-level=8 --cnf-file=grid_4x4_r4_9.cnf ================================================================ reLOC 0.09-vegas : Grid Instance Generator (C) Copyright 2011-2013 Pavel Surynek ---------------------------------------------------------------- Phase statistics (current phase = 'root_phase') [ Phase (name = 'root_phase') [ Total SAT solver calls = 0 Satisfiable SAT solver calls = 0 Unsatisfiable SAT solver calls = 0 Indeterminate SAT solver calls = 0 Move executions = 0 Produced CNF variables = 1179 Produced CNF clauses = 5889 Search steps = 0 Wall clock TIME (seconds) = 0.006 CPU/machine TIME (seconds) = 0.000 ] ] 774 ./gridgen_reLOC --x-size=4 --y-size=4 --N-robots=4 --obstacle-probability=0.2 --seed=774 --cnf-level=8 --cnf-file=grid_4x4_r4_774.cnf ================================================================ reLOC 0.09-vegas : Grid Instance Generator (C) Copyright 2011-2013 Pavel Surynek ---------------------------------------------------------------- Phase statistics (current phase = 'root_phase') [ Phase (name = 'root_phase') [ Total SAT solver calls = 0 Satisfiable SAT solver calls = 0 Unsatisfiable SAT solver calls = 0 Indeterminate SAT solver calls = 0 Move executions = 0 Produced CNF variables = 1453 Produced CNF clauses = 7704 Search steps = 0 Wall clock TIME (seconds) = 0.008 CPU/machine TIME (seconds) = 0.000 ] ] 3455 ./gridgen_reLOC --x-size=4 --y-size=4 --N-robots=5 --obstacle-probability=0.2 --seed=3455 --cnf-level=8 --cnf-file=grid_4x4_r5_3455.cnf ================================================================ reLOC 0.09-vegas : Grid Instance Generator (C) Copyright 2011-2013 Pavel Surynek ---------------------------------------------------------------- Phase statistics (current phase = 'root_phase') [ Phase (name = 'root_phase') [ Total SAT solver calls = 0 Satisfiable SAT solver calls = 0 Unsatisfiable SAT solver calls = 0 Indeterminate SAT solver calls = 0 Move executions = 0 Produced CNF variables = 905 Produced CNF clauses = 4117 Search steps = 0 Wall clock TIME (seconds) = 0.004 CPU/machine TIME (seconds) = 0.000 ] ] 12 ./gridgen_reLOC --x-size=4 --y-size=4 --N-robots=5 --obstacle-probability=0.2 --seed=12 --cnf-level=8 --cnf-file=grid_4x4_r5_12.cnf ================================================================ reLOC 0.09-vegas : Grid Instance Generator (C) Copyright 2011-2013 Pavel Surynek ---------------------------------------------------------------- Phase statistics (current phase = 'root_phase') [ Phase (name = 'root_phase') [ Total SAT solver calls = 0 Satisfiable SAT solver calls = 0 Unsatisfiable SAT solver calls = 0 Indeterminate SAT solver calls = 0 Move executions = 0 Produced CNF variables = 916 Produced CNF clauses = 4035 Search steps = 0 Wall clock TIME (seconds) = 0.004 CPU/machine TIME (seconds) = 0.000 ] ] 45 ./gridgen_reLOC --x-size=4 --y-size=4 --N-robots=5 --obstacle-probability=0.2 --seed=45 --cnf-level=8 --cnf-file=grid_4x4_r5_45.cnf ================================================================ reLOC 0.09-vegas : Grid Instance Generator (C) Copyright 2011-2013 Pavel Surynek ---------------------------------------------------------------- Phase statistics (current phase = 'root_phase') [ Phase (name = 'root_phase') [ Total SAT solver calls = 0 Satisfiable SAT solver calls = 0 Unsatisfiable SAT solver calls = 0 Indeterminate SAT solver calls = 0 Move executions = 0 Produced CNF variables = 1143 Produced CNF clauses = 5737 Search steps = 0 Wall clock TIME (seconds) = 0.006 CPU/machine TIME (seconds) = 0.000 ] ] 78 ./gridgen_reLOC --x-size=4 --y-size=4 --N-robots=5 --obstacle-probability=0.2 --seed=78 --cnf-level=8 --cnf-file=grid_4x4_r5_78.cnf ================================================================ reLOC 0.09-vegas : Grid Instance Generator (C) Copyright 2011-2013 Pavel Surynek ---------------------------------------------------------------- Phase statistics (current phase = 'root_phase') [ Phase (name = 'root_phase') [ Total SAT solver calls = 0 Satisfiable SAT solver calls = 0 Unsatisfiable SAT solver calls = 0 Indeterminate SAT solver calls = 0 Move executions = 0 Produced CNF variables = 1115 Produced CNF clauses = 5327 Search steps = 0 Wall clock TIME (seconds) = 0.005 CPU/machine TIME (seconds) = 0.000 ] ] 8546 ./gridgen_reLOC --x-size=4 --y-size=4 --N-robots=5 --obstacle-probability=0.2 --seed=8546 --cnf-level=8 --cnf-file=grid_4x4_r5_8546.cnf ================================================================ reLOC 0.09-vegas : Grid Instance Generator (C) Copyright 2011-2013 Pavel Surynek ---------------------------------------------------------------- Phase statistics (current phase = 'root_phase') [ Phase (name = 'root_phase') [ Total SAT solver calls = 0 Satisfiable SAT solver calls = 0 Unsatisfiable SAT solver calls = 0 Indeterminate SAT solver calls = 0 Move executions = 0 Produced CNF variables = 996 Produced CNF clauses = 4647 Search steps = 0 Wall clock TIME (seconds) = 0.005 CPU/machine TIME (seconds) = 0.000 ] ] 474 ./gridgen_reLOC --x-size=4 --y-size=4 --N-robots=5 --obstacle-probability=0.2 --seed=474 --cnf-level=8 --cnf-file=grid_4x4_r5_474.cnf ================================================================ reLOC 0.09-vegas : Grid Instance Generator (C) Copyright 2011-2013 Pavel Surynek ---------------------------------------------------------------- Phase statistics (current phase = 'root_phase') [ Phase (name = 'root_phase') [ Total SAT solver calls = 0 Satisfiable SAT solver calls = 0 Unsatisfiable SAT solver calls = 0 Indeterminate SAT solver calls = 0 Move executions = 0 Produced CNF variables = 1068 Produced CNF clauses = 5159 Search steps = 0 Wall clock TIME (seconds) = 0.005 CPU/machine TIME (seconds) = 0.000 ] ] 188 ./gridgen_reLOC --x-size=4 --y-size=4 --N-robots=5 --obstacle-probability=0.2 --seed=188 --cnf-level=8 --cnf-file=grid_4x4_r5_188.cnf ================================================================ reLOC 0.09-vegas : Grid Instance Generator (C) Copyright 2011-2013 Pavel Surynek ---------------------------------------------------------------- Phase statistics (current phase = 'root_phase') [ Phase (name = 'root_phase') [ Total SAT solver calls = 0 Satisfiable SAT solver calls = 0 Unsatisfiable SAT solver calls = 0 Indeterminate SAT solver calls = 0 Move executions = 0 Produced CNF variables = 1453 Produced CNF clauses = 7638 Search steps = 0 Wall clock TIME (seconds) = 0.008 CPU/machine TIME (seconds) = 0.000 ] ] 7899 ./gridgen_reLOC --x-size=4 --y-size=4 --N-robots=5 --obstacle-probability=0.2 --seed=7899 --cnf-level=8 --cnf-file=grid_4x4_r5_7899.cnf ================================================================ reLOC 0.09-vegas : Grid Instance Generator (C) Copyright 2011-2013 Pavel Surynek ---------------------------------------------------------------- Phase statistics (current phase = 'root_phase') [ Phase (name = 'root_phase') [ Total SAT solver calls = 0 Satisfiable SAT solver calls = 0 Unsatisfiable SAT solver calls = 0 Indeterminate SAT solver calls = 0 Move executions = 0 Produced CNF variables = 1290 Produced CNF clauses = 6463 Search steps = 0 Wall clock TIME (seconds) = 0.006 CPU/machine TIME (seconds) = 0.000 ] ] 9 ./gridgen_reLOC --x-size=4 --y-size=4 --N-robots=5 --obstacle-probability=0.2 --seed=9 --cnf-level=8 --cnf-file=grid_4x4_r5_9.cnf ================================================================ reLOC 0.09-vegas : Grid Instance Generator (C) Copyright 2011-2013 Pavel Surynek ---------------------------------------------------------------- Phase statistics (current phase = 'root_phase') [ Phase (name = 'root_phase') [ Total SAT solver calls = 0 Satisfiable SAT solver calls = 0 Unsatisfiable SAT solver calls = 0 Indeterminate SAT solver calls = 0 Move executions = 0 Produced CNF variables = 1179 Produced CNF clauses = 5864 Search steps = 0 Wall clock TIME (seconds) = 0.006 CPU/machine TIME (seconds) = 0.000 ] ] 774 ./gridgen_reLOC --x-size=4 --y-size=4 --N-robots=5 --obstacle-probability=0.2 --seed=774 --cnf-level=8 --cnf-file=grid_4x4_r5_774.cnf ================================================================ reLOC 0.09-vegas : Grid Instance Generator (C) Copyright 2011-2013 Pavel Surynek ---------------------------------------------------------------- Phase statistics (current phase = 'root_phase') [ Phase (name = 'root_phase') [ Total SAT solver calls = 0 Satisfiable SAT solver calls = 0 Unsatisfiable SAT solver calls = 0 Indeterminate SAT solver calls = 0 Move executions = 0 Produced CNF variables = 1453 Produced CNF clauses = 7618 Search steps = 0 Wall clock TIME (seconds) = 0.008 CPU/machine TIME (seconds) = 0.000 ] ] 3455 ./gridgen_reLOC --x-size=4 --y-size=4 --N-robots=6 --obstacle-probability=0.2 --seed=3455 --cnf-level=8 --cnf-file=grid_4x4_r6_3455.cnf ================================================================ reLOC 0.09-vegas : Grid Instance Generator (C) Copyright 2011-2013 Pavel Surynek ---------------------------------------------------------------- Phase statistics (current phase = 'root_phase') [ Phase (name = 'root_phase') [ Total SAT solver calls = 0 Satisfiable SAT solver calls = 0 Unsatisfiable SAT solver calls = 0 Indeterminate SAT solver calls = 0 Move executions = 0 Produced CNF variables = 905 Produced CNF clauses = 4067 Search steps = 0 Wall clock TIME (seconds) = 0.004 CPU/machine TIME (seconds) = 0.000 ] ] 12 ./gridgen_reLOC --x-size=4 --y-size=4 --N-robots=6 --obstacle-probability=0.2 --seed=12 --cnf-level=8 --cnf-file=grid_4x4_r6_12.cnf ================================================================ reLOC 0.09-vegas : Grid Instance Generator (C) Copyright 2011-2013 Pavel Surynek ---------------------------------------------------------------- Phase statistics (current phase = 'root_phase') [ Phase (name = 'root_phase') [ Total SAT solver calls = 0 Satisfiable SAT solver calls = 0 Unsatisfiable SAT solver calls = 0 Indeterminate SAT solver calls = 0 Move executions = 0 Produced CNF variables = 916 Produced CNF clauses = 3999 Search steps = 0 Wall clock TIME (seconds) = 0.004 CPU/machine TIME (seconds) = 0.000 ] ] 45 ./gridgen_reLOC --x-size=4 --y-size=4 --N-robots=6 --obstacle-probability=0.2 --seed=45 --cnf-level=8 --cnf-file=grid_4x4_r6_45.cnf ================================================================ reLOC 0.09-vegas : Grid Instance Generator (C) Copyright 2011-2013 Pavel Surynek ---------------------------------------------------------------- Phase statistics (current phase = 'root_phase') [ Phase (name = 'root_phase') [ Total SAT solver calls = 0 Satisfiable SAT solver calls = 0 Unsatisfiable SAT solver calls = 0 Indeterminate SAT solver calls = 0 Move executions = 0 Produced CNF variables = 1143 Produced CNF clauses = 5687 Search steps = 0 Wall clock TIME (seconds) = 0.006 CPU/machine TIME (seconds) = 0.000 ] ] 78 ./gridgen_reLOC --x-size=4 --y-size=4 --N-robots=6 --obstacle-probability=0.2 --seed=78 --cnf-level=8 --cnf-file=grid_4x4_r6_78.cnf ================================================================ reLOC 0.09-vegas : Grid Instance Generator (C) Copyright 2011-2013 Pavel Surynek ---------------------------------------------------------------- Phase statistics (current phase = 'root_phase') [ Phase (name = 'root_phase') [ Total SAT solver calls = 0 Satisfiable SAT solver calls = 0 Unsatisfiable SAT solver calls = 0 Indeterminate SAT solver calls = 0 Move executions = 0 Produced CNF variables = 1115 Produced CNF clauses = 5254 Search steps = 0 Wall clock TIME (seconds) = 0.005 CPU/machine TIME (seconds) = 0.000 ] ] 8546 ./gridgen_reLOC --x-size=4 --y-size=4 --N-robots=6 --obstacle-probability=0.2 --seed=8546 --cnf-level=8 --cnf-file=grid_4x4_r6_8546.cnf ================================================================ reLOC 0.09-vegas : Grid Instance Generator (C) Copyright 2011-2013 Pavel Surynek ---------------------------------------------------------------- Phase statistics (current phase = 'root_phase') [ Phase (name = 'root_phase') [ Total SAT solver calls = 0 Satisfiable SAT solver calls = 0 Unsatisfiable SAT solver calls = 0 Indeterminate SAT solver calls = 0 Move executions = 0 Produced CNF variables = 996 Produced CNF clauses = 4570 Search steps = 0 Wall clock TIME (seconds) = 0.005 CPU/machine TIME (seconds) = 0.000 ] ] 474 ./gridgen_reLOC --x-size=4 --y-size=4 --N-robots=6 --obstacle-probability=0.2 --seed=474 --cnf-level=8 --cnf-file=grid_4x4_r6_474.cnf ================================================================ reLOC 0.09-vegas : Grid Instance Generator (C) Copyright 2011-2013 Pavel Surynek ---------------------------------------------------------------- Phase statistics (current phase = 'root_phase') [ Phase (name = 'root_phase') [ Total SAT solver calls = 0 Satisfiable SAT solver calls = 0 Unsatisfiable SAT solver calls = 0 Indeterminate SAT solver calls = 0 Move executions = 0 Produced CNF variables = 1068 Produced CNF clauses = 5095 Search steps = 0 Wall clock TIME (seconds) = 0.005 CPU/machine TIME (seconds) = 0.000 ] ] 188 ./gridgen_reLOC --x-size=4 --y-size=4 --N-robots=6 --obstacle-probability=0.2 --seed=188 --cnf-level=8 --cnf-file=grid_4x4_r6_188.cnf ================================================================ reLOC 0.09-vegas : Grid Instance Generator (C) Copyright 2011-2013 Pavel Surynek ---------------------------------------------------------------- Phase statistics (current phase = 'root_phase') [ Phase (name = 'root_phase') [ Total SAT solver calls = 0 Satisfiable SAT solver calls = 0 Unsatisfiable SAT solver calls = 0 Indeterminate SAT solver calls = 0 Move executions = 0 Produced CNF variables = 1453 Produced CNF clauses = 7537 Search steps = 0 Wall clock TIME (seconds) = 0.008 CPU/machine TIME (seconds) = 0.000 ] ] 7899 ./gridgen_reLOC --x-size=4 --y-size=4 --N-robots=6 --obstacle-probability=0.2 --seed=7899 --cnf-level=8 --cnf-file=grid_4x4_r6_7899.cnf ================================================================ reLOC 0.09-vegas : Grid Instance Generator (C) Copyright 2011-2013 Pavel Surynek ---------------------------------------------------------------- Phase statistics (current phase = 'root_phase') [ Phase (name = 'root_phase') [ Total SAT solver calls = 0 Satisfiable SAT solver calls = 0 Unsatisfiable SAT solver calls = 0 Indeterminate SAT solver calls = 0 Move executions = 0 Produced CNF variables = 1290 Produced CNF clauses = 6406 Search steps = 0 Wall clock TIME (seconds) = 0.007 CPU/machine TIME (seconds) = 0.000 ] ] 9 ./gridgen_reLOC --x-size=4 --y-size=4 --N-robots=6 --obstacle-probability=0.2 --seed=9 --cnf-level=8 --cnf-file=grid_4x4_r6_9.cnf ================================================================ reLOC 0.09-vegas : Grid Instance Generator (C) Copyright 2011-2013 Pavel Surynek ---------------------------------------------------------------- Phase statistics (current phase = 'root_phase') [ Phase (name = 'root_phase') [ Total SAT solver calls = 0 Satisfiable SAT solver calls = 0 Unsatisfiable SAT solver calls = 0 Indeterminate SAT solver calls = 0 Move executions = 0 Produced CNF variables = 1179 Produced CNF clauses = 5781 Search steps = 0 Wall clock TIME (seconds) = 0.006 CPU/machine TIME (seconds) = 0.000 ] ] 774 ./gridgen_reLOC --x-size=4 --y-size=4 --N-robots=6 --obstacle-probability=0.2 --seed=774 --cnf-level=8 --cnf-file=grid_4x4_r6_774.cnf ================================================================ reLOC 0.09-vegas : Grid Instance Generator (C) Copyright 2011-2013 Pavel Surynek ---------------------------------------------------------------- Phase statistics (current phase = 'root_phase') [ Phase (name = 'root_phase') [ Total SAT solver calls = 0 Satisfiable SAT solver calls = 0 Unsatisfiable SAT solver calls = 0 Indeterminate SAT solver calls = 0 Move executions = 0 Produced CNF variables = 1453 Produced CNF clauses = 7557 Search steps = 0 Wall clock TIME (seconds) = 0.008 CPU/machine TIME (seconds) = 0.000 ] ] 3455 ./gridgen_reLOC --x-size=4 --y-size=4 --N-robots=7 --obstacle-probability=0.2 --seed=3455 --cnf-level=8 --cnf-file=grid_4x4_r7_3455.cnf ================================================================ reLOC 0.09-vegas : Grid Instance Generator (C) Copyright 2011-2013 Pavel Surynek ---------------------------------------------------------------- Phase statistics (current phase = 'root_phase') [ Phase (name = 'root_phase') [ Total SAT solver calls = 0 Satisfiable SAT solver calls = 0 Unsatisfiable SAT solver calls = 0 Indeterminate SAT solver calls = 0 Move executions = 0 Produced CNF variables = 905 Produced CNF clauses = 4022 Search steps = 0 Wall clock TIME (seconds) = 0.004 CPU/machine TIME (seconds) = 0.000 ] ] 12 ./gridgen_reLOC --x-size=4 --y-size=4 --N-robots=7 --obstacle-probability=0.2 --seed=12 --cnf-level=8 --cnf-file=grid_4x4_r7_12.cnf ================================================================ reLOC 0.09-vegas : Grid Instance Generator (C) Copyright 2011-2013 Pavel Surynek ---------------------------------------------------------------- Phase statistics (current phase = 'root_phase') [ Phase (name = 'root_phase') [ Total SAT solver calls = 0 Satisfiable SAT solver calls = 0 Unsatisfiable SAT solver calls = 0 Indeterminate SAT solver calls = 0 Move executions = 0 Produced CNF variables = 916 Produced CNF clauses = 3991 Search steps = 0 Wall clock TIME (seconds) = 0.004 CPU/machine TIME (seconds) = 0.000 ] ] 45 ./gridgen_reLOC --x-size=4 --y-size=4 --N-robots=7 --obstacle-probability=0.2 --seed=45 --cnf-level=8 --cnf-file=grid_4x4_r7_45.cnf ================================================================ reLOC 0.09-vegas : Grid Instance Generator (C) Copyright 2011-2013 Pavel Surynek ---------------------------------------------------------------- Phase statistics (current phase = 'root_phase') [ Phase (name = 'root_phase') [ Total SAT solver calls = 0 Satisfiable SAT solver calls = 0 Unsatisfiable SAT solver calls = 0 Indeterminate SAT solver calls = 0 Move executions = 0 Produced CNF variables = 1143 Produced CNF clauses = 5609 Search steps = 0 Wall clock TIME (seconds) = 0.006 CPU/machine TIME (seconds) = 0.000 ] ] 78 ./gridgen_reLOC --x-size=4 --y-size=4 --N-robots=7 --obstacle-probability=0.2 --seed=78 --cnf-level=8 --cnf-file=grid_4x4_r7_78.cnf ================================================================ reLOC 0.09-vegas : Grid Instance Generator (C) Copyright 2011-2013 Pavel Surynek ---------------------------------------------------------------- Phase statistics (current phase = 'root_phase') [ Phase (name = 'root_phase') [ Total SAT solver calls = 0 Satisfiable SAT solver calls = 0 Unsatisfiable SAT solver calls = 0 Indeterminate SAT solver calls = 0 Move executions = 0 Produced CNF variables = 1115 Produced CNF clauses = 5166 Search steps = 0 Wall clock TIME (seconds) = 0.005 CPU/machine TIME (seconds) = 0.000 ] ] 8546 ./gridgen_reLOC --x-size=4 --y-size=4 --N-robots=7 --obstacle-probability=0.2 --seed=8546 --cnf-level=8 --cnf-file=grid_4x4_r7_8546.cnf ================================================================ reLOC 0.09-vegas : Grid Instance Generator (C) Copyright 2011-2013 Pavel Surynek ---------------------------------------------------------------- Phase statistics (current phase = 'root_phase') [ Phase (name = 'root_phase') [ Total SAT solver calls = 0 Satisfiable SAT solver calls = 0 Unsatisfiable SAT solver calls = 0 Indeterminate SAT solver calls = 0 Move executions = 0 Produced CNF variables = 996 Produced CNF clauses = 4534 Search steps = 0 Wall clock TIME (seconds) = 0.005 CPU/machine TIME (seconds) = 0.000 ] ] 474 ./gridgen_reLOC --x-size=4 --y-size=4 --N-robots=7 --obstacle-probability=0.2 --seed=474 --cnf-level=8 --cnf-file=grid_4x4_r7_474.cnf ================================================================ reLOC 0.09-vegas : Grid Instance Generator (C) Copyright 2011-2013 Pavel Surynek ---------------------------------------------------------------- Phase statistics (current phase = 'root_phase') [ Phase (name = 'root_phase') [ Total SAT solver calls = 0 Satisfiable SAT solver calls = 0 Unsatisfiable SAT solver calls = 0 Indeterminate SAT solver calls = 0 Move executions = 0 Produced CNF variables = 1068 Produced CNF clauses = 5038 Search steps = 0 Wall clock TIME (seconds) = 0.005 CPU/machine TIME (seconds) = 0.000 ] ] 188 ./gridgen_reLOC --x-size=4 --y-size=4 --N-robots=7 --obstacle-probability=0.2 --seed=188 --cnf-level=8 --cnf-file=grid_4x4_r7_188.cnf ================================================================ reLOC 0.09-vegas : Grid Instance Generator (C) Copyright 2011-2013 Pavel Surynek ---------------------------------------------------------------- Phase statistics (current phase = 'root_phase') [ Phase (name = 'root_phase') [ Total SAT solver calls = 0 Satisfiable SAT solver calls = 0 Unsatisfiable SAT solver calls = 0 Indeterminate SAT solver calls = 0 Move executions = 0 Produced CNF variables = 1453 Produced CNF clauses = 7480 Search steps = 0 Wall clock TIME (seconds) = 0.007 CPU/machine TIME (seconds) = 0.000 ] ] 7899 ./gridgen_reLOC --x-size=4 --y-size=4 --N-robots=7 --obstacle-probability=0.2 --seed=7899 --cnf-level=8 --cnf-file=grid_4x4_r7_7899.cnf ================================================================ reLOC 0.09-vegas : Grid Instance Generator (C) Copyright 2011-2013 Pavel Surynek ---------------------------------------------------------------- Phase statistics (current phase = 'root_phase') [ Phase (name = 'root_phase') [ Total SAT solver calls = 0 Satisfiable SAT solver calls = 0 Unsatisfiable SAT solver calls = 0 Indeterminate SAT solver calls = 0 Move executions = 0 Produced CNF variables = 1290 Produced CNF clauses = 6350 Search steps = 0 Wall clock TIME (seconds) = 0.006 CPU/machine TIME (seconds) = 0.000 ] ] 9 ./gridgen_reLOC --x-size=4 --y-size=4 --N-robots=7 --obstacle-probability=0.2 --seed=9 --cnf-level=8 --cnf-file=grid_4x4_r7_9.cnf ================================================================ reLOC 0.09-vegas : Grid Instance Generator (C) Copyright 2011-2013 Pavel Surynek ---------------------------------------------------------------- Phase statistics (current phase = 'root_phase') [ Phase (name = 'root_phase') [ Total SAT solver calls = 0 Satisfiable SAT solver calls = 0 Unsatisfiable SAT solver calls = 0 Indeterminate SAT solver calls = 0 Move executions = 0 Produced CNF variables = 1179 Produced CNF clauses = 5748 Search steps = 0 Wall clock TIME (seconds) = 0.006 CPU/machine TIME (seconds) = 0.000 ] ] 774 ./gridgen_reLOC --x-size=4 --y-size=4 --N-robots=7 --obstacle-probability=0.2 --seed=774 --cnf-level=8 --cnf-file=grid_4x4_r7_774.cnf ================================================================ reLOC 0.09-vegas : Grid Instance Generator (C) Copyright 2011-2013 Pavel Surynek ---------------------------------------------------------------- Phase statistics (current phase = 'root_phase') [ Phase (name = 'root_phase') [ Total SAT solver calls = 0 Satisfiable SAT solver calls = 0 Unsatisfiable SAT solver calls = 0 Indeterminate SAT solver calls = 0 Move executions = 0 Produced CNF variables = 1453 Produced CNF clauses = 7519 Search steps = 0 Wall clock TIME (seconds) = 0.008 CPU/machine TIME (seconds) = 0.000 ] ] 3455 ./gridgen_reLOC --x-size=4 --y-size=4 --N-robots=8 --obstacle-probability=0.2 --seed=3455 --cnf-level=8 --cnf-file=grid_4x4_r8_3455.cnf ================================================================ reLOC 0.09-vegas : Grid Instance Generator (C) Copyright 2011-2013 Pavel Surynek ---------------------------------------------------------------- Phase statistics (current phase = 'root_phase') [ Phase (name = 'root_phase') [ Total SAT solver calls = 0 Satisfiable SAT solver calls = 0 Unsatisfiable SAT solver calls = 0 Indeterminate SAT solver calls = 0 Move executions = 0 Produced CNF variables = 1001 Produced CNF clauses = 5476 Search steps = 0 Wall clock TIME (seconds) = 0.006 CPU/machine TIME (seconds) = 0.000 ] ] 12 ./gridgen_reLOC --x-size=4 --y-size=4 --N-robots=8 --obstacle-probability=0.2 --seed=12 --cnf-level=8 --cnf-file=grid_4x4_r8_12.cnf ================================================================ reLOC 0.09-vegas : Grid Instance Generator (C) Copyright 2011-2013 Pavel Surynek ---------------------------------------------------------------- Phase statistics (current phase = 'root_phase') [ Phase (name = 'root_phase') [ Total SAT solver calls = 0 Satisfiable SAT solver calls = 0 Unsatisfiable SAT solver calls = 0 Indeterminate SAT solver calls = 0 Move executions = 0 Produced CNF variables = 1020 Produced CNF clauses = 5467 Search steps = 0 Wall clock TIME (seconds) = 0.006 CPU/machine TIME (seconds) = 0.000 ] ] 45 ./gridgen_reLOC --x-size=4 --y-size=4 --N-robots=8 --obstacle-probability=0.2 --seed=45 --cnf-level=8 --cnf-file=grid_4x4_r8_45.cnf ================================================================ reLOC 0.09-vegas : Grid Instance Generator (C) Copyright 2011-2013 Pavel Surynek ---------------------------------------------------------------- Phase statistics (current phase = 'root_phase') [ Phase (name = 'root_phase') [ Total SAT solver calls = 0 Satisfiable SAT solver calls = 0 Unsatisfiable SAT solver calls = 0 Indeterminate SAT solver calls = 0 Move executions = 0 Produced CNF variables = 1255 Produced CNF clauses = 7445 Search steps = 0 Wall clock TIME (seconds) = 0.008 CPU/machine TIME (seconds) = 0.000 ] ] 78 ./gridgen_reLOC --x-size=4 --y-size=4 --N-robots=8 --obstacle-probability=0.2 --seed=78 --cnf-level=8 --cnf-file=grid_4x4_r8_78.cnf ================================================================ reLOC 0.09-vegas : Grid Instance Generator (C) Copyright 2011-2013 Pavel Surynek ---------------------------------------------------------------- Phase statistics (current phase = 'root_phase') [ Phase (name = 'root_phase') [ Total SAT solver calls = 0 Satisfiable SAT solver calls = 0 Unsatisfiable SAT solver calls = 0 Indeterminate SAT solver calls = 0 Move executions = 0 Produced CNF variables = 1227 Produced CNF clauses = 6975 Search steps = 0 Wall clock TIME (seconds) = 0.008 CPU/machine TIME (seconds) = 0.000 ] ] 8546 ./gridgen_reLOC --x-size=4 --y-size=4 --N-robots=8 --obstacle-probability=0.2 --seed=8546 --cnf-level=8 --cnf-file=grid_4x4_r8_8546.cnf ================================================================ reLOC 0.09-vegas : Grid Instance Generator (C) Copyright 2011-2013 Pavel Surynek ---------------------------------------------------------------- Phase statistics (current phase = 'root_phase') [ Phase (name = 'root_phase') [ Total SAT solver calls = 0 Satisfiable SAT solver calls = 0 Unsatisfiable SAT solver calls = 0 Indeterminate SAT solver calls = 0 Move executions = 0 Produced CNF variables = 1100 Produced CNF clauses = 6133 Search steps = 0 Wall clock TIME (seconds) = 0.007 CPU/machine TIME (seconds) = 0.000 ] ] 474 ./gridgen_reLOC --x-size=4 --y-size=4 --N-robots=8 --obstacle-probability=0.2 --seed=474 --cnf-level=8 --cnf-file=grid_4x4_r8_474.cnf ================================================================ reLOC 0.09-vegas : Grid Instance Generator (C) Copyright 2011-2013 Pavel Surynek ---------------------------------------------------------------- Phase statistics (current phase = 'root_phase') [ Phase (name = 'root_phase') [ Total SAT solver calls = 0 Satisfiable SAT solver calls = 0 Unsatisfiable SAT solver calls = 0 Indeterminate SAT solver calls = 0 Move executions = 0 Produced CNF variables = 1172 Produced CNF clauses = 6725 Search steps = 0 Wall clock TIME (seconds) = 0.007 CPU/machine TIME (seconds) = 0.000 ] ] 188 ./gridgen_reLOC --x-size=4 --y-size=4 --N-robots=8 --obstacle-probability=0.2 --seed=188 --cnf-level=8 --cnf-file=grid_4x4_r8_188.cnf ================================================================ reLOC 0.09-vegas : Grid Instance Generator (C) Copyright 2011-2013 Pavel Surynek ---------------------------------------------------------------- Phase statistics (current phase = 'root_phase') [ Phase (name = 'root_phase') [ Total SAT solver calls = 0 Satisfiable SAT solver calls = 0 Unsatisfiable SAT solver calls = 0 Indeterminate SAT solver calls = 0 Move executions = 0 Produced CNF variables = 1581 Produced CNF clauses = 9795 Search steps = 0 Wall clock TIME (seconds) = 0.010 CPU/machine TIME (seconds) = 0.000 ] ] 7899 ./gridgen_reLOC --x-size=4 --y-size=4 --N-robots=8 --obstacle-probability=0.2 --seed=7899 --cnf-level=8 --cnf-file=grid_4x4_r8_7899.cnf ================================================================ reLOC 0.09-vegas : Grid Instance Generator (C) Copyright 2011-2013 Pavel Surynek ---------------------------------------------------------------- Phase statistics (current phase = 'root_phase') [ Phase (name = 'root_phase') [ Total SAT solver calls = 0 Satisfiable SAT solver calls = 0 Unsatisfiable SAT solver calls = 0 Indeterminate SAT solver calls = 0 Move executions = 0 Produced CNF variables = 1410 Produced CNF clauses = 8414 Search steps = 0 Wall clock TIME (seconds) = 0.009 CPU/machine TIME (seconds) = 0.000 ] ] 9 ./gridgen_reLOC --x-size=4 --y-size=4 --N-robots=8 --obstacle-probability=0.2 --seed=9 --cnf-level=8 --cnf-file=grid_4x4_r8_9.cnf ================================================================ reLOC 0.09-vegas : Grid Instance Generator (C) Copyright 2011-2013 Pavel Surynek ---------------------------------------------------------------- Phase statistics (current phase = 'root_phase') [ Phase (name = 'root_phase') [ Total SAT solver calls = 0 Satisfiable SAT solver calls = 0 Unsatisfiable SAT solver calls = 0 Indeterminate SAT solver calls = 0 Move executions = 0 Produced CNF variables = 1291 Produced CNF clauses = 7610 Search steps = 0 Wall clock TIME (seconds) = 0.008 CPU/machine TIME (seconds) = 0.000 ] ] 774 ./gridgen_reLOC --x-size=4 --y-size=4 --N-robots=8 --obstacle-probability=0.2 --seed=774 --cnf-level=8 --cnf-file=grid_4x4_r8_774.cnf ================================================================ reLOC 0.09-vegas : Grid Instance Generator (C) Copyright 2011-2013 Pavel Surynek ---------------------------------------------------------------- Phase statistics (current phase = 'root_phase') [ Phase (name = 'root_phase') [ Total SAT solver calls = 0 Satisfiable SAT solver calls = 0 Unsatisfiable SAT solver calls = 0 Indeterminate SAT solver calls = 0 Move executions = 0 Produced CNF variables = 1581 Produced CNF clauses = 9808 Search steps = 0 Wall clock TIME (seconds) = 0.010 CPU/machine TIME (seconds) = 0.010 ] ] grid size = 4 max robots = 8 1,3455 c number of literals = 5576 c number of literals / number of clauses = 2.540 1,12 c number of literals = 5232 c number of literals / number of clauses = 2.496 1,45 c number of literals = 8400 c number of literals / number of clauses = 2.620 1,78 c number of literals = 7329 c number of literals / number of clauses = 2.554 1,8546 c number of literals = 6540 c number of literals / number of clauses = 2.579 1,474 c number of literals = 7246 c number of literals / number of clauses = 2.555 1,188 c number of literals = 11419 c number of literals / number of clauses = 2.621 1,7899 c number of literals = 9277 c number of literals / number of clauses = 2.572 1,9 c number of literals = 8387 c number of literals / number of clauses = 2.576 1,774 c number of literals = 11437 c number of literals / number of clauses = 2.615 2,3455 c number of literals = 7891 c number of literals / number of clauses = 2.532 2,12 c number of literals = 7544 c number of literals / number of clauses = 2.516 2,45 c number of literals = 11493 c number of literals / number of clauses = 2.585 2,78 c number of literals = 10259 c number of literals / number of clauses = 2.544 2,8546 c number of literals = 9052 c number of literals / number of clauses = 2.566 2,474 c number of literals = 10104 c number of literals / number of clauses = 2.545 2,188 c number of literals = 15421 c number of literals / number of clauses = 2.591 2,7899 c number of literals = 12804 c number of literals / number of clauses = 2.556 2,9 c number of literals = 11579 c number of literals / number of clauses = 2.559 2,774 c number of literals = 15411 c number of literals / number of clauses = 2.591 3,3455 c number of literals = 7795 c number of literals / number of clauses = 2.540 3,12 c number of literals = 7522 c number of literals / number of clauses = 2.518 3,45 c number of literals = 11361 c number of literals / number of clauses = 2.594 3,78 c number of literals = 10105 c number of literals / number of clauses = 2.555 3,8546 c number of literals = 8962 c number of literals / number of clauses = 2.573 3,474 c number of literals = 9926 c number of literals / number of clauses = 2.558 3,188 c number of literals = 15251 c number of literals / number of clauses = 2.599 3,7899 c number of literals = 12622 c number of literals / number of clauses = 2.566 3,9 c number of literals = 11417 c number of literals / number of clauses = 2.570 3,774 c number of literals = 15273 c number of literals / number of clauses = 2.598 4,3455 c number of literals = 10817 c number of literals / number of clauses = 2.603 4,12 c number of literals = 10540 c number of literals / number of clauses = 2.617 4,45 c number of literals = 15291 c number of literals / number of clauses = 2.640 4,78 c number of literals = 13925 c number of literals / number of clauses = 2.615 4,8546 c number of literals = 12303 c number of literals / number of clauses = 2.628 4,474 c number of literals = 13644 c number of literals / number of clauses = 2.611 4,188 c number of literals = 20200 c number of literals / number of clauses = 2.628 4,7899 c number of literals = 17064 c number of literals / number of clauses = 2.608 4,9 c number of literals = 15390 c number of literals / number of clauses = 2.613 4,774 c number of literals = 20251 c number of literals / number of clauses = 2.629 5,3455 c number of literals = 10700 c number of literals / number of clauses = 2.599 5,12 c number of literals = 10561 c number of literals / number of clauses = 2.617 5,45 c number of literals = 15123 c number of literals / number of clauses = 2.636 5,78 c number of literals = 13928 c number of literals / number of clauses = 2.615 5,8546 c number of literals = 12201 c number of literals / number of clauses = 2.626 5,474 c number of literals = 13443 c number of literals / number of clauses = 2.606 5,188 c number of literals = 20053 c number of literals / number of clauses = 2.625 5,7899 c number of literals = 16827 c number of literals / number of clauses = 2.604 5,9 c number of literals = 15315 c number of literals / number of clauses = 2.612 5,774 c number of literals = 19993 c number of literals / number of clauses = 2.624 6,3455 c number of literals = 10550 c number of literals / number of clauses = 2.594 6,12 c number of literals = 10453 c number of literals / number of clauses = 2.614 6,45 c number of literals = 14973 c number of literals / number of clauses = 2.633 6,78 c number of literals = 13709 c number of literals / number of clauses = 2.609 6,8546 c number of literals = 11970 c number of literals / number of clauses = 2.619 6,474 c number of literals = 13251 c number of literals / number of clauses = 2.601 6,188 c number of literals = 19750 c number of literals / number of clauses = 2.620 6,7899 c number of literals = 16656 c number of literals / number of clauses = 2.600 6,9 c number of literals = 15066 c number of literals / number of clauses = 2.606 6,774 c number of literals = 19810 c number of literals / number of clauses = 2.621 7,3455 c number of literals = 10415 c number of literals / number of clauses = 2.590 7,12 c number of literals = 10429 c number of literals / number of clauses = 2.613 7,45 c number of literals = 14739 c number of literals / number of clauses = 2.628 7,78 c number of literals = 13445 c number of literals / number of clauses = 2.603 7,8546 c number of literals = 11862 c number of literals / number of clauses = 2.616 7,474 c number of literals = 13080 c number of literals / number of clauses = 2.596 7,188 c number of literals = 19579 c number of literals / number of clauses = 2.618 7,7899 c number of literals = 16488 c number of literals / number of clauses = 2.597 7,9 c number of literals = 14967 c number of literals / number of clauses = 2.604 7,774 c number of literals = 19696 c number of literals / number of clauses = 2.619 8,3455 c number of literals = 15361 c number of literals / number of clauses = 2.805 8,12 c number of literals = 15728 c number of literals / number of clauses = 2.877 8,45 c number of literals = 20907 c number of literals / number of clauses = 2.808 8,78 c number of literals = 19615 c number of literals / number of clauses = 2.812 8,8546 c number of literals = 17328 c number of literals / number of clauses = 2.825 8,474 c number of literals = 18716 c number of literals / number of clauses = 2.783 8,188 c number of literals = 27109 c number of literals / number of clauses = 2.768 8,7899 c number of literals = 23282 c number of literals / number of clauses = 2.767 8,9 c number of literals = 21147 c number of literals / number of clauses = 2.779 8,774 c number of literals = 27161 c number of literals / number of clauses = 2.769 grid size = 4 max robots = 8 1,3455 c number of visible variables = 328 c number of hidden variables = 385 c number of propositional variables = 713 c number of clauses / number of variables = 3.079 1,12 c number of visible variables = 344 c number of hidden variables = 364 c number of propositional variables = 708 c number of clauses / number of variables = 2.960 1,45 c number of visible variables = 408 c number of hidden variables = 511 c number of propositional variables = 919 c number of clauses / number of variables = 3.489 1,78 c number of visible variables = 408 c number of hidden variables = 483 c number of propositional variables = 891 c number of clauses / number of variables = 3.221 1,8546 c number of visible variables = 368 c number of hidden variables = 420 c number of propositional variables = 788 c number of clauses / number of variables = 3.218 1,474 c number of visible variables = 384 c number of hidden variables = 476 c number of propositional variables = 860 c number of clauses / number of variables = 3.298 1,188 c number of visible variables = 504 c number of hidden variables = 693 c number of propositional variables = 1197 c number of clauses / number of variables = 3.639 1,7899 c number of visible variables = 448 c number of hidden variables = 602 c number of propositional variables = 1050 c number of clauses / number of variables = 3.435 1,9 c number of visible variables = 416 c number of hidden variables = 539 c number of propositional variables = 955 c number of clauses / number of variables = 3.409 1,774 c number of visible variables = 504 c number of hidden variables = 693 c number of propositional variables = 1197 c number of clauses / number of variables = 3.654 2,3455 c number of visible variables = 424 c number of hidden variables = 385 c number of propositional variables = 809 c number of clauses / number of variables = 3.853 2,12 c number of visible variables = 448 c number of hidden variables = 364 c number of propositional variables = 812 c number of clauses / number of variables = 3.692 2,45 c number of visible variables = 520 c number of hidden variables = 511 c number of propositional variables = 1031 c number of clauses / number of variables = 4.312 2,78 c number of visible variables = 520 c number of hidden variables = 483 c number of propositional variables = 1003 c number of clauses / number of variables = 4.020 2,8546 c number of visible variables = 472 c number of hidden variables = 420 c number of propositional variables = 892 c number of clauses / number of variables = 3.955 2,474 c number of visible variables = 488 c number of hidden variables = 476 c number of propositional variables = 964 c number of clauses / number of variables = 4.118 2,188 c number of visible variables = 632 c number of hidden variables = 693 c number of propositional variables = 1325 c number of clauses / number of variables = 4.492 2,7899 c number of visible variables = 568 c number of hidden variables = 602 c number of propositional variables = 1170 c number of clauses / number of variables = 4.281 2,9 c number of visible variables = 528 c number of hidden variables = 539 c number of propositional variables = 1067 c number of clauses / number of variables = 4.240 2,774 c number of visible variables = 632 c number of hidden variables = 693 c number of propositional variables = 1325 c number of clauses / number of variables = 4.488 3,3455 c number of visible variables = 424 c number of hidden variables = 385 c number of propositional variables = 809 c number of clauses / number of variables = 3.794 3,12 c number of visible variables = 448 c number of hidden variables = 364 c number of propositional variables = 812 c number of clauses / number of variables = 3.679 3,45 c number of visible variables = 520 c number of hidden variables = 511 c number of propositional variables = 1031 c number of clauses / number of variables = 4.248 3,78 c number of visible variables = 520 c number of hidden variables = 483 c number of propositional variables = 1003 c number of clauses / number of variables = 3.943 3,8546 c number of visible variables = 472 c number of hidden variables = 420 c number of propositional variables = 892 c number of clauses / number of variables = 3.905 3,474 c number of visible variables = 488 c number of hidden variables = 476 c number of propositional variables = 964 c number of clauses / number of variables = 4.026 3,188 c number of visible variables = 632 c number of hidden variables = 693 c number of propositional variables = 1325 c number of clauses / number of variables = 4.428 3,7899 c number of visible variables = 568 c number of hidden variables = 602 c number of propositional variables = 1170 c number of clauses / number of variables = 4.203 3,9 c number of visible variables = 528 c number of hidden variables = 539 c number of propositional variables = 1067 c number of clauses / number of variables = 4.164 3,774 c number of visible variables = 632 c number of hidden variables = 693 c number of propositional variables = 1325 c number of clauses / number of variables = 4.436 4,3455 c number of visible variables = 520 c number of hidden variables = 385 c number of propositional variables = 905 c number of clauses / number of variables = 4.592 4,12 c number of visible variables = 552 c number of hidden variables = 364 c number of propositional variables = 916 c number of clauses / number of variables = 4.397 4,45 c number of visible variables = 632 c number of hidden variables = 511 c number of propositional variables = 1143 c number of clauses / number of variables = 5.068 4,78 c number of visible variables = 632 c number of hidden variables = 483 c number of propositional variables = 1115 c number of clauses / number of variables = 4.777 4,8546 c number of visible variables = 576 c number of hidden variables = 420 c number of propositional variables = 996 c number of clauses / number of variables = 4.700 4,474 c number of visible variables = 592 c number of hidden variables = 476 c number of propositional variables = 1068 c number of clauses / number of variables = 4.893 4,188 c number of visible variables = 760 c number of hidden variables = 693 c number of propositional variables = 1453 c number of clauses / number of variables = 5.290 4,7899 c number of visible variables = 688 c number of hidden variables = 602 c number of propositional variables = 1290 c number of clauses / number of variables = 5.071 4,9 c number of visible variables = 640 c number of hidden variables = 539 c number of propositional variables = 1179 c number of clauses / number of variables = 4.995 4,774 c number of visible variables = 760 c number of hidden variables = 693 c number of propositional variables = 1453 c number of clauses / number of variables = 5.302 5,3455 c number of visible variables = 520 c number of hidden variables = 385 c number of propositional variables = 905 c number of clauses / number of variables = 4.549 5,12 c number of visible variables = 552 c number of hidden variables = 364 c number of propositional variables = 916 c number of clauses / number of variables = 4.405 5,45 c number of visible variables = 632 c number of hidden variables = 511 c number of propositional variables = 1143 c number of clauses / number of variables = 5.019 5,78 c number of visible variables = 632 c number of hidden variables = 483 c number of propositional variables = 1115 c number of clauses / number of variables = 4.778 5,8546 c number of visible variables = 576 c number of hidden variables = 420 c number of propositional variables = 996 c number of clauses / number of variables = 4.666 5,474 c number of visible variables = 592 c number of hidden variables = 476 c number of propositional variables = 1068 c number of clauses / number of variables = 4.831 5,188 c number of visible variables = 760 c number of hidden variables = 693 c number of propositional variables = 1453 c number of clauses / number of variables = 5.257 5,7899 c number of visible variables = 688 c number of hidden variables = 602 c number of propositional variables = 1290 c number of clauses / number of variables = 5.010 5,9 c number of visible variables = 640 c number of hidden variables = 539 c number of propositional variables = 1179 c number of clauses / number of variables = 4.974 5,774 c number of visible variables = 760 c number of hidden variables = 693 c number of propositional variables = 1453 c number of clauses / number of variables = 5.243 6,3455 c number of visible variables = 520 c number of hidden variables = 385 c number of propositional variables = 905 c number of clauses / number of variables = 4.494 6,12 c number of visible variables = 552 c number of hidden variables = 364 c number of propositional variables = 916 c number of clauses / number of variables = 4.366 6,45 c number of visible variables = 632 c number of hidden variables = 511 c number of propositional variables = 1143 c number of clauses / number of variables = 4.976 6,78 c number of visible variables = 632 c number of hidden variables = 483 c number of propositional variables = 1115 c number of clauses / number of variables = 4.712 6,8546 c number of visible variables = 576 c number of hidden variables = 420 c number of propositional variables = 996 c number of clauses / number of variables = 4.588 6,474 c number of visible variables = 592 c number of hidden variables = 476 c number of propositional variables = 1068 c number of clauses / number of variables = 4.771 6,188 c number of visible variables = 760 c number of hidden variables = 693 c number of propositional variables = 1453 c number of clauses / number of variables = 5.187 6,7899 c number of visible variables = 688 c number of hidden variables = 602 c number of propositional variables = 1290 c number of clauses / number of variables = 4.966 6,9 c number of visible variables = 640 c number of hidden variables = 539 c number of propositional variables = 1179 c number of clauses / number of variables = 4.903 6,774 c number of visible variables = 760 c number of hidden variables = 693 c number of propositional variables = 1453 c number of clauses / number of variables = 5.201 7,3455 c number of visible variables = 520 c number of hidden variables = 385 c number of propositional variables = 905 c number of clauses / number of variables = 4.444 7,12 c number of visible variables = 552 c number of hidden variables = 364 c number of propositional variables = 916 c number of clauses / number of variables = 4.357 7,45 c number of visible variables = 632 c number of hidden variables = 511 c number of propositional variables = 1143 c number of clauses / number of variables = 4.907 7,78 c number of visible variables = 632 c number of hidden variables = 483 c number of propositional variables = 1115 c number of clauses / number of variables = 4.633 7,8546 c number of visible variables = 576 c number of hidden variables = 420 c number of propositional variables = 996 c number of clauses / number of variables = 4.552 7,474 c number of visible variables = 592 c number of hidden variables = 476 c number of propositional variables = 1068 c number of clauses / number of variables = 4.717 7,188 c number of visible variables = 760 c number of hidden variables = 693 c number of propositional variables = 1453 c number of clauses / number of variables = 5.148 7,7899 c number of visible variables = 688 c number of hidden variables = 602 c number of propositional variables = 1290 c number of clauses / number of variables = 4.922 7,9 c number of visible variables = 640 c number of hidden variables = 539 c number of propositional variables = 1179 c number of clauses / number of variables = 4.875 7,774 c number of visible variables = 760 c number of hidden variables = 693 c number of propositional variables = 1453 c number of clauses / number of variables = 5.175 8,3455 c number of visible variables = 616 c number of hidden variables = 385 c number of propositional variables = 1001 c number of clauses / number of variables = 5.471 8,12 c number of visible variables = 656 c number of hidden variables = 364 c number of propositional variables = 1020 c number of clauses / number of variables = 5.360 8,45 c number of visible variables = 744 c number of hidden variables = 511 c number of propositional variables = 1255 c number of clauses / number of variables = 5.932 8,78 c number of visible variables = 744 c number of hidden variables = 483 c number of propositional variables = 1227 c number of clauses / number of variables = 5.685 8,8546 c number of visible variables = 680 c number of hidden variables = 420 c number of propositional variables = 1100 c number of clauses / number of variables = 5.575 8,474 c number of visible variables = 696 c number of hidden variables = 476 c number of propositional variables = 1172 c number of clauses / number of variables = 5.738 8,188 c number of visible variables = 888 c number of hidden variables = 693 c number of propositional variables = 1581 c number of clauses / number of variables = 6.195 8,7899 c number of visible variables = 808 c number of hidden variables = 602 c number of propositional variables = 1410 c number of clauses / number of variables = 5.967 8,9 c number of visible variables = 752 c number of hidden variables = 539 c number of propositional variables = 1291 c number of clauses / number of variables = 5.895 8,774 c number of visible variables = 888 c number of hidden variables = 693 c number of propositional variables = 1581 c number of clauses / number of variables = 6.204 grid size = 4 max robots = 8 1,3455 c number of clauses = 2195 c number of clauses / number of variables = 3.079 c number of literals / number of clauses = 2.540 1,12 c number of clauses = 2096 c number of clauses / number of variables = 2.960 c number of literals / number of clauses = 2.496 1,45 c number of clauses = 3206 c number of clauses / number of variables = 3.489 c number of literals / number of clauses = 2.620 1,78 c number of clauses = 2870 c number of clauses / number of variables = 3.221 c number of literals / number of clauses = 2.554 1,8546 c number of clauses = 2536 c number of clauses / number of variables = 3.218 c number of literals / number of clauses = 2.579 1,474 c number of clauses = 2836 c number of clauses / number of variables = 3.298 c number of literals / number of clauses = 2.555 1,188 c number of clauses = 4356 c number of clauses / number of variables = 3.639 c number of literals / number of clauses = 2.621 1,7899 c number of clauses = 3607 c number of clauses / number of variables = 3.435 c number of literals / number of clauses = 2.572 1,9 c number of clauses = 3256 c number of clauses / number of variables = 3.409 c number of literals / number of clauses = 2.576 1,774 c number of clauses = 4374 c number of clauses / number of variables = 3.654 c number of literals / number of clauses = 2.615 2,3455 c number of clauses = 3117 c number of clauses / number of variables = 3.853 c number of literals / number of clauses = 2.532 2,12 c number of clauses = 2998 c number of clauses / number of variables = 3.692 c number of literals / number of clauses = 2.516 2,45 c number of clauses = 4446 c number of clauses / number of variables = 4.312 c number of literals / number of clauses = 2.585 2,78 c number of clauses = 4032 c number of clauses / number of variables = 4.020 c number of literals / number of clauses = 2.544 2,8546 c number of clauses = 3528 c number of clauses / number of variables = 3.955 c number of literals / number of clauses = 2.566 2,474 c number of clauses = 3970 c number of clauses / number of variables = 4.118 c number of literals / number of clauses = 2.545 2,188 c number of clauses = 5952 c number of clauses / number of variables = 4.492 c number of literals / number of clauses = 2.591 2,7899 c number of clauses = 5009 c number of clauses / number of variables = 4.281 c number of literals / number of clauses = 2.556 2,9 c number of clauses = 4524 c number of clauses / number of variables = 4.240 c number of literals / number of clauses = 2.559 2,774 c number of clauses = 5947 c number of clauses / number of variables = 4.488 c number of literals / number of clauses = 2.591 3,3455 c number of clauses = 3069 c number of clauses / number of variables = 3.794 c number of literals / number of clauses = 2.540 3,12 c number of clauses = 2987 c number of clauses / number of variables = 3.679 c number of literals / number of clauses = 2.518 3,45 c number of clauses = 4380 c number of clauses / number of variables = 4.248 c number of literals / number of clauses = 2.594 3,78 c number of clauses = 3955 c number of clauses / number of variables = 3.943 c number of literals / number of clauses = 2.555 3,8546 c number of clauses = 3483 c number of clauses / number of variables = 3.905 c number of literals / number of clauses = 2.573 3,474 c number of clauses = 3881 c number of clauses / number of variables = 4.026 c number of literals / number of clauses = 2.558 3,188 c number of clauses = 5867 c number of clauses / number of variables = 4.428 c number of literals / number of clauses = 2.599 3,7899 c number of clauses = 4918 c number of clauses / number of variables = 4.203 c number of literals / number of clauses = 2.566 3,9 c number of clauses = 4443 c number of clauses / number of variables = 4.164 c number of literals / number of clauses = 2.570 3,774 c number of clauses = 5878 c number of clauses / number of variables = 4.436 c number of literals / number of clauses = 2.598 4,3455 c number of clauses = 4156 c number of clauses / number of variables = 4.592 c number of literals / number of clauses = 2.603 4,12 c number of clauses = 4028 c number of clauses / number of variables = 4.397 c number of literals / number of clauses = 2.617 4,45 c number of clauses = 5793 c number of clauses / number of variables = 5.068 c number of literals / number of clauses = 2.640 4,78 c number of clauses = 5326 c number of clauses / number of variables = 4.777 c number of literals / number of clauses = 2.615 4,8546 c number of clauses = 4681 c number of clauses / number of variables = 4.700 c number of literals / number of clauses = 2.628 4,474 c number of clauses = 5226 c number of clauses / number of variables = 4.893 c number of literals / number of clauses = 2.611 4,188 c number of clauses = 7687 c number of clauses / number of variables = 5.290 c number of literals / number of clauses = 2.628 4,7899 c number of clauses = 6542 c number of clauses / number of variables = 5.071 c number of literals / number of clauses = 2.608 4,9 c number of clauses = 5889 c number of clauses / number of variables = 4.995 c number of literals / number of clauses = 2.613 4,774 c number of clauses = 7704 c number of clauses / number of variables = 5.302 c number of literals / number of clauses = 2.629 5,3455 c number of clauses = 4117 c number of clauses / number of variables = 4.549 c number of literals / number of clauses = 2.599 5,12 c number of clauses = 4035 c number of clauses / number of variables = 4.405 c number of literals / number of clauses = 2.617 5,45 c number of clauses = 5737 c number of clauses / number of variables = 5.019 c number of literals / number of clauses = 2.636 5,78 c number of clauses = 5327 c number of clauses / number of variables = 4.778 c number of literals / number of clauses = 2.615 5,8546 c number of clauses = 4647 c number of clauses / number of variables = 4.666 c number of literals / number of clauses = 2.626 5,474 c number of clauses = 5159 c number of clauses / number of variables = 4.831 c number of literals / number of clauses = 2.606 5,188 c number of clauses = 7638 c number of clauses / number of variables = 5.257 c number of literals / number of clauses = 2.625 5,7899 c number of clauses = 6463 c number of clauses / number of variables = 5.010 c number of literals / number of clauses = 2.604 5,9 c number of clauses = 5864 c number of clauses / number of variables = 4.974 c number of literals / number of clauses = 2.612 5,774 c number of clauses = 7618 c number of clauses / number of variables = 5.243 c number of literals / number of clauses = 2.624 6,3455 c number of clauses = 4067 c number of clauses / number of variables = 4.494 c number of literals / number of clauses = 2.594 6,12 c number of clauses = 3999 c number of clauses / number of variables = 4.366 c number of literals / number of clauses = 2.614 6,45 c number of clauses = 5687 c number of clauses / number of variables = 4.976 c number of literals / number of clauses = 2.633 6,78 c number of clauses = 5254 c number of clauses / number of variables = 4.712 c number of literals / number of clauses = 2.609 6,8546 c number of clauses = 4570 c number of clauses / number of variables = 4.588 c number of literals / number of clauses = 2.619 6,474 c number of clauses = 5095 c number of clauses / number of variables = 4.771 c number of literals / number of clauses = 2.601 6,188 c number of clauses = 7537 c number of clauses / number of variables = 5.187 c number of literals / number of clauses = 2.620 6,7899 c number of clauses = 6406 c number of clauses / number of variables = 4.966 c number of literals / number of clauses = 2.600 6,9 c number of clauses = 5781 c number of clauses / number of variables = 4.903 c number of literals / number of clauses = 2.606 6,774 c number of clauses = 7557 c number of clauses / number of variables = 5.201 c number of literals / number of clauses = 2.621 7,3455 c number of clauses = 4022 c number of clauses / number of variables = 4.444 c number of literals / number of clauses = 2.590 7,12 c number of clauses = 3991 c number of clauses / number of variables = 4.357 c number of literals / number of clauses = 2.613 7,45 c number of clauses = 5609 c number of clauses / number of variables = 4.907 c number of literals / number of clauses = 2.628 7,78 c number of clauses = 5166 c number of clauses / number of variables = 4.633 c number of literals / number of clauses = 2.603 7,8546 c number of clauses = 4534 c number of clauses / number of variables = 4.552 c number of literals / number of clauses = 2.616 7,474 c number of clauses = 5038 c number of clauses / number of variables = 4.717 c number of literals / number of clauses = 2.596 7,188 c number of clauses = 7480 c number of clauses / number of variables = 5.148 c number of literals / number of clauses = 2.618 7,7899 c number of clauses = 6350 c number of clauses / number of variables = 4.922 c number of literals / number of clauses = 2.597 7,9 c number of clauses = 5748 c number of clauses / number of variables = 4.875 c number of literals / number of clauses = 2.604 7,774 c number of clauses = 7519 c number of clauses / number of variables = 5.175 c number of literals / number of clauses = 2.619 8,3455 c number of clauses = 5476 c number of clauses / number of variables = 5.471 c number of literals / number of clauses = 2.805 8,12 c number of clauses = 5467 c number of clauses / number of variables = 5.360 c number of literals / number of clauses = 2.877 8,45 c number of clauses = 7445 c number of clauses / number of variables = 5.932 c number of literals / number of clauses = 2.808 8,78 c number of clauses = 6975 c number of clauses / number of variables = 5.685 c number of literals / number of clauses = 2.812 8,8546 c number of clauses = 6133 c number of clauses / number of variables = 5.575 c number of literals / number of clauses = 2.825 8,474 c number of clauses = 6725 c number of clauses / number of variables = 5.738 c number of literals / number of clauses = 2.783 8,188 c number of clauses = 9795 c number of clauses / number of variables = 6.195 c number of literals / number of clauses = 2.768 8,7899 c number of clauses = 8414 c number of clauses / number of variables = 5.967 c number of literals / number of clauses = 2.767 8,9 c number of clauses = 7610 c number of clauses / number of variables = 5.895 c number of literals / number of clauses = 2.779 8,774 c number of clauses = 9808 c number of clauses / number of variables = 6.204 c number of literals / number of clauses = 2.769