index

BASE/tictactoe_3d_2player/IUC1rQ

opnfNumOrs262
opnfTimeToCreate685
opnfNumLinks4234
opnfNumNots69
opnfNumComponents2926
opnfNumAnds601
EngineAverage state changes per second
SANCHO_DEAD_RECKONING_PROPNET:1.61c839512.9333333333
ALLOY_DIFF_PROP_NET:182992.83333333333
ALLOY_COMPILED_PROVER_CACHING:213406.533333333333
FLUXPLAYER_PROLOG:1.12622.0333333333333
CADIAPLAYER_PROLOG:3.0841.8932862896515
PALAMEDES_JAVA_ECLIPSE:0.6.1688.5666666666667
ALLOY_TUPLE_PROVER:2543.7
PALAMEDES_JOCULAR:0.6.1310.6792880474635
GGP_BASE_PROVER:2015-04-26272.49700039994667
REKKURA_BACKWARD_PROVER_OSTD:1.0.0139.8433594400933
REKKURA_BACKWARD_PROVER:1.0.0133.56883393874762
PALAMEDES_JAVA_PROVER_USEOPT_TRUE:0.6.1122.72515165655624
PALAMEDES_JAVA_PROVER_USEOPT_FALSE:0.6.173.48923978945966
REKKURA_GENERIC_FORWARD_PROVER:1.0.048.08236979774083
REKKURA_GENERIC_FORWARD_PROVER_OSTD:1.0.044.83378855505962

index