index

BASE/onestep/xi53wA

opnfNumOrs1
opnfTimeToCreate174
opnfNumLinks25
opnfNumNots0
opnfNumComponents28
opnfNumAnds2
EngineAverage state changes per second
PALAMEDES_JAVA_ECLIPSE:0.6.12862079.2
PALAMEDES_JOCULAR:0.6.12757836.2
SANCHO_DEAD_RECKONING_PROPNET:1.61c2208761.3
ALLOY_DIFF_PROP_NET:1838404.3666666667
ALLOY_COMPILED_PROVER_CACHING:2368475.3
FLUXPLAYER_PROLOG:1.174782.3
ALLOY_TUPLE_PROVER:240844.5
PALAMEDES_JAVA_PROVER_USEOPT_FALSE:0.6.140068.23333333333
GGP_BASE_PROVER:2015-04-2634831.5
CADIAPLAYER_PROLOG:3.024456.966666666667
PALAMEDES_JAVA_PROVER_USEOPT_TRUE:0.6.121177.766666666666
REKKURA_BACKWARD_PROVER:1.0.015383.4
REKKURA_BACKWARD_PROVER_OSTD:1.0.014935.533333333333
REKKURA_GENERIC_FORWARD_PROVER:1.0.07507.866666666667
REKKURA_GENERIC_FORWARD_PROVER_OSTD:1.0.07246.233333333334

index