index

DRESDEN/satlike_20v_91c/yeuENQ

opnfNumOrs95
opnfTimeToCreate9225
opnfNumLinks499255
opnfNumNots93
opnfNumComponents126199
opnfNumAnds125583
EngineAverage state changes per second
SANCHO_DEAD_RECKONING_PROPNET:1.61c53834.666666666664
ALLOY_COMPILED_PROVER_CACHING:222257.8
FLUXPLAYER_PROLOG:1.12938.0
CADIAPLAYER_PROLOG:3.02044.5303646423572
PALAMEDES_JAVA_ECLIPSE:0.6.11491.1345153979469
ALLOY_DIFF_PROP_NET:1945.5
ALLOY_TUPLE_PROVER:2900.2165583874729
GGP_BASE_PROVER:2015-04-26497.6184924890917
REKKURA_BACKWARD_PROVER_OSTD:1.0.041.254948930365636
REKKURA_BACKWARD_PROVER:1.0.039.20656543841579
PALAMEDES_JOCULAR:0.6.16.4903456109037805
PALAMEDES_JAVA_PROVER_USEOPT_TRUE:0.6.10.5382565869149823
REKKURA_GENERIC_FORWARD_PROVER_OSTD:1.0.00.36567933246900036
REKKURA_GENERIC_FORWARD_PROVER:1.0.00.3510115514710575
PALAMEDES_JAVA_PROVER_USEOPT_FALSE:0.6.10.15534342547787522

index