1 2 3 4 5 6 7 8 9
-lm_nodes 10 -lm_edges 40 -lm_paths 16807 +lm_nodes 64 +lm_edges 238 +lm_paths 16807 constr_nodes 64 constr_edges 238 constr_paths 16807