index

STANFORD/untwistycorridor/EDPPAQ

opnfNumOrs3
opnfTimeToCreate245
opnfNumLinks104
opnfNumNots2
opnfNumComponents85
opnfNumAnds7
EngineAverage state changes per second
SANCHO_DEAD_RECKONING_PROPNET:1.61c3660246.7
ALLOY_DIFF_PROP_NET:1836042.8333333334
ALLOY_COMPILED_PROVER_CACHING:2619164.8333333334
PALAMEDES_JOCULAR:0.6.162966.32313829787
FLUXPLAYER_PROLOG:1.130780.633333333335
ALLOY_TUPLE_PROVER:227342.066666666666
GGP_BASE_PROVER:2015-04-2623520.866666666665
PALAMEDES_JAVA_ECLIPSE:0.6.122869.666666666668
CADIAPLAYER_PROLOG:3.021803.833333333332
PALAMEDES_JAVA_PROVER_USEOPT_FALSE:0.6.117661.066666666666
PALAMEDES_JAVA_PROVER_USEOPT_TRUE:0.6.113014.333333333334
REKKURA_BACKWARD_PROVER:1.0.06516.566666666667
REKKURA_BACKWARD_PROVER_OSTD:1.0.06390.766666666666
REKKURA_GENERIC_FORWARD_PROVER_OSTD:1.0.02792.5666666666666
REKKURA_GENERIC_FORWARD_PROVER:1.0.02725.5

index