index

DRESDEN/logistics/fPru1Q

opnfNumOrs524
opnfTimeToCreate1334
opnfNumLinks127068
opnfNumNots15
opnfNumComponents27703
opnfNumAnds25244
EngineAverage state changes per second
SANCHO_DEAD_RECKONING_PROPNET:1.61c496741.26666666666
ALLOY_COMPILED_PROVER_CACHING:277927.6
ALLOY_DIFF_PROP_NET:141980.7
PALAMEDES_JOCULAR:0.6.15227.633333333333
ALLOY_TUPLE_PROVER:23339.5333333333333
PALAMEDES_JAVA_ECLIPSE:0.6.12930.5333333333333
GGP_BASE_PROVER:2015-04-261681.4666666666667
PALAMEDES_JAVA_PROVER_USEOPT_FALSE:0.6.11232.9666666666667
PALAMEDES_JAVA_PROVER_USEOPT_TRUE:0.6.11112.3333333333333
REKKURA_BACKWARD_PROVER:1.0.0885.0333333333333
REKKURA_BACKWARD_PROVER_OSTD:1.0.0883.5333333333333
FLUXPLAYER_PROLOG:1.1378.3333333333333
REKKURA_GENERIC_FORWARD_PROVER_OSTD:1.0.0295.0
REKKURA_GENERIC_FORWARD_PROVER:1.0.0287.14752349843343

Machines with errors:

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

index