STANFORD/alquerquezero/uVgA_A

ALLOY_COMPILED_PROVER_CACHING:155973
ALLOY_TUPLE_PROVER:11790
GGP_BASE_PROVER:2015-04-261165
PALAMEDES_JAVA_PROVER_USEOPT_TRUE:0.6.1519
REKKURA_BACKWARD_PROVER_OSTD:1.0.0289
REKKURA_BACKWARD_PROVER:1.0.0285
PALAMEDES_JOCULAR:0.6.1262
PALAMEDES_JAVA_PROVER_USEOPT_FALSE:0.6.197
REKKURA_GENERIC_FORWARD_PROVER_OSTD:1.0.066
REKKURA_GENERIC_FORWARD_PROVER:1.0.065
REKKURA_GENERIC_BACKWARD_PROVER_OSTD:1.0.060
REKKURA_GENERIC_BACKWARD_PROVER:1.0.059