index

DRESDEN/brawl/2kXtfQ

opnfNumOrs9218
opnfTimeToCreate6955
opnfNumLinks566178
opnfNumNots0
opnfNumComponents96590
opnfNumAnds13034
EngineAverage state changes per second
SANCHO_DEAD_RECKONING_PROPNET:1.61c153267.4
ALLOY_COMPILED_PROVER_CACHING:216282.866666666667
ALLOY_DIFF_PROP_NET:14593.2
PALAMEDES_JAVA_ECLIPSE:0.6.1406.62600406626007
ALLOY_TUPLE_PROVER:2347.17685487634157
GGP_BASE_PROVER:2015-04-26161.650501616505
PALAMEDES_JOCULAR:0.6.1137.21046492251293
PALAMEDES_JAVA_PROVER_USEOPT_TRUE:0.6.157.0
REKKURA_BACKWARD_PROVER_OSTD:1.0.039.496050394960506
REKKURA_BACKWARD_PROVER:1.0.039.45877491168433
PALAMEDES_JAVA_PROVER_USEOPT_FALSE:0.6.133.59216182890659
REKKURA_GENERIC_FORWARD_PROVER:1.0.011.828601892576303
REKKURA_GENERIC_FORWARD_PROVER_OSTD:1.0.011.712251281027484

Machines with errors:

CADIAPLAYER_PROLOG:3.0Test process failed to output results for unknown reason
FLUXPLAYER_PROLOG:1.1Test process failed to output results for unknown reason

index