index

BASE/pentago/86NgKw

opnfNumOrs109
opnfTimeToCreate1532
opnfNumLinks5196
opnfNumNots79
opnfNumComponents3715
opnfNumAnds945
EngineAverage state changes per second
SANCHO_DEAD_RECKONING_PROPNET:1.61c363278.5
ALLOY_DIFF_PROP_NET:1101617.4
ALLOY_COMPILED_PROVER_CACHING:213669.766666666666
FLUXPLAYER_PROLOG:1.17467.433333333333
CADIAPLAYER_PROLOG:3.03432.4081170237578
PALAMEDES_JAVA_ECLIPSE:0.6.12017.6333333333334
ALLOY_TUPLE_PROVER:2786.3
GGP_BASE_PROVER:2015-04-26441.65194493516884
REKKURA_BACKWARD_PROVER:1.0.0376.88743708543046
PALAMEDES_JAVA_PROVER_USEOPT_TRUE:0.6.1255.26666666666668
REKKURA_BACKWARD_PROVER_OSTD:1.0.0227.08486100926604
REKKURA_GENERIC_FORWARD_PROVER:1.0.0120.8798533577737
PALAMEDES_JAVA_PROVER_USEOPT_FALSE:0.6.181.84211403245693
REKKURA_GENERIC_FORWARD_PROVER_OSTD:1.0.074.2925707429257

Machines with errors:

PALAMEDES_JOCULAR:0.6.1Exception of type NullPointerException

index