index

DRESDEN/quad/JPe6fg

opnfNumOrs1348
opnfTimeToCreate4346
opnfNumLinks75298
opnfNumNots4
opnfNumComponents40170
opnfNumAnds20756
EngineAverage state changes per second
SANCHO_DEAD_RECKONING_PROPNET:1.61c326347.8333333333
ALLOY_DIFF_PROP_NET:112257.966666666667
REKKURA_BACKWARD_PROVER_OSTD:1.0.0181.39395353488217
REKKURA_BACKWARD_PROVER:1.0.0179.60938541527796
CADIAPLAYER_PROLOG:3.050.23026315789474
ALLOY_COMPILED_PROVER_CACHING:233.23896752706078
PALAMEDES_JAVA_ECLIPSE:0.6.113.062312562479173
REKKURA_GENERIC_FORWARD_PROVER:1.0.05.3783074931111186
FLUXPLAYER_PROLOG:1.15.333333333333333
ALLOY_TUPLE_PROVER:24.9606455453403
REKKURA_GENERIC_FORWARD_PROVER_OSTD:1.0.02.0404133482524847
PALAMEDES_JOCULAR:0.6.11.5965828979016339
PALAMEDES_JAVA_PROVER_USEOPT_TRUE:0.6.11.5037593984962405
GGP_BASE_PROVER:2015-04-261.332926050373497
PALAMEDES_JAVA_PROVER_USEOPT_FALSE:0.6.11.194936054773285

index