Matt Barnett

Trace from logs ```java.lang.RuntimeException: Only one synthesis query at a time is supported. at edu.rice.cs.caper.bayou.core.synthesizer.EvidenceExtractor.visit(EvidenceExtractor.java:99) ~[bayou-1.0.0.jar:?] at org.eclipse.jdt.core.dom.MethodInvocation.accept0(MethodInvocation.java:231) ~[bayou-1.0.0.jar:?] at org.eclipse.jdt.core.dom.ASTNode.accept(ASTNode.java:2711) ~[bayou-1.0.0.jar:?] at org.eclipse.jdt.core.dom.ASTNode.acceptChild(ASTNode.java:2759) ~[bayou-1.0.0.jar:?] at org.eclipse.jdt.core.dom.ExpressionStatement.accept0(ExpressionStatement.java:145) ~[bayou-1.0.0.jar:?] at org.eclipse.jdt.core.dom.ASTNode.accept(ASTNode.java:2711)...

If there was some issue with the vms behind the load balancer not responding to a request I can imagine that could manifest to the browser as the CORS error...

LB is returning 503. I might check to see if any healthy vms are in the supporting Target Group. 

Oh, I haven't worked on this project in years. I thought you were running it now.

No, I don't have access anymore.