index

BASE/brain_teaser_extended/ZDp94A

opnfNumOrs207
opnfTimeToCreate322
opnfNumLinks1702
opnfNumNots54
opnfNumComponents1070
opnfNumAnds251
EngineAverage state changes per second
SANCHO_DEAD_RECKONING_PROPNET:1.61c787863.0666666667
ALLOY_DIFF_PROP_NET:1211844.9
ALLOY_COMPILED_PROVER_CACHING:2207226.76666666666
FLUXPLAYER_PROLOG:1.18260.0
CADIAPLAYER_PROLOG:3.07673.744208526383
PALAMEDES_JOCULAR:0.6.17411.666666666667
ALLOY_TUPLE_PROVER:26758.933333333333
PALAMEDES_JAVA_ECLIPSE:0.6.15964.5
GGP_BASE_PROVER:2015-04-264020.266666666667
REKKURA_BACKWARD_PROVER:1.0.03285.0666666666666
REKKURA_BACKWARD_PROVER_OSTD:1.0.03260.5
PALAMEDES_JAVA_PROVER_USEOPT_TRUE:0.6.11793.5666666666666
REKKURA_GENERIC_FORWARD_PROVER_OSTD:1.0.01541.7666666666667
REKKURA_GENERIC_FORWARD_PROVER:1.0.01519.8333333333333
PALAMEDES_JAVA_PROVER_USEOPT_FALSE:0.6.1809.0666666666667

index