index

BASE/quad_5x5/JAEP5g

opnfNumOrs297
opnfTimeToCreate3145
opnfNumLinks6038
opnfNumNots4
opnfNumComponents2294
opnfNumAnds1102
EngineAverage state changes per second
SANCHO_DEAD_RECKONING_PROPNET:1.61c594022.8333333334
ALLOY_DIFF_PROP_NET:172450.76666666666
ALLOY_COMPILED_PROVER_CACHING:24059.564681177294
CADIAPLAYER_PROLOG:3.0963.1357909472702
ALLOY_TUPLE_PROVER:2287.5379128753791
REKKURA_BACKWARD_PROVER_OSTD:1.0.0211.95253649756683
REKKURA_BACKWARD_PROVER:1.0.0203.74629203746292
PALAMEDES_JAVA_ECLIPSE:0.6.1188.69495703151023
GGP_BASE_PROVER:2015-04-2683.53333333333333
PALAMEDES_JAVA_PROVER_USEOPT_TRUE:0.6.171.73333333333333
PALAMEDES_JOCULAR:0.6.16.181015452538631
REKKURA_GENERIC_FORWARD_PROVER_OSTD:1.0.05.551492586929061
FLUXPLAYER_PROLOG:1.15.466666666666667
PALAMEDES_JAVA_PROVER_USEOPT_FALSE:0.6.12.344702535405008
REKKURA_GENERIC_FORWARD_PROVER:1.0.01.992892018467466

index