index

DRESDEN/guess/PhxGhg

opnfNumOrs253
opnfTimeToCreate870
opnfNumLinks12041
opnfNumNots1
opnfNumComponents3677
opnfNumAnds2329
EngineAverage state changes per second
ALLOY_COMPILED_PROVER_CACHING:2174120.66666666666
SANCHO_DEAD_RECKONING_PROPNET:1.61c54793.36666666667
ALLOY_DIFF_PROP_NET:134200.933333333334
PALAMEDES_JAVA_ECLIPSE:0.6.13141.9
CADIAPLAYER_PROLOG:3.02437.1375241650558
FLUXPLAYER_PROLOG:1.12239.6
ALLOY_TUPLE_PROVER:21511.8
PALAMEDES_JAVA_PROVER_USEOPT_TRUE:0.6.11100.659956002933
GGP_BASE_PROVER:2015-04-26801.6333333333333
REKKURA_BACKWARD_PROVER_OSTD:1.0.0236.35878804039865
REKKURA_BACKWARD_PROVER:1.0.0231.51789880674622
PALAMEDES_JOCULAR:0.6.126.25950179341209
PALAMEDES_JAVA_PROVER_USEOPT_FALSE:0.6.16.4655172413793105
REKKURA_GENERIC_FORWARD_PROVER:1.0.02.5560165975103732
REKKURA_GENERIC_FORWARD_PROVER_OSTD:1.0.02.508333608369913

index