BASE/stateSpaceSmall/Q7osKA
PALAMEDES_JOCULAR:0.6.1
3937888
ALLOY_COMPILED_PROVER_CACHING:1
481334
ALLOY_TUPLE_PROVER:1
23247
GGP_BASE_PROVER:2015-04-26
16527
REKKURA_BACKWARD_PROVER:1.0.0
9040
PALAMEDES_JAVA_PROVER_USEOPT_TRUE:0.6.1
8880
REKKURA_BACKWARD_PROVER_OSTD:1.0.0
8736
PALAMEDES_JAVA_PROVER_USEOPT_FALSE:0.6.1
8607
REKKURA_GENERIC_FORWARD_PROVER:1.0.0
3299
REKKURA_GENERIC_FORWARD_PROVER_OSTD:1.0.0
3171
REKKURA_GENERIC_BACKWARD_PROVER_OSTD:1.0.0
2412
REKKURA_GENERIC_BACKWARD_PROVER:1.0.0
2402