index

BASE/eightPuzzle/vLrgFg

opnfNumOrs167
opnfTimeToCreate469
opnfNumLinks6631
opnfNumNots1
opnfNumComponents2231
opnfNumAnds1524
EngineAverage state changes per second
SANCHO_DEAD_RECKONING_PROPNET:1.61c206352.03333333333
ALLOY_COMPILED_PROVER_CACHING:2108880.1
ALLOY_DIFF_PROP_NET:131529.466666666667
FLUXPLAYER_PROLOG:1.116812.0
PALAMEDES_JAVA_ECLIPSE:0.6.18292.833333333334
CADIAPLAYER_PROLOG:3.08233.176682331767
PALAMEDES_JOCULAR:0.6.18140.633333333333
ALLOY_TUPLE_PROVER:26971.733333333334
PALAMEDES_JAVA_PROVER_USEOPT_FALSE:0.6.14249.033333333334
PALAMEDES_JAVA_PROVER_USEOPT_TRUE:0.6.13379.233333333333
GGP_BASE_PROVER:2015-04-263378.9
REKKURA_BACKWARD_PROVER:1.0.01817.2666666666667
REKKURA_BACKWARD_PROVER_OSTD:1.0.01765.1333333333334
REKKURA_GENERIC_FORWARD_PROVER:1.0.0507.1164294523516
REKKURA_GENERIC_FORWARD_PROVER_OSTD:1.0.0496.7167761074631

index