index

DRESDEN/nim1/M9BALA

opnfNumOrs217
opnfTimeToCreate505
opnfNumLinks3892
opnfNumNots0
opnfNumComponents1628
opnfNumAnds533
EngineAverage state changes per second
SANCHO_DEAD_RECKONING_PROPNET:1.61c724841.3666666667
ALLOY_COMPILED_PROVER_CACHING:2271906.1666666667
ALLOY_DIFF_PROP_NET:1232630.56666666668
ALLOY_TUPLE_PROVER:215604.266666666666
GGP_BASE_PROVER:2015-04-269525.566666666668
CADIAPLAYER_PROLOG:3.06606.213126229126
PALAMEDES_JAVA_PROVER_USEOPT_TRUE:0.6.16163.966666666666
PALAMEDES_JAVA_ECLIPSE:0.6.15798.2
REKKURA_BACKWARD_PROVER:1.0.01429.4
REKKURA_BACKWARD_PROVER_OSTD:1.0.01400.2666666666667
PALAMEDES_JOCULAR:0.6.1399.2067195520299
REKKURA_GENERIC_FORWARD_PROVER:1.0.029.479364444888578
REKKURA_GENERIC_FORWARD_PROVER_OSTD:1.0.028.66560127846584
PALAMEDES_JAVA_PROVER_USEOPT_FALSE:0.6.126.00645999134228

Machines with errors:

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

index