index

BASE/breakthroughSuicide/wZDpIg

opnfNumOrs690
opnfTimeToCreate1167
opnfNumLinks13208
opnfNumNots132
opnfNumComponents7020
opnfNumAnds500
EngineAverage state changes per second
SANCHO_DEAD_RECKONING_PROPNET:1.61c832492.5
ALLOY_COMPILED_PROVER_CACHING:249032.2
ALLOY_DIFF_PROP_NET:125962.4
CADIAPLAYER_PROLOG:3.02032.115134756971
PALAMEDES_JAVA_ECLIPSE:0.6.11587.4
ALLOY_TUPLE_PROVER:2960.9333333333333
GGP_BASE_PROVER:2015-04-26543.9666666666667
PALAMEDES_JAVA_PROVER_USEOPT_TRUE:0.6.1371.8752083194454
PALAMEDES_JOCULAR:0.6.1316.1666666666667
PALAMEDES_JAVA_PROVER_USEOPT_FALSE:0.6.1171.8161517181615
REKKURA_BACKWARD_PROVER_OSTD:1.0.0132.1
REKKURA_BACKWARD_PROVER:1.0.0127.14971337155046
REKKURA_GENERIC_FORWARD_PROVER:1.0.031.74550299800133
REKKURA_GENERIC_FORWARD_PROVER_OSTD:1.0.031.730160317301603
FLUXPLAYER_PROLOG:1.14.631789403532156

index