index

BASE/sudokuGrade5/BQfUQA

opnfNumOrs1148
opnfTimeToCreate977
opnfNumLinks32905
opnfNumNots245
opnfNumComponents12833
opnfNumAnds7209
EngineAverage state changes per second
SANCHO_DEAD_RECKONING_PROPNET:1.61c572986.0
ALLOY_DIFF_PROP_NET:110656.266666666666
ALLOY_COMPILED_PROVER_CACHING:26014.1
CADIAPLAYER_PROLOG:3.0417.52749083638787
REKKURA_BACKWARD_PROVER:1.0.0189.34773189347732
REKKURA_BACKWARD_PROVER_OSTD:1.0.0185.4938168727709
REKKURA_GENERIC_FORWARD_PROVER:1.0.0123.8584094393707
REKKURA_GENERIC_FORWARD_PROVER_OSTD:1.0.0123.85428123854281
ALLOY_TUPLE_PROVER:297.16342788573714
PALAMEDES_JOCULAR:0.6.189.0910908909109
PALAMEDES_JAVA_ECLIPSE:0.6.158.79412058794121
FLUXPLAYER_PROLOG:1.155.4
GGP_BASE_PROVER:2015-04-2624.739453268071788
PALAMEDES_JAVA_PROVER_USEOPT_TRUE:0.6.116.16927837109492
PALAMEDES_JAVA_PROVER_USEOPT_FALSE:0.6.12.076672050631242

index