BASE/dotsAndBoxesSuicide/jzQbLw

Engine	Average state changes per second
SANCHO_DEAD_RECKONING_PROPNET:1.61c	833761.6
ALLOY_DIFF_PROP_NET:1	88189.56666666667
ALLOY_COMPILED_PROVER_CACHING:2	65644.76666666666
FLUXPLAYER_PROLOG:1.1	7555.766666666666
PALAMEDES_JAVA_ECLIPSE:0.6.1	1604.9
CADIAPLAYER_PROLOG:3.0	1583.1556503198294
ALLOY_TUPLE_PROVER:2	1527.3333333333333
PALAMEDES_JOCULAR:0.6.1	1292.2666666666667
REKKURA_BACKWARD_PROVER:1.0.0	796.3734542181927
REKKURA_BACKWARD_PROVER_OSTD:1.0.0	769.0666666666667
GGP_BASE_PROVER:2015-04-26	615.7794740175327
PALAMEDES_JAVA_PROVER_USEOPT_TRUE:0.6.1	516.3666666666667
PALAMEDES_JAVA_PROVER_USEOPT_FALSE:0.6.1	339.69936339699365
REKKURA_GENERIC_FORWARD_PROVER:1.0.0	29.251066098081022
REKKURA_GENERIC_FORWARD_PROVER_OSTD:1.0.0	28.97392346887801