index

DRESDEN/skirmish3/3LU8Nw

opnfNumOrs9395
opnfTimeToCreate7060
opnfNumLinks638474
opnfNumNots2
opnfNumComponents104671
opnfNumAnds10002
EngineAverage state changes per second
SANCHO_DEAD_RECKONING_PROPNET:1.61c219941.96666666667
ALLOY_COMPILED_PROVER_CACHING:229767.866666666665
ALLOY_DIFF_PROP_NET:16554.4
ALLOY_TUPLE_PROVER:2793.7666666666667
PALAMEDES_JAVA_ECLIPSE:0.6.1730.9
GGP_BASE_PROVER:2015-04-26459.56666666666666
PALAMEDES_JAVA_PROVER_USEOPT_TRUE:0.6.1198.65342310512634
PALAMEDES_JOCULAR:0.6.1178.11552178115522
PALAMEDES_JAVA_PROVER_USEOPT_FALSE:0.6.163.24558480506498
REKKURA_BACKWARD_PROVER:1.0.062.193780621937805
REKKURA_BACKWARD_PROVER_OSTD:1.0.059.992001066524466
REKKURA_GENERIC_FORWARD_PROVER_OSTD:1.0.017.11678710579773
REKKURA_GENERIC_FORWARD_PROVER:1.0.016.76554896340244

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