index

DRESDEN/chinesecheckers6/yTbPDA

opnfNumOrs4458
opnfTimeToCreate5580
opnfNumLinks1085718
opnfNumNots0
opnfNumComponents369236
opnfNumAnds347413
EngineAverage state changes per second
SANCHO_DEAD_RECKONING_PROPNET:1.61c316299.3
ALLOY_COMPILED_PROVER_CACHING:238878.433333333334
ALLOY_DIFF_PROP_NET:17420.966666666666
PALAMEDES_JOCULAR:0.6.11687.1
ALLOY_TUPLE_PROVER:21527.5
FLUXPLAYER_PROLOG:1.11333.9
GGP_BASE_PROVER:2015-04-26992.6666666666666
PALAMEDES_JAVA_ECLIPSE:0.6.1824.5666666666667
PALAMEDES_JAVA_PROVER_USEOPT_TRUE:0.6.1537.5
PALAMEDES_JAVA_PROVER_USEOPT_FALSE:0.6.1372.76666666666665
REKKURA_BACKWARD_PROVER_OSTD:1.0.0171.74376749766697
REKKURA_GENERIC_FORWARD_PROVER_OSTD:1.0.054.85569552756115
REKKURA_GENERIC_FORWARD_PROVER:1.0.00.0

Machines with errors:

CADIAPLAYER_PROLOG:3.0Test process failed to output results for unknown reason

index