index

BASE/queens08lg/Ru7eqQ

opnfNumOrs236
opnfTimeToCreate598
opnfNumLinks1942
opnfNumNots130
opnfNumComponents1279
opnfNumAnds192
EngineAverage state changes per second
SANCHO_DEAD_RECKONING_PROPNET:1.61c480464.6
ALLOY_DIFF_PROP_NET:1156379.7
ALLOY_COMPILED_PROVER_CACHING:212360.933333333332
ALLOY_TUPLE_PROVER:2723.2
REKKURA_BACKWARD_PROVER_OSTD:1.0.0569.4666666666667
REKKURA_BACKWARD_PROVER:1.0.0546.7333333333333
GGP_BASE_PROVER:2015-04-26348.25505816472787
PALAMEDES_JAVA_PROVER_USEOPT_TRUE:0.6.1233.99220025999134
REKKURA_GENERIC_FORWARD_PROVER:1.0.042.070550614569804
REKKURA_GENERIC_FORWARD_PROVER_OSTD:1.0.040.1
PALAMEDES_JAVA_ECLIPSE:0.6.10.024117306579201234
FLUXPLAYER_PROLOG:1.10.0

Machines with errors:

PALAMEDES_JOCULAR:0.6.1Test process timed out after 240 seconds
CADIAPLAYER_PROLOG:3.0Test process timed out after 240 seconds
PALAMEDES_JAVA_PROVER_USEOPT_FALSE:0.6.1Test process timed out after 240 seconds

index