index

BASE/brawl/6Ymo_Q

opnfNumOrs9218
opnfTimeToCreate6839
opnfNumLinks566178
opnfNumNots0
opnfNumComponents96590
opnfNumAnds13034
EngineAverage state changes per second
SANCHO_DEAD_RECKONING_PROPNET:1.61c148134.13333333333
ALLOY_COMPILED_PROVER_CACHING:216396.766666666666
ALLOY_DIFF_PROP_NET:14617.033333333334
PALAMEDES_JAVA_ECLIPSE:0.6.1397.5401639890674
ALLOY_TUPLE_PROVER:2347.46666666666664
GGP_BASE_PROVER:2015-04-26160.4506216045062
PALAMEDES_JOCULAR:0.6.1134.13536841403672
PALAMEDES_JAVA_PROVER_USEOPT_TRUE:0.6.157.845456665889174
REKKURA_BACKWARD_PROVER_OSTD:1.0.039.309747484842426
REKKURA_BACKWARD_PROVER:1.0.039.01122697138288
PALAMEDES_JAVA_PROVER_USEOPT_FALSE:0.6.132.73720318380125
REKKURA_GENERIC_FORWARD_PROVER_OSTD:1.0.012.092744353387967
REKKURA_GENERIC_FORWARD_PROVER:1.0.011.656952539550375

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