index

BASE/choicethroughalt/tt71Lg

opnfNumOrs8646
opnfTimeToCreate4189
opnfNumLinks338952
opnfNumNots117
opnfNumComponents48480
opnfNumAnds17287
EngineAverage state changes per second
SANCHO_DEAD_RECKONING_PROPNET:1.61c491916.76666666666
ALLOY_COMPILED_PROVER_CACHING:229082.433333333334
ALLOY_DIFF_PROP_NET:116388.533333333333
FLUXPLAYER_PROLOG:1.113921.566666666668
CADIAPLAYER_PROLOG:3.01915.2694910169662
PALAMEDES_JAVA_ECLIPSE:0.6.11477.5
ALLOY_TUPLE_PROVER:21014.8
GGP_BASE_PROVER:2015-04-26493.03333333333336
PALAMEDES_JAVA_PROVER_USEOPT_TRUE:0.6.1306.5026830650268
PALAMEDES_JAVA_PROVER_USEOPT_FALSE:0.6.1111.35553111355532
REKKURA_BACKWARD_PROVER:1.0.097.38701506465804
REKKURA_BACKWARD_PROVER_OSTD:1.0.094.58108378324336
REKKURA_GENERIC_FORWARD_PROVER:1.0.024.509640680675346
REKKURA_GENERIC_FORWARD_PROVER_OSTD:1.0.024.317121918720854

Machines with errors:

PALAMEDES_JOCULAR:0.6.1Exception of type NullPointerException

index