index

DRESDEN/tictactoeparallel/yk_DSg

opnfNumOrs166
opnfTimeToCreate603
opnfNumLinks2496
opnfNumNots6
opnfNumComponents1142
opnfNumAnds324
EngineAverage state changes per second
SANCHO_DEAD_RECKONING_PROPNET:1.61c311692.2
ALLOY_COMPILED_PROVER_CACHING:261266.666666666664
ALLOY_DIFF_PROP_NET:155315.2
CADIAPLAYER_PROLOG:3.03425.4
FLUXPLAYER_PROLOG:1.13295.6
ALLOY_TUPLE_PROVER:22849.4333333333334
PALAMEDES_JAVA_ECLIPSE:0.6.12836.9333333333334
PALAMEDES_JOCULAR:0.6.12373.9
GGP_BASE_PROVER:2015-04-261481.7333333333333
REKKURA_BACKWARD_PROVER:1.0.01326.2666666666667
REKKURA_BACKWARD_PROVER_OSTD:1.0.01297.6666666666667
REKKURA_GENERIC_FORWARD_PROVER:1.0.01113.2333333333333
REKKURA_GENERIC_FORWARD_PROVER_OSTD:1.0.01087.4
PALAMEDES_JAVA_PROVER_USEOPT_TRUE:0.6.1913.9
PALAMEDES_JAVA_PROVER_USEOPT_FALSE:0.6.1747.6834877674821

index