p=3 n=1 noramsey INFEASIBLE 0.0s
p=3 n=4 noramsey FEASIBLE witness-verified=True 0.0s
p=3 n=7 noramsey FEASIBLE witness-verified=True 0.0s
p=3 n=10 noramsey FEASIBLE witness-verified=True 0.0s
p=3 n=13 noramsey FEASIBLE witness-verified=True 0.0s
p=3 n=16 noramsey FEASIBLE witness-verified=True 0.0s
p=3 n=19 noramsey FEASIBLE witness-verified=True 0.0s
p=5 n=2 noramsey FEASIBLE witness-verified=True 0.0s
p=5 n=7 noramsey FEASIBLE witness-verified=True 0.0s
p=5 n=12 noramsey FEASIBLE witness-verified=True 0.0s
p=5 n=17 noramsey FEASIBLE witness-verified=True 0.0s
p=7 n=1 noramsey INFEASIBLE 0.0s
p=7 n=8 noramsey FEASIBLE witness-verified=True 0.0s
p=7 n=15 noramsey FEASIBLE witness-verified=True 0.0s
