index

DRESDEN/pentago_2008/hLjVpQ

opnfNumOrs109
opnfTimeToCreate1477
opnfNumLinks5172
opnfNumNots79
opnfNumComponents3697
opnfNumAnds939
EngineAverage state changes per second
SANCHO_DEAD_RECKONING_PROPNET:1.61c356082.93333333335
ALLOY_DIFF_PROP_NET:188154.16666666667
ALLOY_COMPILED_PROVER_CACHING:212764.3
FLUXPLAYER_PROLOG:1.17563.933333333333
CADIAPLAYER_PROLOG:3.03463.5446157945576
PALAMEDES_JAVA_ECLIPSE:0.6.12042.4333333333334
ALLOY_TUPLE_PROVER:2815.7666666666667
GGP_BASE_PROVER:2015-04-26432.03333333333336
REKKURA_BACKWARD_PROVER:1.0.0400.31998933368885
REKKURA_BACKWARD_PROVER_OSTD:1.0.0390.56666666666666
PALAMEDES_JAVA_PROVER_USEOPT_TRUE:0.6.1239.45868471050966
PALAMEDES_JOCULAR:0.6.1224.9591680277324
REKKURA_GENERIC_FORWARD_PROVER:1.0.0136.06213126229125
REKKURA_GENERIC_FORWARD_PROVER_OSTD:1.0.0135.8
PALAMEDES_JAVA_PROVER_USEOPT_FALSE:0.6.177.54598773660358

index