detailed results (8452 total)

prover file res expected time
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/FFT/smtlib.922994.smt2 (content) fatal ok 0.094s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/FFT/smtlib.922324.smt2 (content) fatal ok 0.095s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/FFT/smtlib.919037.smt2 (content) fatal ok 0.101s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/FFT/smtlib.918671.smt2 (content) fatal ok 0.097s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/FFT/smtlib.918001.smt2 (content) fatal ok 0.103s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/FFT/smtlib.914714.smt2 (content) fatal ok 0.096s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/FFT/smtlib.914348.smt2 (content) fatal ok 0.137s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/FFT/smtlib.913678.smt2 (content) fatal ok 0.094s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/FFT/smtlib.910391.smt2 (content) fatal ok 0.136s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/FFT/smtlib.910025.smt2 (content) fatal ok 0.101s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/FFT/smtlib.909355.smt2 (content) fatal ok 0.133s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/FFT/smtlib.882771.smt2 (content) fatal ok 0.092s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/FFT/smtlib.882425.smt2 (content) fatal ok 0.100s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/FFT/smtlib.878807.smt2 (content) fatal ok 0.138s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/FFT/smtlib.878461.smt2 (content) fatal ok 0.140s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/FFT/smtlib.874843.smt2 (content) fatal ok 0.098s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/FFT/smtlib.874497.smt2 (content) fatal ok 0.102s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/FFT/smtlib.870879.smt2 (content) fatal ok 0.093s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/FFT/smtlib.870533.smt2 (content) fatal ok 0.102s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/FFT/smtlib.866915.smt2 (content) fatal ok 0.095s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/FFT/smtlib.866582.smt2 (content) fatal ok 0.096s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/FFT/smtlib.862942.smt2 (content) fatal ok 0.130s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/FFT/smtlib.862596.smt2 (content) fatal ok 0.142s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/FFT/smtlib.859164.smt2 (content) fatal ok 0.129s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/FFT/smtlib.847295.smt2 (content) fatal ok 0.094s