index

BASE/tictactoe2/bhrDoQ

opnfNumOrs27
opnfTimeToCreate299
opnfNumLinks333
opnfNumNots21
opnfNumComponents247
opnfNumAnds45
EngineAverage state changes per second
SANCHO_DEAD_RECKONING_PROPNET:1.61c1253930.8
ALLOY_DIFF_PROP_NET:1402469.4666666667
ALLOY_COMPILED_PROVER_CACHING:2184872.83333333334
FLUXPLAYER_PROLOG:1.127565.733333333334
PALAMEDES_JOCULAR:0.6.113908.666666666666
CADIAPLAYER_PROLOG:3.010443.566666666668
PALAMEDES_JAVA_ECLIPSE:0.6.19300.766666666666
ALLOY_TUPLE_PROVER:26773.333333333333
REKKURA_BACKWARD_PROVER:1.0.03893.133333333333
GGP_BASE_PROVER:2015-04-263085.4
REKKURA_BACKWARD_PROVER_OSTD:1.0.02959.766666666667
PALAMEDES_JAVA_PROVER_USEOPT_TRUE:0.6.12429.5666666666666
REKKURA_GENERIC_FORWARD_PROVER:1.0.02351.9666666666667
PALAMEDES_JAVA_PROVER_USEOPT_FALSE:0.6.12127.6
REKKURA_GENERIC_FORWARD_PROVER_OSTD:1.0.01641.3666666666666

index