detailed results (8452 total)

prover file res expected time
dolmen-strict /home/guillaume/bench/smtlib/QF_SLIA/2015-Norn/Levenshtein/norn-benchmark-21.smt2 (content) fatal ok 0.170s
dolmen-strict /home/guillaume/bench/smtlib/QF_SLIA/2015-Norn/Levenshtein/norn-benchmark-2.smt2 (content) fatal ok 0.126s
dolmen-strict /home/guillaume/bench/smtlib/QF_SLIA/2015-Norn/Levenshtein/norn-benchmark-14.smt2 (content) fatal ok 0.116s
dolmen-strict /home/guillaume/bench/smtlib/QF_SLIA/2015-Norn/HammingDistance/norn-benchmark-880.smt2 (content) fatal ok 0.129s
dolmen-strict /home/guillaume/bench/smtlib/QF_SLIA/2015-Norn/HammingDistance/norn-benchmark-87.smt2 (content) fatal ok 0.116s
dolmen-strict /home/guillaume/bench/smtlib/QF_SLIA/2015-Norn/HammingDistance/norn-benchmark-732.smt2 (content) fatal ok 0.119s
dolmen-strict /home/guillaume/bench/smtlib/QF_SLIA/2015-Norn/HammingDistance/norn-benchmark-494.smt2 (content) fatal ok 0.117s
dolmen-strict /home/guillaume/bench/smtlib/QF_SLIA/2015-Norn/HammingDistance/norn-benchmark-461.smt2 (content) fatal ok 0.120s
dolmen-strict /home/guillaume/bench/smtlib/QF_SLIA/2015-Norn/HammingDistance/norn-benchmark-392.smt2 (content) fatal ok 0.177s
dolmen-strict /home/guillaume/bench/smtlib/QF_SLIA/2015-Norn/HammingDistance/norn-benchmark-35.smt2 (content) fatal ok 0.118s
dolmen-strict /home/guillaume/bench/smtlib/QF_SLIA/2015-Norn/HammingDistance/norn-benchmark-345.smt2 (content) fatal ok 0.118s
dolmen-strict /home/guillaume/bench/smtlib/QF_SLIA/2015-Norn/HammingDistance/norn-benchmark-232.smt2 (content) fatal ok 0.175s
dolmen-strict /home/guillaume/bench/smtlib/QF_SLIA/2015-Norn/HammingDistance/norn-benchmark-123.smt2 (content) fatal ok 0.189s
dolmen-strict /home/guillaume/bench/smtlib/QF_SLIA/2015-Norn/HammingDistance/norn-benchmark-1171.smt2 (content) fatal ok 0.178s
dolmen-strict /home/guillaume/bench/smtlib/QF_SLIA/2015-Norn/HammingDistance/norn-benchmark-1080.smt2 (content) fatal ok 0.182s
dolmen-strict /home/guillaume/bench/smtlib/QF_SLIA/2015-Norn/HammingDistance/norn-benchmark-1055.smt2 (content) fatal ok 0.124s
dolmen-strict /home/guillaume/bench/smtlib/QF_SLIA/2015-Norn/HammingDistance/norn-benchmark-1028.smt2 (content) fatal ok 0.230s
dolmen-strict /home/guillaume/bench/smtlib/QF_SLIA/2015-Norn/HammingDistance/norn-benchmark-1005.smt2 (content) fatal ok 0.175s
dolmen-strict /home/guillaume/bench/smtlib/QF_SLIA/2015-Norn/ChunkSplit/norn-benchmark-31.smt2 (content) fatal ok 0.123s
dolmen-strict /home/guillaume/bench/smtlib/QF_SLIA/2015-Norn/ChunkSplit/norn-benchmark-28.smt2 (content) fatal ok 0.171s
dolmen-strict /home/guillaume/bench/smtlib/QF_SLIA/2015-Norn/ChunkSplit/norn-benchmark-27.smt2 (content) fatal ok 0.125s
dolmen-strict /home/guillaume/bench/smtlib/QF_SLIA/2015-Norn/ChunkSplit/norn-benchmark-26.smt2 (content) fatal ok 0.173s
dolmen-strict /home/guillaume/bench/smtlib/QF_SLIA/2015-Norn/ChunkSplit/norn-benchmark-25.smt2 (content) fatal ok 0.114s
dolmen-strict /home/guillaume/bench/smtlib/QF_SLIA/2015-Norn/ChunkSplit/norn-benchmark-24.smt2 (content) fatal ok 0.240s
dolmen-strict /home/guillaume/bench/smtlib/QF_SLIA/2015-Norn/ChunkSplit/norn-benchmark-1.smt2 (content) fatal ok 0.226s