index

BASE/nineBoardTicTacToePie/B8LzeQ

opnfNumOrs580
opnfTimeToCreate608
opnfNumLinks8140
opnfNumNots260
opnfNumComponents3537
opnfNumAnds1229
EngineAverage state changes per second
SANCHO_DEAD_RECKONING_PROPNET:1.61c448168.86666666664
ALLOY_DIFF_PROP_NET:145423.03333333333
ALLOY_COMPILED_PROVER_CACHING:230531.133333333335
FLUXPLAYER_PROLOG:1.13263.8
CADIAPLAYER_PROLOG:3.03171.808368869936
PALAMEDES_JAVA_ECLIPSE:0.6.11821.0
PALAMEDES_JOCULAR:0.6.11186.793773540882
REKKURA_BACKWARD_PROVER_OSTD:1.0.0764.9666666666667
REKKURA_BACKWARD_PROVER:1.0.0751.6082797240092
ALLOY_TUPLE_PROVER:2664.511182960568
GGP_BASE_PROVER:2015-04-26385.3076461569229
REKKURA_GENERIC_FORWARD_PROVER_OSTD:1.0.0229.66666666666666
REKKURA_GENERIC_FORWARD_PROVER:1.0.0228.71046228710463
PALAMEDES_JAVA_PROVER_USEOPT_TRUE:0.6.1211.35772845430913
PALAMEDES_JAVA_PROVER_USEOPT_FALSE:0.6.1170.19432685577146

index