index

DRESDEN/quartosuicide/WIU1oQ

opnfNumOrs3524
opnfTimeToCreate4407
opnfNumLinks135903
opnfNumNots38
opnfNumComponents67932
opnfNumAnds31670
EngineAverage state changes per second
SANCHO_DEAD_RECKONING_PROPNET:1.61c104456.26666666666
ALLOY_COMPILED_PROVER_CACHING:257845.433333333334
ALLOY_DIFF_PROP_NET:124901.1
CADIAPLAYER_PROLOG:3.03048.422034858533
ALLOY_TUPLE_PROVER:22600.2
PALAMEDES_JAVA_ECLIPSE:0.6.12348.4
PALAMEDES_JOCULAR:0.6.12251.5333333333333
FLUXPLAYER_PROLOG:1.11880.0666666666666
GGP_BASE_PROVER:2015-04-261415.4
PALAMEDES_JAVA_PROVER_USEOPT_TRUE:0.6.1937.8333333333334
PALAMEDES_JAVA_PROVER_USEOPT_FALSE:0.6.1247.32580225932222
REKKURA_BACKWARD_PROVER:1.0.023.99120322548399
REKKURA_BACKWARD_PROVER_OSTD:1.0.023.111762355135205
REKKURA_GENERIC_FORWARD_PROVER_OSTD:1.0.04.139895343445717
REKKURA_GENERIC_FORWARD_PROVER:1.0.04.056660238079404

index