index

DRESDEN/pancakes/hl9aiQ

opnfNumOrs46662
opnfTimeToCreate7284
opnfNumLinks979988
opnfNumNots0
opnfNumComponents466738
opnfNumAnds279950
EngineAverage state changes per second
ALLOY_COMPILED_PROVER_CACHING:2679041.8
SANCHO_DEAD_RECKONING_PROPNET:1.61c260862.5
FLUXPLAYER_PROLOG:1.150333.03333333333
ALLOY_DIFF_PROP_NET:130802.6
ALLOY_TUPLE_PROVER:228504.266666666666
GGP_BASE_PROVER:2015-04-2622527.066666666666
PALAMEDES_JOCULAR:0.6.122038.433333333334
CADIAPLAYER_PROLOG:3.019531.48228392387
PALAMEDES_JAVA_PROVER_USEOPT_FALSE:0.6.113658.266666666666
PALAMEDES_JAVA_ECLIPSE:0.6.111597.066666666668
PALAMEDES_JAVA_PROVER_USEOPT_TRUE:0.6.111245.133333333333
REKKURA_BACKWARD_PROVER_OSTD:1.0.01317.6666666666667
REKKURA_BACKWARD_PROVER:1.0.01259.6666666666667
REKKURA_GENERIC_FORWARD_PROVER_OSTD:1.0.010.348040194316896
REKKURA_GENERIC_FORWARD_PROVER:1.0.010.33875203616901

index