BASE/stateSpaceMedium/3bUoIw

ALLOY_COMPILED_PROVER_CACHING:1	428023
PALAMEDES_JOCULAR:0.6.1	17982
ALLOY_TUPLE_PROVER:1	15768
GGP_BASE_PROVER:2015-04-26	12140
REKKURA_BACKWARD_PROVER_OSTD:1.0.0	5526
REKKURA_BACKWARD_PROVER:1.0.0	5393
PALAMEDES_JAVA_PROVER_USEOPT_TRUE:0.6.1	2730
REKKURA_GENERIC_FORWARD_PROVER:1.0.0	1992
REKKURA_GENERIC_FORWARD_PROVER_OSTD:1.0.0	1963
PALAMEDES_JAVA_PROVER_USEOPT_FALSE:0.6.1	1610
REKKURA_GENERIC_BACKWARD_PROVER_OSTD:1.0.0	1560
REKKURA_GENERIC_BACKWARD_PROVER:1.0.0	1434