index

DRESDEN/3pttc/uwYBZw

opnfNumOrs859
opnfTimeToCreate940
opnfNumLinks30427
opnfNumNots176
opnfNumComponents11891
opnfNumAnds1876
EngineAverage state changes per second
SANCHO_DEAD_RECKONING_PROPNET:1.61c271061.26666666666
ALLOY_COMPILED_PROVER_CACHING:277147.73333333334
ALLOY_DIFF_PROP_NET:147995.933333333334
FLUXPLAYER_PROLOG:1.115478.0
CADIAPLAYER_PROLOG:3.05724.6367151046525
PALAMEDES_JAVA_ECLIPSE:0.6.13686.866666666667
ALLOY_TUPLE_PROVER:22788.9
PALAMEDES_JOCULAR:0.6.12082.766666666667
GGP_BASE_PROVER:2015-04-261521.2
PALAMEDES_JAVA_PROVER_USEOPT_TRUE:0.6.1866.5711142961901
REKKURA_BACKWARD_PROVER:1.0.0835.6333333333333
REKKURA_BACKWARD_PROVER_OSTD:1.0.0834.8333333333334
PALAMEDES_JAVA_PROVER_USEOPT_FALSE:0.6.1592.7666666666667
REKKURA_GENERIC_FORWARD_PROVER_OSTD:1.0.0220.61862542497167
REKKURA_GENERIC_FORWARD_PROVER:1.0.0220.45196986867543

index