index

DRESDEN/twisty-passages/j7NPyg

opnfNumOrs29
opnfTimeToCreate541
opnfNumLinks1378
opnfNumNots0
opnfNumComponents1011
opnfNumAnds2
EngineAverage state changes per second
SANCHO_DEAD_RECKONING_PROPNET:1.61c2656703.8666666667
ALLOY_DIFF_PROP_NET:1153902.23333333334
ALLOY_COMPILED_PROVER_CACHING:2100143.43333333333
FLUXPLAYER_PROLOG:1.111356.266666666666
GGP_BASE_PROVER:2015-04-266771.533333333334
ALLOY_TUPLE_PROVER:26310.533333333334
CADIAPLAYER_PROLOG:3.03683.9581807285076
PALAMEDES_JOCULAR:0.6.12305.766666666667
PALAMEDES_JAVA_ECLIPSE:0.6.11549.9
PALAMEDES_JAVA_PROVER_USEOPT_FALSE:0.6.11111.5
PALAMEDES_JAVA_PROVER_USEOPT_TRUE:0.6.11065.1333333333334
REKKURA_BACKWARD_PROVER:1.0.065.93589658159526
REKKURA_BACKWARD_PROVER_OSTD:1.0.064.50753032120485
REKKURA_GENERIC_FORWARD_PROVER_OSTD:1.0.00.052709255745308874
REKKURA_GENERIC_FORWARD_PROVER:1.0.00.051590270075063845

index