DRESDEN/knightfight/4_Ly4w

ALLOY_COMPILED_PROVER_CACHING:1109510
ALLOY_TUPLE_PROVER:15212
PALAMEDES_JOCULAR:0.6.13610
GGP_BASE_PROVER:2015-04-263058
PALAMEDES_JAVA_PROVER_USEOPT_TRUE:0.6.11932
PALAMEDES_JAVA_PROVER_USEOPT_FALSE:0.6.11232
REKKURA_BACKWARD_PROVER:1.0.052
REKKURA_BACKWARD_PROVER_OSTD:1.0.051
REKKURA_GENERIC_FORWARD_PROVER_OSTD:1.0.012
REKKURA_GENERIC_FORWARD_PROVER:1.0.012
REKKURA_GENERIC_BACKWARD_PROVER:1.0.011
REKKURA_GENERIC_BACKWARD_PROVER_OSTD:1.0.010