BASE/pegEuro/5awwhg

Engine	Average state changes per second
SANCHO_DEAD_RECKONING_PROPNET:1.61c	461790.63333333336
ALLOY_DIFF_PROP_NET:1	37275.2
ALLOY_COMPILED_PROVER_CACHING:2	18547.1
FLUXPLAYER_PROLOG:1.1	3170.5666666666666
CADIAPLAYER_PROLOG:3.0	1626.9791006966434
PALAMEDES_JAVA_ECLIPSE:0.6.1	1454.6666666666667
ALLOY_TUPLE_PROVER:2	1148.0666666666666
GGP_BASE_PROVER:2015-04-26	603.4798840038666
PALAMEDES_JAVA_PROVER_USEOPT_TRUE:0.6.1	349.6550114996167
REKKURA_BACKWARD_PROVER:1.0.0	315.51229918005464
REKKURA_BACKWARD_PROVER_OSTD:1.0.0	310.9896336788774
PALAMEDES_JOCULAR:0.6.1	261.4405226144052
PALAMEDES_JAVA_PROVER_USEOPT_FALSE:0.6.1	78.6430737445433
REKKURA_GENERIC_FORWARD_PROVER:1.0.0	67.12662067126621
REKKURA_GENERIC_FORWARD_PROVER_OSTD:1.0.0	66.93766034718288