STANFORD/multiplesukoshi/vLSQPg

Engine	Average state changes per second
SANCHO_DEAD_RECKONING_PROPNET:1.61c	1150876.8333333333
ALLOY_DIFF_PROP_NET:1	131655.5
PALAMEDES_JOCULAR:0.6.1	495.01683277224095
CADIAPLAYER_PROLOG:3.0	388.46626582068234
REKKURA_BACKWARD_PROVER_OSTD:1.0.0	380.3539882003933
REKKURA_BACKWARD_PROVER:1.0.0	372.32092263591215
FLUXPLAYER_PROLOG:1.1	261.23333333333335
PALAMEDES_JAVA_ECLIPSE:0.6.1	241.61722551829877
ALLOY_TUPLE_PROVER:2	229.78468102126524
REKKURA_GENERIC_FORWARD_PROVER_OSTD:1.0.0	124.68753124687531
GGP_BASE_PROVER:2015-04-26	123.35021997067058
REKKURA_GENERIC_FORWARD_PROVER:1.0.0	122.80467890825474
PALAMEDES_JAVA_PROVER_USEOPT_TRUE:0.6.1	48.848755456332675
PALAMEDES_JAVA_PROVER_USEOPT_FALSE:0.6.1	21.95715190084297

Machines with errors:

ArrayIndexOutOfBoundsException: 5