index

BASE/breakthroughHoles/nZk0Sg

opnfNumOrs622
opnfTimeToCreate1037
opnfNumLinks11916
opnfNumNots124
opnfNumComponents6452
opnfNumAnds440
EngineAverage state changes per second
SANCHO_DEAD_RECKONING_PROPNET:1.61c901543.6333333333
ALLOY_COMPILED_PROVER_CACHING:244520.8
ALLOY_DIFF_PROP_NET:127934.533333333333
CADIAPLAYER_PROLOG:3.01864.7964283334443
PALAMEDES_JAVA_ECLIPSE:0.6.11430.0
ALLOY_TUPLE_PROVER:21320.0666666666666
GGP_BASE_PROVER:2015-04-26739.2666666666667
PALAMEDES_JAVA_PROVER_USEOPT_TRUE:0.6.1379.96666666666664
PALAMEDES_JOCULAR:0.6.1365.53333333333336
PALAMEDES_JAVA_PROVER_USEOPT_FALSE:0.6.1179.35470968602093
REKKURA_BACKWARD_PROVER_OSTD:1.0.0129.46235125495818
REKKURA_BACKWARD_PROVER:1.0.0127.39150723285114
REKKURA_GENERIC_FORWARD_PROVER_OSTD:1.0.031.453037017292505
REKKURA_GENERIC_FORWARD_PROVER:1.0.030.889703432189272
FLUXPLAYER_PROLOG:1.14.53182272575808

index