index

DRESDEN/checkers-suicide-cylinder-mustjump/L2BYWg

OPNF_STATSError
EngineAverage state changes per second
ALLOY_COMPILED_PROVER_CACHING:213558.366666666667
ALLOY_TUPLE_PROVER:2409.1530282323923
GGP_BASE_PROVER:2015-04-26190.96030132328923
PALAMEDES_JAVA_ECLIPSE:0.6.1128.03333333333333
PALAMEDES_JAVA_PROVER_USEOPT_TRUE:0.6.197.16437306321015
FLUXPLAYER_PROLOG:1.19.133333333333333
PALAMEDES_JOCULAR:0.6.16.283871396748346
PALAMEDES_JAVA_PROVER_USEOPT_FALSE:0.6.13.4760154930976266
REKKURA_BACKWARD_PROVER_OSTD:1.0.01.1398794984530207
REKKURA_BACKWARD_PROVER:1.0.01.1267232237539766
REKKURA_GENERIC_FORWARD_PROVER_OSTD:1.0.00.5590450195665757
REKKURA_GENERIC_FORWARD_PROVER:1.0.00.5514109633473889

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