index

BASE/queens08ug/kJ_ZFQ

opnfNumOrs194
opnfTimeToCreate665
opnfNumLinks2966
opnfNumNots66
opnfNumComponents1250
opnfNumAnds192
EngineAverage state changes per second
SANCHO_DEAD_RECKONING_PROPNET:1.61c719303.4333333333
ALLOY_DIFF_PROP_NET:1142286.83333333334
ALLOY_COMPILED_PROVER_CACHING:257583.166666666664
FLUXPLAYER_PROLOG:1.15291.836054648451
ALLOY_TUPLE_PROVER:22230.9666666666667
GGP_BASE_PROVER:2015-04-261647.8
CADIAPLAYER_PROLOG:3.01009.3333333333334
REKKURA_BACKWARD_PROVER:1.0.0936.1
REKKURA_BACKWARD_PROVER_OSTD:1.0.0919.3333333333334
PALAMEDES_JAVA_PROVER_USEOPT_TRUE:0.6.1784.4666666666667
REKKURA_GENERIC_FORWARD_PROVER_OSTD:1.0.037.122196674331036
REKKURA_GENERIC_FORWARD_PROVER:1.0.036.99260147970406
PALAMEDES_JAVA_ECLIPSE:0.6.18.598188238906802
PALAMEDES_JAVA_PROVER_USEOPT_FALSE:0.6.10.4234270646881075

Machines with errors:

PALAMEDES_JOCULAR:0.6.1Test process timed out after 240 seconds

index