index

BASE/factoringMediumTurtleBrain/8RBqmQ

opnfNumOrs291
opnfTimeToCreate405
opnfNumLinks3222
opnfNumNots21
opnfNumComponents2358
opnfNumAnds42
EngineAverage state changes per second
SANCHO_DEAD_RECKONING_PROPNET:1.61c1527281.5
ALLOY_DIFF_PROP_NET:1352592.0333333333
ALLOY_COMPILED_PROVER_CACHING:259545.53333333333
PALAMEDES_JOCULAR:0.6.12697.6666666666665
FLUXPLAYER_PROLOG:1.12595.6
ALLOY_TUPLE_PROVER:21941.0666666666666
REKKURA_BACKWARD_PROVER:1.0.01409.5333333333333
REKKURA_BACKWARD_PROVER_OSTD:1.0.01375.7
PALAMEDES_JAVA_ECLIPSE:0.6.11345.0666666666666
GGP_BASE_PROVER:2015-04-26995.3333333333334
PALAMEDES_JAVA_PROVER_USEOPT_FALSE:0.6.1704.809839672011
CADIAPLAYER_PROLOG:3.0673.8566007589375
PALAMEDES_JAVA_PROVER_USEOPT_TRUE:0.6.1521.5826139128695
REKKURA_GENERIC_FORWARD_PROVER_OSTD:1.0.0477.35075497483416
REKKURA_GENERIC_FORWARD_PROVER:1.0.0473.15089497016766

index