BASE/point_grab/V_osUg

Engine	Average state changes per second
SANCHO_DEAD_RECKONING_PROPNET:1.61c	1845513.9
ALLOY_DIFF_PROP_NET:1	412119.6
ALLOY_COMPILED_PROVER_CACHING:2	403040.695930407
FLUXPLAYER_PROLOG:1.1	29723.333333333332
ALLOY_TUPLE_PROVER:2	19910.433333333334
PALAMEDES_JOCULAR:0.6.1	16168.143361534874
GGP_BASE_PROVER:2015-04-26	14421.866666666667
PALAMEDES_JAVA_PROVER_USEOPT_TRUE:0.6.1	9650.7
PALAMEDES_JAVA_ECLIPSE:0.6.1	7996.733333333334
PALAMEDES_JAVA_PROVER_USEOPT_FALSE:0.6.1	7666.3
REKKURA_BACKWARD_PROVER:1.0.0	3374.1
REKKURA_BACKWARD_PROVER_OSTD:1.0.0	3355.0
REKKURA_GENERIC_FORWARD_PROVER:1.0.0	750.2
REKKURA_GENERIC_FORWARD_PROVER_OSTD:1.0.0	699.8100063331223

Machines with errors:

Test process failed to output results for unknown reason