index

BASE/sudokuGrade2/u80Tfw

opnfNumOrs1148
opnfTimeToCreate1018
opnfNumLinks32905
opnfNumNots245
opnfNumComponents12833
opnfNumAnds7209
EngineAverage state changes per second
SANCHO_DEAD_RECKONING_PROPNET:1.61c595156.0666666667
ALLOY_DIFF_PROP_NET:110674.8
ALLOY_COMPILED_PROVER_CACHING:25855.633333333333
CADIAPLAYER_PROLOG:3.0419.22385675297875
REKKURA_BACKWARD_PROVER:1.0.0197.3736835088655
REKKURA_BACKWARD_PROVER_OSTD:1.0.0188.47487001733103
REKKURA_GENERIC_FORWARD_PROVER_OSTD:1.0.0122.93388429752066
REKKURA_GENERIC_FORWARD_PROVER:1.0.0122.2959234692177
ALLOY_TUPLE_PROVER:295.19365375641624
PALAMEDES_JOCULAR:0.6.185.74665911287366
PALAMEDES_JAVA_ECLIPSE:0.6.160.28912131103857
FLUXPLAYER_PROLOG:1.154.9
GGP_BASE_PROVER:2015-04-2625.418929273411734
PALAMEDES_JAVA_PROVER_USEOPT_TRUE:0.6.115.647889199627114
PALAMEDES_JAVA_PROVER_USEOPT_FALSE:0.6.12.354423663615864

index