index

DRESDEN/checkers-newgoals/IJOqXQ

OPNF_STATSError
EngineAverage state changes per second
ALLOY_COMPILED_PROVER_CACHING:218412.566666666666
PALAMEDES_JAVA_ECLIPSE:0.6.1539.3820205993134
ALLOY_TUPLE_PROVER:2464.3845205159828
GGP_BASE_PROVER:2015-04-26242.050529964669
PALAMEDES_JAVA_PROVER_USEOPT_TRUE:0.6.1143.4760873187802
PALAMEDES_JOCULAR:0.6.167.53333333333333
FLUXPLAYER_PROLOG:1.131.8
PALAMEDES_JAVA_PROVER_USEOPT_FALSE:0.6.129.78014656895403
REKKURA_BACKWARD_PROVER:1.0.02.718652609243419
REKKURA_BACKWARD_PROVER_OSTD:1.0.02.5488248924197285
REKKURA_GENERIC_FORWARD_PROVER_OSTD:1.0.00.2797115862754848
REKKURA_GENERIC_FORWARD_PROVER:1.0.00.274482295891915

Machines with errors:

ALLOY_DIFF_PROP_NET:1IllegalArgumentException: Cartesian product too large, must have size at most Integer.MAX_VALUE
SANCHO_DEAD_RECKONING_PROPNET:1.61cTest process timed out after 240 seconds
CADIAPLAYER_PROLOG:3.0Test process failed to output results for unknown reason

index