index

DRESDEN/blobwars/ZaMluQ

opnfNumOrs11655
opnfTimeToCreate19045
opnfNumLinks302608
opnfNumNots1
opnfNumComponents117942
opnfNumAnds81808
EngineAverage state changes per second
SANCHO_DEAD_RECKONING_PROPNET:1.61c19731.6
ALLOY_COMPILED_PROVER_CACHING:212759.833333333334
ALLOY_DIFF_PROP_NET:15927.5
CADIAPLAYER_PROLOG:3.01302.015658837248
PALAMEDES_JAVA_ECLIPSE:0.6.1704.2431918936036
ALLOY_TUPLE_PROVER:2566.6288914072395
PALAMEDES_JOCULAR:0.6.1382.9205693143562
GGP_BASE_PROVER:2015-04-26292.5138324111726
PALAMEDES_JAVA_PROVER_USEOPT_TRUE:0.6.1211.28591427238183
PALAMEDES_JAVA_PROVER_USEOPT_FALSE:0.6.1120.29599013366222
REKKURA_BACKWARD_PROVER_OSTD:1.0.018.442691168148073
REKKURA_BACKWARD_PROVER:1.0.017.826202852192456
REKKURA_GENERIC_FORWARD_PROVER_OSTD:1.0.00.1415468236892764
REKKURA_GENERIC_FORWARD_PROVER:1.0.00.13932621840777998
FLUXPLAYER_PROLOG:1.10.0

index