DRESDEN/four_way_battle/xSOQXA

Engine	Average state changes per second
ALLOY_DIFF_PROP_NET:1	30624.9
ALLOY_COMPILED_PROVER_CACHING:2	7353.4
FLUXPLAYER_PROLOG:1.1	858.6666666666666
PALAMEDES_JAVA_ECLIPSE:0.6.1	688.9437018766041
ALLOY_TUPLE_PROVER:2	350.03333333333336
GGP_BASE_PROVER:2015-04-26	260.3159789347377
PALAMEDES_JAVA_PROVER_USEOPT_TRUE:0.6.1	132.65782281181254
PALAMEDES_JOCULAR:0.6.1	114.98850114988501
PALAMEDES_JAVA_PROVER_USEOPT_FALSE:0.6.1	19.724587546567324
REKKURA_BACKWARD_PROVER:1.0.0	6.60339792938678
REKKURA_BACKWARD_PROVER_OSTD:1.0.0	6.530285866595588
REKKURA_GENERIC_FORWARD_PROVER_OSTD:1.0.0	1.7173618679612932
REKKURA_GENERIC_FORWARD_PROVER:1.0.0	1.649947201689546

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