detailed results (8452 total)

prover file res expected time
dolmen-strict /home/guillaume/bench/smtlib/QF_SLIA/2015-Norn/ab/norn-benchmark-67.smt2 (content) fatal ok 0.116s
dolmen-strict /home/guillaume/bench/smtlib/QF_SLIA/2015-Norn/ab/norn-benchmark-65.smt2 (content) fatal ok 0.123s
dolmen-strict /home/guillaume/bench/smtlib/QF_SLIA/2015-Norn/ab/norn-benchmark-63.smt2 (content) fatal ok 0.170s
dolmen-strict /home/guillaume/bench/smtlib/QF_SLIA/2015-Norn/ab/norn-benchmark-62.smt2 (content) fatal ok 0.169s
dolmen-strict /home/guillaume/bench/smtlib/QF_SLIA/2015-Norn/ab/norn-benchmark-61.smt2 (content) fatal ok 0.112s
dolmen-strict /home/guillaume/bench/smtlib/QF_SLIA/2015-Norn/ab/norn-benchmark-60.smt2 (content) fatal ok 0.233s
dolmen-strict /home/guillaume/bench/smtlib/QF_SLIA/2015-Norn/ab/norn-benchmark-59.smt2 (content) fatal ok 0.124s
dolmen-strict /home/guillaume/bench/smtlib/QF_SLIA/2015-Norn/ab/norn-benchmark-56.smt2 (content) fatal ok 0.227s
dolmen-strict /home/guillaume/bench/smtlib/QF_SLIA/2015-Norn/ab/norn-benchmark-55.smt2 (content) fatal ok 0.182s
dolmen-strict /home/guillaume/bench/smtlib/QF_SLIA/2015-Norn/ab/norn-benchmark-54.smt2 (content) fatal ok 0.184s
dolmen-strict /home/guillaume/bench/smtlib/QF_SLIA/2015-Norn/ab/norn-benchmark-53.smt2 (content) fatal ok 0.119s
dolmen-strict /home/guillaume/bench/smtlib/QF_SLIA/2015-Norn/ab/norn-benchmark-52.smt2 (content) fatal ok 0.125s
dolmen-strict /home/guillaume/bench/smtlib/QF_SLIA/2015-Norn/ab/norn-benchmark-51.smt2 (content) fatal ok 0.126s
dolmen-strict /home/guillaume/bench/smtlib/QF_SLIA/2015-Norn/ab/norn-benchmark-50.smt2 (content) fatal ok 0.121s
dolmen-strict /home/guillaume/bench/smtlib/QF_SLIA/2015-Norn/ab/norn-benchmark-154.smt2 (content) fatal ok 0.196s
dolmen-strict /home/guillaume/bench/smtlib/QF_SLIA/2015-Norn/ab/norn-benchmark-153.smt2 (content) fatal ok 0.168s
dolmen-strict /home/guillaume/bench/smtlib/QF_SLIA/2015-Norn/ab/norn-benchmark-152.smt2 (content) fatal ok 0.240s
dolmen-strict /home/guillaume/bench/smtlib/QF_SLIA/2015-Norn/ab/norn-benchmark-149.smt2 (content) fatal ok 0.179s
dolmen-strict /home/guillaume/bench/smtlib/QF_SLIA/2015-Norn/ab/norn-benchmark-148.smt2 (content) fatal ok 0.173s
dolmen-strict /home/guillaume/bench/smtlib/QF_SLIA/2015-Norn/ab/norn-benchmark-147.smt2 (content) fatal ok 0.115s
dolmen-strict /home/guillaume/bench/smtlib/QF_SLIA/2015-Norn/ab/norn-benchmark-146.smt2 (content) fatal ok 0.120s
dolmen-strict /home/guillaume/bench/smtlib/QF_SLIA/2015-Norn/ab/norn-benchmark-145.smt2 (content) fatal ok 0.125s
dolmen-strict /home/guillaume/bench/smtlib/QF_SLIA/2015-Norn/ab/norn-benchmark-144.smt2 (content) fatal ok 0.178s
dolmen-strict /home/guillaume/bench/smtlib/QF_SLIA/2015-Norn/ab/norn-benchmark-143.smt2 (content) fatal ok 0.118s
dolmen-strict /home/guillaume/bench/smtlib/QF_SLIA/2015-Norn/ab/norn-benchmark-141.smt2 (content) fatal ok 0.135s