index

DRESDEN/golden_rectangle/1uloXw

opnfNumOrs379
opnfTimeToCreate929
opnfNumLinks9364
opnfNumNots3
opnfNumComponents3814
opnfNumAnds2257
EngineAverage state changes per second
SANCHO_DEAD_RECKONING_PROPNET:1.61c724367.2333333333
ALLOY_DIFF_PROP_NET:173475.4
ALLOY_COMPILED_PROVER_CACHING:215830.233333333334
ALLOY_TUPLE_PROVER:2551.0333333333333
REKKURA_BACKWARD_PROVER:1.0.0473.6508783040565
REKKURA_BACKWARD_PROVER_OSTD:1.0.0439.25202493250225
GGP_BASE_PROVER:2015-04-26282.72390920302655
PALAMEDES_JAVA_PROVER_USEOPT_TRUE:0.6.1112.45916938870742
REKKURA_GENERIC_FORWARD_PROVER:1.0.064.16238917405506
REKKURA_GENERIC_FORWARD_PROVER_OSTD:1.0.064.0850468224081
CADIAPLAYER_PROLOG:3.05.535412803409814
PALAMEDES_JAVA_ECLIPSE:0.6.14.216047538425787
FLUXPLAYER_PROLOG:1.13.6
PALAMEDES_JOCULAR:0.6.10.17844927579335573
PALAMEDES_JAVA_PROVER_USEOPT_FALSE:0.6.10.0

index