index

BASE/gt_two_thirds_4p/DStnxQ

opnfNumOrs3103
opnfTimeToCreate128439
opnfNumLinks416035
opnfNumNots4
opnfNumComponents225123
opnfNumAnds85487
EngineAverage state changes per second
SANCHO_DEAD_RECKONING_PROPNET:1.61c55159.86666666667
ALLOY_COMPILED_PROVER_CACHING:231872.666666666668
FLUXPLAYER_PROLOG:1.118260.5
ALLOY_TUPLE_PROVER:22218.9666666666667
GGP_BASE_PROVER:2015-04-261105.7666666666667
ALLOY_DIFF_PROP_NET:1720.8759708009733
PALAMEDES_JAVA_ECLIPSE:0.6.1115.73966074582597

Machines with errors:

PALAMEDES_JOCULAR:0.6.1IllegalArgumentException: bound must be positive
PALAMEDES_JAVA_PROVER_USEOPT_TRUE:0.6.1Exception of type NullPointerException
CADIAPLAYER_PROLOG:3.0Test process failed to output results for unknown reason
REKKURA_GENERIC_FORWARD_PROVER:1.0.0Test process timed out after 240 seconds
REKKURA_GENERIC_FORWARD_PROVER_OSTD:1.0.0Test process timed out after 240 seconds
REKKURA_BACKWARD_PROVER:1.0.0Test process timed out after 240 seconds
REKKURA_BACKWARD_PROVER_OSTD:1.0.0Test process timed out after 240 seconds
PALAMEDES_JAVA_PROVER_USEOPT_FALSE:0.6.1Exception of type NullPointerException

index