index

DRESDEN/babel/WdSW4A

opnfNumOrs491
opnfTimeToCreate920
opnfNumLinks12435
opnfNumNots24
opnfNumComponents4446
opnfNumAnds2001
EngineAverage state changes per second
SANCHO_DEAD_RECKONING_PROPNET:1.61c235270.63333333333
ALLOY_COMPILED_PROVER_CACHING:270074.7
ALLOY_DIFF_PROP_NET:165661.96666666666
PALAMEDES_JAVA_ECLIPSE:0.6.12203.7
ALLOY_TUPLE_PROVER:2845.2
FLUXPLAYER_PROLOG:1.1755.4666666666667
GGP_BASE_PROVER:2015-04-26307.87947470168655
PALAMEDES_JAVA_PROVER_USEOPT_TRUE:0.6.1237.46666666666667
REKKURA_GENERIC_FORWARD_PROVER_OSTD:1.0.088.38232353529294
REKKURA_GENERIC_FORWARD_PROVER:1.0.087.27381785464361
REKKURA_BACKWARD_PROVER:1.0.082.17534739578126
REKKURA_BACKWARD_PROVER_OSTD:1.0.082.14476139696082
PALAMEDES_JAVA_PROVER_USEOPT_FALSE:0.6.157.488502299540094

Machines with errors:

PALAMEDES_JOCULAR:0.6.1Exception of type NullPointerException
CADIAPLAYER_PROLOG:3.0Test process failed to output results for unknown reason

index