index

STANFORD/sudoku/oJ1qyQ

opnfNumOrs1148
opnfTimeToCreate1063
opnfNumLinks32905
opnfNumNots245
opnfNumComponents12833
opnfNumAnds7209
EngineAverage state changes per second
SANCHO_DEAD_RECKONING_PROPNET:1.61c563459.2666666667
ALLOY_DIFF_PROP_NET:110051.066666666668
ALLOY_COMPILED_PROVER_CACHING:25967.333333333333
CADIAPLAYER_PROLOG:3.0408.6788428209572
REKKURA_BACKWARD_PROVER:1.0.0186.16666666666666
REKKURA_BACKWARD_PROVER_OSTD:1.0.0186.02713242891903
REKKURA_GENERIC_FORWARD_PROVER_OSTD:1.0.0123.3543312335433
REKKURA_GENERIC_FORWARD_PROVER:1.0.0120.78792120787921
ALLOY_TUPLE_PROVER:293.96666666666667
PALAMEDES_JOCULAR:0.6.179.42803813079128
PALAMEDES_JAVA_ECLIPSE:0.6.153.85948540194641
FLUXPLAYER_PROLOG:1.145.56666666666667
GGP_BASE_PROVER:2015-04-2624.952526901422527
PALAMEDES_JAVA_PROVER_USEOPT_TRUE:0.6.115.29865637887455
PALAMEDES_JAVA_PROVER_USEOPT_FALSE:0.6.11.9287685810249078

index