detailed results (8452 total)

prover file res expected time
dolmen-strict /home/guillaume/bench/smtlib/QF_SLIA/2015-Norn/ab/norn-benchmark-140.smt2 (content) fatal ok 0.124s
dolmen-strict /home/guillaume/bench/smtlib/QF_SLIA/2015-Norn/ab/norn-benchmark-139.smt2 (content) fatal ok 0.178s
dolmen-strict /home/guillaume/bench/smtlib/QF_SLIA/2015-Norn/ab/norn-benchmark-138.smt2 (content) fatal ok 0.120s
dolmen-strict /home/guillaume/bench/smtlib/QF_SLIA/2015-Norn/ab/norn-benchmark-137.smt2 (content) fatal ok 0.222s
dolmen-strict /home/guillaume/bench/smtlib/QF_SLIA/2015-Norn/ab/norn-benchmark-136.smt2 (content) fatal ok 0.121s
dolmen-strict /home/guillaume/bench/smtlib/QF_SLIA/2015-Norn/ab/norn-benchmark-135.smt2 (content) fatal ok 0.116s
dolmen-strict /home/guillaume/bench/smtlib/QF_SLIA/2015-Norn/ab/norn-benchmark-133.smt2 (content) fatal ok 0.237s
dolmen-strict /home/guillaume/bench/smtlib/QF_SLIA/2015-Norn/ab/norn-benchmark-132.smt2 (content) fatal ok 0.178s
dolmen-strict /home/guillaume/bench/smtlib/QF_SLIA/2015-Norn/ab/norn-benchmark-131.smt2 (content) fatal ok 0.117s
dolmen-strict /home/guillaume/bench/smtlib/QF_SLIA/2015-Norn/ab/norn-benchmark-130.smt2 (content) fatal ok 0.117s
dolmen-strict /home/guillaume/bench/smtlib/QF_SLIA/2015-Norn/ab/norn-benchmark-128.smt2 (content) fatal ok 0.171s
dolmen-strict /home/guillaume/bench/smtlib/QF_SLIA/2015-Norn/ab/norn-benchmark-127.smt2 (content) fatal ok 0.182s
dolmen-strict /home/guillaume/bench/smtlib/QF_SLIA/2015-Norn/ab/norn-benchmark-126.smt2 (content) fatal ok 0.143s
dolmen-strict /home/guillaume/bench/smtlib/QF_SLIA/2015-Norn/ab/norn-benchmark-121.smt2 (content) fatal ok 0.124s
dolmen-strict /home/guillaume/bench/smtlib/QF_SLIA/2015-Norn/ab/norn-benchmark-120.smt2 (content) fatal ok 0.172s
dolmen-strict /home/guillaume/bench/smtlib/QF_SLIA/2015-Norn/ab/norn-benchmark-119.smt2 (content) fatal ok 0.117s
dolmen-strict /home/guillaume/bench/smtlib/QF_SLIA/2015-Norn/Levenshtein/norn-benchmark-84.smt2 (content) fatal ok 0.171s
dolmen-strict /home/guillaume/bench/smtlib/QF_SLIA/2015-Norn/Levenshtein/norn-benchmark-65.smt2 (content) fatal ok 0.163s
dolmen-strict /home/guillaume/bench/smtlib/QF_SLIA/2015-Norn/Levenshtein/norn-benchmark-52.smt2 (content) fatal ok 0.123s
dolmen-strict /home/guillaume/bench/smtlib/QF_SLIA/2015-Norn/Levenshtein/norn-benchmark-45.smt2 (content) fatal ok 0.113s
dolmen-strict /home/guillaume/bench/smtlib/QF_SLIA/2015-Norn/Levenshtein/norn-benchmark-4.smt2 (content) fatal ok 0.118s
dolmen-strict /home/guillaume/bench/smtlib/QF_SLIA/2015-Norn/Levenshtein/norn-benchmark-37.smt2 (content) fatal ok 0.114s
dolmen-strict /home/guillaume/bench/smtlib/QF_SLIA/2015-Norn/Levenshtein/norn-benchmark-32.smt2 (content) fatal ok 0.124s
dolmen-strict /home/guillaume/bench/smtlib/QF_SLIA/2015-Norn/Levenshtein/norn-benchmark-31.smt2 (content) fatal ok 0.172s
dolmen-strict /home/guillaume/bench/smtlib/QF_SLIA/2015-Norn/Levenshtein/norn-benchmark-3.smt2 (content) fatal ok 0.129s