index

BASE/queens31lg/0gID-A

opnfNumOrs3065
opnfTimeToCreate2280
opnfNumLinks28185
opnfNumNots1924
opnfNumComponents17770
opnfNumAnds2883
EngineAverage state changes per second
SANCHO_DEAD_RECKONING_PROPNET:1.61c151950.83333333334
ALLOY_DIFF_PROP_NET:121558.533333333333
ALLOY_COMPILED_PROVER_CACHING:290.39397373508433
REKKURA_BACKWARD_PROVER:1.0.037.424600926450495
REKKURA_BACKWARD_PROVER_OSTD:1.0.037.386291693045884
ALLOY_TUPLE_PROVER:218.553679091302755
GGP_BASE_PROVER:2015-04-263.3606175550675452
REKKURA_GENERIC_FORWARD_PROVER:1.0.01.0567333729608348
REKKURA_GENERIC_FORWARD_PROVER_OSTD:1.0.01.0554785935747741
PALAMEDES_JAVA_PROVER_USEOPT_TRUE:0.6.10.732820359081976
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_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