index

BASE/othelloHoles/c0qAzw

opnfNumOrs256465
opnfTimeToCreate24432
opnfNumLinks2604050
opnfNumNots2203
opnfNumComponents1311701
opnfNumAnds773773
EngineAverage state changes per second
SANCHO_DEAD_RECKONING_PROPNET:1.61c43661.333333333336
ALLOY_DIFF_PROP_NET:14020.0659978000735
ALLOY_COMPILED_PROVER_CACHING:21059.3333333333333
FLUXPLAYER_PROLOG:1.1368.1666666666667
PALAMEDES_JAVA_ECLIPSE:0.6.138.12092156079371
ALLOY_TUPLE_PROVER:225.815262649478697
REKKURA_BACKWARD_PROVER:1.0.021.609562814237673
REKKURA_BACKWARD_PROVER_OSTD:1.0.020.635713097021135
GGP_BASE_PROVER:2015-04-266.329952939616889
PALAMEDES_JOCULAR:0.6.14.831237590999338
PALAMEDES_JAVA_PROVER_USEOPT_TRUE:0.6.14.751691140075895
REKKURA_GENERIC_FORWARD_PROVER_OSTD:1.0.01.9331400193314001
REKKURA_GENERIC_FORWARD_PROVER:1.0.01.9029495718363463
PALAMEDES_JAVA_PROVER_USEOPT_FALSE:0.6.10.9251579148854718

Machines with errors:

CADIAPLAYER_PROLOG:3.0Test process timed out after 240 seconds

index