BASE/skirmish/Y_psYQ

Engine	Average state changes per second
SANCHO_DEAD_RECKONING_PROPNET:1.61c	111807.5
ALLOY_COMPILED_PROVER_CACHING:2	7408.5
ALLOY_DIFF_PROP_NET:1	3471.9
PALAMEDES_JAVA_ECLIPSE:0.6.1	411.6666666666667
ALLOY_TUPLE_PROVER:2	182.04239434742036
GGP_BASE_PROVER:2015-04-26	44.61251416005864
PALAMEDES_JOCULAR:0.6.1	35.59050919754732
PALAMEDES_JAVA_PROVER_USEOPT_TRUE:0.6.1	28.944475901808612
REKKURA_BACKWARD_PROVER:1.0.0	25.004994339748286
REKKURA_BACKWARD_PROVER_OSTD:1.0.0	23.63018264231436
REKKURA_GENERIC_FORWARD_PROVER:1.0.0	8.052172755706396
REKKURA_GENERIC_FORWARD_PROVER_OSTD:1.0.0	7.8125
PALAMEDES_JAVA_PROVER_USEOPT_FALSE:0.6.1	5.937572561117192
FLUXPLAYER_PROLOG:1.1	3.6987670776407864

Machines with errors:

Test process failed to output results for unknown reason