DRESDEN/sat_test_20v_91c_visualisation/aw8BIA

ALLOY_COMPILED_PROVER_CACHING:1	20069
PALAMEDES_JOCULAR:0.6.1	3417
ALLOY_TUPLE_PROVER:1	1986
GGP_BASE_PROVER:2015-04-26	1016
PALAMEDES_JAVA_PROVER_USEOPT_TRUE:0.6.1	649
PALAMEDES_JAVA_PROVER_USEOPT_FALSE:0.6.1	431
REKKURA_BACKWARD_PROVER_OSTD:1.0.0	415
REKKURA_BACKWARD_PROVER:1.0.0	403
REKKURA_GENERIC_FORWARD_PROVER:1.0.0	151
REKKURA_GENERIC_FORWARD_PROVER_OSTD:1.0.0	147
REKKURA_GENERIC_BACKWARD_PROVER:1.0.0	121
REKKURA_GENERIC_BACKWARD_PROVER_OSTD:1.0.0	120