index

DRESDEN/ggp-course2013_jordi/9QI6Kw

opnfNumOrs3637
opnfTimeToCreate2931
opnfNumLinks197160
opnfNumNots715
opnfNumComponents83000
opnfNumAnds1687
EngineAverage state changes per second
SANCHO_DEAD_RECKONING_PROPNET:1.61c489227.73333333334
ALLOY_DIFF_PROP_NET:144899.166666666664
ALLOY_COMPILED_PROVER_CACHING:219966.233333333334
CADIAPLAYER_PROLOG:3.0845.9385620043979
PALAMEDES_JAVA_ECLIPSE:0.6.1790.5069831005633
FLUXPLAYER_PROLOG:1.1684.6666666666666
ALLOY_TUPLE_PROVER:2426.5191160294657
REKKURA_BACKWARD_PROVER_OSTD:1.0.0300.8799413372442
REKKURA_BACKWARD_PROVER:1.0.0289.09036365454483
GGP_BASE_PROVER:2015-04-26184.72101859876008
PALAMEDES_JOCULAR:0.6.1110.32965567814406
PALAMEDES_JAVA_PROVER_USEOPT_TRUE:0.6.1105.86666666666666
REKKURA_GENERIC_FORWARD_PROVER:1.0.090.74549271836571
REKKURA_GENERIC_FORWARD_PROVER_OSTD:1.0.085.54100436535705
PALAMEDES_JAVA_PROVER_USEOPT_FALSE:0.6.142.203790679857434

index