index

BASE/gt_tinfoil/Q8DyKg

opnfNumOrs206
opnfTimeToCreate1874
opnfNumLinks3189
opnfNumNots0
opnfNumComponents1851
opnfNumAnds774
EngineAverage state changes per second
SANCHO_DEAD_RECKONING_PROPNET:1.61c495719.8
ALLOY_COMPILED_PROVER_CACHING:2324537.6666666667
ALLOY_DIFF_PROP_NET:188737.5
ALLOY_TUPLE_PROVER:217620.833333333332
PALAMEDES_JAVA_ECLIPSE:0.6.112041.166666666666
GGP_BASE_PROVER:2015-04-2610489.166666666666
FLUXPLAYER_PROLOG:1.18777.333333333334
PALAMEDES_JAVA_PROVER_USEOPT_TRUE:0.6.16631.466666666666
PALAMEDES_JOCULAR:0.6.11974.1069048253798
PALAMEDES_JAVA_PROVER_USEOPT_FALSE:0.6.1665.1111629612346
REKKURA_BACKWARD_PROVER:1.0.0118.82145118821451
REKKURA_BACKWARD_PROVER_OSTD:1.0.0116.86277124095864
REKKURA_GENERIC_FORWARD_PROVER_OSTD:1.0.00.49985004498650404
REKKURA_GENERIC_FORWARD_PROVER:1.0.00.4911108928396032

Machines with errors:

CADIAPLAYER_PROLOG:3.0Test process failed to output results for unknown reason

index