index

DRESDEN/uf20-020.cnf.SAT.satlike/WbqXoA

opnfNumOrs95
opnfTimeToCreate9368
opnfNumLinks499255
opnfNumNots93
opnfNumComponents126199
opnfNumAnds125583
EngineAverage state changes per second
SANCHO_DEAD_RECKONING_PROPNET:1.61c49707.4
ALLOY_COMPILED_PROVER_CACHING:220704.8
FLUXPLAYER_PROLOG:1.12859.3333333333335
CADIAPLAYER_PROLOG:3.01856.6047798406719
ALLOY_DIFF_PROP_NET:11143.7
ALLOY_TUPLE_PROVER:2868.4640250608192
PALAMEDES_JAVA_ECLIPSE:0.6.1518.5629540758515
GGP_BASE_PROVER:2015-04-26459.6333333333333
REKKURA_BACKWARD_PROVER:1.0.039.926800865080686
REKKURA_BACKWARD_PROVER_OSTD:1.0.038.74314607479397
PALAMEDES_JOCULAR:0.6.17.326230959430996
PALAMEDES_JAVA_PROVER_USEOPT_TRUE:0.6.10.4417839234830245
REKKURA_GENERIC_FORWARD_PROVER_OSTD:1.0.00.3813640119494057
REKKURA_GENERIC_FORWARD_PROVER:1.0.00.3159358018450651
PALAMEDES_JAVA_PROVER_USEOPT_FALSE:0.6.10.09942927595601249

index