index

BASE/3pttc/0sol9g

opnfNumOrs865
opnfTimeToCreate1328
opnfNumLinks32608
opnfNumNots182
opnfNumComponents12989
opnfNumAnds1879
EngineAverage state changes per second
SANCHO_DEAD_RECKONING_PROPNET:1.61c257625.76666666666
ALLOY_COMPILED_PROVER_CACHING:266413.4
ALLOY_DIFF_PROP_NET:140797.76666666667
FLUXPLAYER_PROLOG:1.114814.0
CADIAPLAYER_PROLOG:3.05478.684043865204
PALAMEDES_JAVA_ECLIPSE:0.6.13482.4333333333334
ALLOY_TUPLE_PROVER:22419.4
GGP_BASE_PROVER:2015-04-261353.4333333333334
PALAMEDES_JOCULAR:0.6.11001.5333333333333
PALAMEDES_JAVA_PROVER_USEOPT_TRUE:0.6.1748.6750441651945
PALAMEDES_JAVA_PROVER_USEOPT_FALSE:0.6.1318.38938702043265
REKKURA_BACKWARD_PROVER:1.0.0145.42363842410506
REKKURA_BACKWARD_PROVER_OSTD:1.0.0137.92413839077395
REKKURA_GENERIC_FORWARD_PROVER_OSTD:1.0.021.698553429771348
REKKURA_GENERIC_FORWARD_PROVER:1.0.021.465951134962168

index