index

BASE/wallmaze/uxNQ9g

opnfNumOrs1178
opnfTimeToCreate1931
opnfNumLinks94309
opnfNumNots122
opnfNumComponents34571
opnfNumAnds2410
EngineAverage state changes per second
SANCHO_DEAD_RECKONING_PROPNET:1.61c542884.3666666667
ALLOY_DIFF_PROP_NET:1131661.43333333332
ALLOY_COMPILED_PROVER_CACHING:226878.5
PALAMEDES_JOCULAR:0.6.11720.2
ALLOY_TUPLE_PROVER:21176.7333333333333
GGP_BASE_PROVER:2015-04-26838.6666666666666
PALAMEDES_JAVA_ECLIPSE:0.6.1747.8666666666667
REKKURA_BACKWARD_PROVER_OSTD:1.0.0716.3333333333334
REKKURA_BACKWARD_PROVER:1.0.0711.4429519016032
CADIAPLAYER_PROLOG:3.0381.14726825048245
PALAMEDES_JAVA_PROVER_USEOPT_TRUE:0.6.1319.53333333333336
PALAMEDES_JAVA_PROVER_USEOPT_FALSE:0.6.1253.7915402819906
REKKURA_GENERIC_FORWARD_PROVER_OSTD:1.0.024.1887119344306
REKKURA_GENERIC_FORWARD_PROVER:1.0.023.57485348961108

Machines with errors:

FLUXPLAYER_PROLOG:1.1Test process failed to output results for unknown reason

index