index

BASE/sudokuGrade6H/ieE_9A

opnfNumOrs1148
opnfTimeToCreate926
opnfNumLinks32905
opnfNumNots245
opnfNumComponents12833
opnfNumAnds7209
EngineAverage state changes per second
SANCHO_DEAD_RECKONING_PROPNET:1.61c515339.76666666666
ALLOY_DIFF_PROP_NET:19321.6
ALLOY_COMPILED_PROVER_CACHING:25359.633333333333
CADIAPLAYER_PROLOG:3.0383.509331208076
REKKURA_BACKWARD_PROVER_OSTD:1.0.0185.0271657611413
REKKURA_BACKWARD_PROVER:1.0.0183.5
REKKURA_GENERIC_FORWARD_PROVER_OSTD:1.0.0124.69168722085195
REKKURA_GENERIC_FORWARD_PROVER:1.0.0124.01266455590735
ALLOY_TUPLE_PROVER:292.96356788107063
PALAMEDES_JOCULAR:0.6.167.99773340888638
PALAMEDES_JAVA_ECLIPSE:0.6.144.665177827405756
FLUXPLAYER_PROLOG:1.138.666666666666664
GGP_BASE_PROVER:2015-04-2624.04262404262404
PALAMEDES_JAVA_PROVER_USEOPT_TRUE:0.6.114.614821226446502
PALAMEDES_JAVA_PROVER_USEOPT_FALSE:0.6.11.6630254018978055

index