V1 n=13 k=2 b=6 group=cyc mult=None orbitvars=2838 clauses=17490 encode=0.3s solve=0.0s -> UNSAT (no symmetric one)
V1 n=13 k=2 b=6 group=aff mult=None orbitvars=242 clauses=1131 encode=0.9s solve=0.0s -> UNSAT (no symmetric one)
V2 n=13 k=2 b=6 group=cyc mult=None orbitvars=2904 clauses=33462 encode=0.7s solve=0.0s -> UNSAT (no symmetric one)
V2 n=13 k=2 b=6 group=aff mult=None orbitvars=247 clauses=2066 encode=1.3s solve=0.0s -> UNSAT (no symmetric one)
V1 n=13 k=3 b=4 group=cyc mult=None orbitvars=1320 clauses=31009 encode=0.5s solve=0.0s -> UNSAT (no symmetric one)
V1 n=13 k=3 b=4 group=aff mult=None orbitvars=115 clauses=2134 encode=0.7s solve=0.0s -> UNSAT (no symmetric one)
V2 n=13 k=3 b=4 group=cyc mult=None orbitvars=1650 clauses=55759 encode=1.0s solve=0.0s -> UNSAT (no symmetric one)
V2 n=13 k=3 b=4 group=aff mult=None orbitvars=140 clauses=3529 encode=1.2s solve=0.0s -> UNSAT (no symmetric one)
V1 n=13 k=4 b=3 group=cyc mult=None orbitvars=1320 clauses=36190 encode=0.6s solve=0.0s -> UNSAT (no symmetric one)
V1 n=13 k=4 b=3 group=aff mult=None orbitvars=115 clauses=2561 encode=0.7s solve=0.0s -> UNSAT (no symmetric one)
V2 n=13 k=4 b=3 group=cyc mult=None orbitvars=2310 clauses=55990 encode=1.0s solve=0.0s -> UNSAT (no symmetric one)
V2 n=13 k=4 b=3 group=aff mult=None orbitvars=195 clauses=3690 encode=1.6s solve=0.0s -> UNSAT (no symmetric one)
