index

BASE/pancakes88/l2Xaig

opnfNumOrs40326
opnfTimeToCreate18959
opnfNumLinks1088848
opnfNumNots0
opnfNumComponents484016
opnfNumAnds322571
EngineAverage state changes per second
ALLOY_COMPILED_PROVER_CACHING:2646613.0
FLUXPLAYER_PROLOG:1.144200.2665778074
ALLOY_TUPLE_PROVER:222142.166666666668
PALAMEDES_JOCULAR:0.6.118931.133333333335
CADIAPLAYER_PROLOG:3.018652.3
GGP_BASE_PROVER:2015-04-2617653.7
PALAMEDES_JAVA_PROVER_USEOPT_FALSE:0.6.110468.833333333334
PALAMEDES_JAVA_ECLIPSE:0.6.110105.2
PALAMEDES_JAVA_PROVER_USEOPT_TRUE:0.6.18486.266666666666
ALLOY_DIFF_PROP_NET:1179.53333333333333
REKKURA_BACKWARD_PROVER_OSTD:1.0.025.24394711426383
REKKURA_BACKWARD_PROVER:1.0.023.888055972013994
REKKURA_GENERIC_FORWARD_PROVER_OSTD:1.0.01.1857707509881423
REKKURA_GENERIC_FORWARD_PROVER:1.0.01.1326914748309291

Machines with errors:

SANCHO_DEAD_RECKONING_PROPNET:1.61cException of type StackOverflowError

index