index

BASE/zhadu/DlA8iQ

opnfNumOrs1981
opnfTimeToCreate1775
opnfNumLinks28694
opnfNumNots373
opnfNumComponents14073
opnfNumAnds5411
EngineAverage state changes per second
SANCHO_DEAD_RECKONING_PROPNET:1.61c104238.06666666667
ALLOY_DIFF_PROP_NET:124878.2
ALLOY_COMPILED_PROVER_CACHING:23172.7
FLUXPLAYER_PROLOG:1.11237.7666666666667
ALLOY_TUPLE_PROVER:255.06299580027998
REKKURA_BACKWARD_PROVER_OSTD:1.0.039.386871042985675
REKKURA_BACKWARD_PROVER:1.0.037.68492602958816
CADIAPLAYER_PROLOG:3.033.570274636510504
REKKURA_GENERIC_FORWARD_PROVER:1.0.022.8
REKKURA_GENERIC_FORWARD_PROVER_OSTD:1.0.022.051965356429047
GGP_BASE_PROVER:2015-04-2621.967780588470244
PALAMEDES_JAVA_ECLIPSE:0.6.111.481629392971247
PALAMEDES_JAVA_PROVER_USEOPT_TRUE:0.6.111.356445865387817
PALAMEDES_JAVA_PROVER_USEOPT_FALSE:0.6.10.6132989025177534

Machines with errors:

PALAMEDES_JOCULAR:0.6.1ClassCastException: stanfordlogic.prover.VariableFact cannot be cast to stanfordlogic.prover.GroundFact

index