BASE/four_way_battle/xSOQXA

Engine	Average state changes per second
ALLOY_DIFF_PROP_NET:1	27132.866666666665
ALLOY_COMPILED_PROVER_CACHING:2	7671.866666666667
FLUXPLAYER_PROLOG:1.1	857.0
PALAMEDES_JAVA_ECLIPSE:0.6.1	692.0666666666667
ALLOY_TUPLE_PROVER:2	343.4323234343232
GGP_BASE_PROVER:2015-04-26	257.50758257507584
PALAMEDES_JAVA_PROVER_USEOPT_TRUE:0.6.1	135.97733711048159
PALAMEDES_JOCULAR:0.6.1	113.83333333333333
PALAMEDES_JAVA_PROVER_USEOPT_FALSE:0.6.1	21.398573428438105
REKKURA_BACKWARD_PROVER_OSTD:1.0.0	6.352479462533675
REKKURA_BACKWARD_PROVER:1.0.0	6.118445116882254
REKKURA_GENERIC_FORWARD_PROVER_OSTD:1.0.0	1.6897488569345969
REKKURA_GENERIC_FORWARD_PROVER:1.0.0	1.659255326209597

Machines with errors:

SANCHO_DEAD_RECKONING_PROPNET:1.61c	Exception of type NullPointerException
CADIAPLAYER_PROLOG:3.0	Test process failed to output results for unknown reason