index

BASE/breakthrough/TGxk-g

opnfNumOrs690
opnfTimeToCreate1103
opnfNumLinks13208
opnfNumNots132
opnfNumComponents7020
opnfNumAnds500
EngineAverage state changes per second
SANCHO_DEAD_RECKONING_PROPNET:1.61c840430.1333333333
ALLOY_COMPILED_PROVER_CACHING:251105.5
ALLOY_DIFF_PROP_NET:125941.966666666667
CADIAPLAYER_PROLOG:3.02042.8
PALAMEDES_JAVA_ECLIPSE:0.6.11531.3
ALLOY_TUPLE_PROVER:2954.7666666666667
GGP_BASE_PROVER:2015-04-26510.6666666666667
PALAMEDES_JAVA_PROVER_USEOPT_TRUE:0.6.1371.48761707943066
PALAMEDES_JOCULAR:0.6.1315.95613479550684
PALAMEDES_JAVA_PROVER_USEOPT_FALSE:0.6.1169.56101463284557
REKKURA_BACKWARD_PROVER:1.0.0129.19569347688412
REKKURA_BACKWARD_PROVER_OSTD:1.0.0128.6033258906255
REKKURA_GENERIC_FORWARD_PROVER_OSTD:1.0.031.664114004128653
REKKURA_GENERIC_FORWARD_PROVER:1.0.031.624900026659557
FLUXPLAYER_PROLOG:1.14.765078307230923

index