index

BASE/queens16ug/gT-ylw

opnfNumOrs770
opnfTimeToCreate1115
opnfNumLinks18598
opnfNumNots258
opnfNumComponents4922
opnfNumAnds768
EngineAverage state changes per second
SANCHO_DEAD_RECKONING_PROPNET:1.61c537167.7666666667
ALLOY_DIFF_PROP_NET:143147.5
ALLOY_COMPILED_PROVER_CACHING:215707.7
FLUXPLAYER_PROLOG:1.11428.323892035988
ALLOY_TUPLE_PROVER:2599.7133428885704
GGP_BASE_PROVER:2015-04-26436.85210492983566
REKKURA_BACKWARD_PROVER_OSTD:1.0.0277.6333333333333
REKKURA_BACKWARD_PROVER:1.0.0270.8243058564714
CADIAPLAYER_PROLOG:3.096.8374846197333
PALAMEDES_JAVA_PROVER_USEOPT_TRUE:0.6.184.13052898236725
REKKURA_GENERIC_FORWARD_PROVER_OSTD:1.0.06.603617056578729
REKKURA_GENERIC_FORWARD_PROVER:1.0.06.562947662990972

Machines with errors:

PALAMEDES_JOCULAR:0.6.1Test process timed out after 240 seconds
PALAMEDES_JAVA_ECLIPSE:0.6.1Test process timed out after 240 seconds
PALAMEDES_JAVA_PROVER_USEOPT_FALSE:0.6.1Test process timed out after 240 seconds

index