index

BASE/troublemaker02/DI83KA

opnfNumOrs14
opnfTimeToCreate233
opnfNumLinks95
opnfNumNots2
opnfNumComponents73
opnfNumAnds12
EngineAverage state changes per second
PALAMEDES_JOCULAR:0.6.14228725.733333333
PALAMEDES_JAVA_ECLIPSE:0.6.14134216.6
SANCHO_DEAD_RECKONING_PROPNET:1.61c2098942.7
ALLOY_DIFF_PROP_NET:1581569.5666666667
ALLOY_COMPILED_PROVER_CACHING:2517468.3
FLUXPLAYER_PROLOG:1.154894.2
ALLOY_TUPLE_PROVER:229570.633333333335
CADIAPLAYER_PROLOG:3.023098.733333333334
PALAMEDES_JAVA_PROVER_USEOPT_FALSE:0.6.121142.233333333334
GGP_BASE_PROVER:2015-04-2618514.5
PALAMEDES_JAVA_PROVER_USEOPT_TRUE:0.6.110509.366666666667
REKKURA_BACKWARD_PROVER:1.0.09288.433333333332
REKKURA_BACKWARD_PROVER_OSTD:1.0.09287.9
REKKURA_GENERIC_FORWARD_PROVER:1.0.03656.133333333333
REKKURA_GENERIC_FORWARD_PROVER_OSTD:1.0.03651.0333333333333

index