index

BASE/sudokuGrade3/eI8dvg

opnfNumOrs1148
opnfTimeToCreate964
opnfNumLinks32905
opnfNumNots245
opnfNumComponents12833
opnfNumAnds7209
EngineAverage state changes per second
SANCHO_DEAD_RECKONING_PROPNET:1.61c583430.0333333333
ALLOY_DIFF_PROP_NET:110479.866666666667
ALLOY_COMPILED_PROVER_CACHING:25787.354597873546
CADIAPLAYER_PROLOG:3.0413.9091605851578
REKKURA_BACKWARD_PROVER_OSTD:1.0.0189.06036465451152
REKKURA_BACKWARD_PROVER:1.0.0184.46666666666667
REKKURA_GENERIC_FORWARD_PROVER_OSTD:1.0.0122.68364218104253
REKKURA_GENERIC_FORWARD_PROVER:1.0.0122.30479554770554
ALLOY_TUPLE_PROVER:292.9240409292404
PALAMEDES_JOCULAR:0.6.174.51346307651293
PALAMEDES_JAVA_ECLIPSE:0.6.156.36666666666667
FLUXPLAYER_PROLOG:1.150.166666666666664
GGP_BASE_PROVER:2015-04-2625.111569972690337
PALAMEDES_JAVA_PROVER_USEOPT_TRUE:0.6.115.623438488956994
PALAMEDES_JAVA_PROVER_USEOPT_FALSE:0.6.12.0626101999401176

index