index

DRESDEN/Zhadu/9zpQ5w

opnfNumOrs1971
opnfTimeToCreate2026
opnfNumLinks28654
opnfNumNots373
opnfNumComponents13723
opnfNumAnds5401
EngineAverage state changes per second
SANCHO_DEAD_RECKONING_PROPNET:1.61c101158.46666666666
ALLOY_DIFF_PROP_NET:126243.1
FLUXPLAYER_PROLOG:1.118039.766666666666
ALLOY_COMPILED_PROVER_CACHING:215055.766666666666
CADIAPLAYER_PROLOG:3.01636.2060921149105
PALAMEDES_JAVA_ECLIPSE:0.6.1553.6666666666666
ALLOY_TUPLE_PROVER:2222.50366617784294
GGP_BASE_PROVER:2015-04-2657.73202745019655
PALAMEDES_JAVA_PROVER_USEOPT_TRUE:0.6.154.772613693153424
REKKURA_BACKWARD_PROVER:1.0.041.146093619856735
REKKURA_BACKWARD_PROVER_OSTD:1.0.040.971320075946835
PALAMEDES_JOCULAR:0.6.130.365654478184062
REKKURA_GENERIC_FORWARD_PROVER:1.0.025.626499600106637
REKKURA_GENERIC_FORWARD_PROVER_OSTD:1.0.025.623084099693457
PALAMEDES_JAVA_PROVER_USEOPT_FALSE:0.6.15.1765330501725515

index