index

DRESDEN/vacuumcleaner_obstacles_2/Y-R7tA

opnfNumOrs22734
opnfTimeToCreate45960
opnfNumLinks8526030
opnfNumNots10210
opnfNumComponents2250151
opnfNumAnds2108081
EngineAverage state changes per second
ALLOY_COMPILED_PROVER_CACHING:2190432.23333333334
SANCHO_DEAD_RECKONING_PROPNET:1.61c168525.43333333332
PALAMEDES_JAVA_ECLIPSE:0.6.113711.7
FLUXPLAYER_PROLOG:1.112253.433333333332
ALLOY_TUPLE_PROVER:27878.966666666666
ALLOY_DIFF_PROP_NET:17387.333333333333
PALAMEDES_JOCULAR:0.6.16214.3261891270295
GGP_BASE_PROVER:2015-04-264823.8
PALAMEDES_JAVA_PROVER_USEOPT_TRUE:0.6.13043.5333333333333
PALAMEDES_JAVA_PROVER_USEOPT_FALSE:0.6.11122.0
REKKURA_BACKWARD_PROVER_OSTD:1.0.017.804845580404685
REKKURA_BACKWARD_PROVER:1.0.017.056432806982478
REKKURA_GENERIC_FORWARD_PROVER_OSTD:1.0.00.07688167909587146
REKKURA_GENERIC_FORWARD_PROVER:1.0.00.07180297264306743

Machines with errors:

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

index