index

STANFORD/breakthrough/d5j0cQ

opnfNumOrs330
opnfTimeToCreate894
opnfNumLinks52457
opnfNumNots132
opnfNumComponents18165
opnfNumAnds16436
EngineAverage state changes per second
SANCHO_DEAD_RECKONING_PROPNET:1.61c802985.1
ALLOY_COMPILED_PROVER_CACHING:248199.26666666667
ALLOY_DIFF_PROP_NET:115812.433333333332
FLUXPLAYER_PROLOG:1.14060.733333333333
CADIAPLAYER_PROLOG:3.02119.793402199267
PALAMEDES_JAVA_ECLIPSE:0.6.11784.4333333333334
PALAMEDES_JOCULAR:0.6.11666.8333333333333
ALLOY_TUPLE_PROVER:21650.7333333333333
GGP_BASE_PROVER:2015-04-261121.1
REKKURA_BACKWARD_PROVER:1.0.0905.9333333333333
REKKURA_BACKWARD_PROVER_OSTD:1.0.0900.6333333333333
PALAMEDES_JAVA_PROVER_USEOPT_FALSE:0.6.1583.1138962034598
PALAMEDES_JAVA_PROVER_USEOPT_TRUE:0.6.1472.91756941435284
REKKURA_GENERIC_FORWARD_PROVER:1.0.0189.64770189647703
REKKURA_GENERIC_FORWARD_PROVER_OSTD:1.0.0189.4080789228103

index