detailed results (8452 total)

prover file res expected time
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/FFT/smtlib.778166.smt2 (content) fatal ok 0.092s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/FFT/smtlib.777801.smt2 (content) fatal ok 0.096s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/FFT/smtlib.769670.smt2 (content) fatal ok 0.096s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/FFT/smtlib.769312.smt2 (content) fatal ok 0.098s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/FFT/smtlib.765447.smt2 (content) fatal ok 0.091s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/FFT/smtlib.765089.smt2 (content) fatal ok 0.089s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/FFT/smtlib.761224.smt2 (content) fatal ok 0.147s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/FFT/smtlib.760866.smt2 (content) fatal ok 0.090s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/FFT/smtlib.757001.smt2 (content) fatal ok 0.140s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/FFT/smtlib.756643.smt2 (content) fatal ok 0.182s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/FFT/smtlib.752778.smt2 (content) fatal ok 0.093s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/FFT/smtlib.752395.smt2 (content) fatal ok 0.105s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/FFT/smtlib.748622.smt2 (content) fatal ok 0.093s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/FFT/smtlib.748236.smt2 (content) fatal ok 0.128s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/FFT/smtlib.715376.smt2 (content) fatal ok 0.100s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/FFT/smtlib.715261.smt2 (content) fatal ok 0.133s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/FFT/smtlib.707927.smt2 (content) fatal ok 0.104s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/FFT/smtlib.682484.smt2 (content) fatal ok 0.127s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/FFT/smtlib.657621.smt2 (content) fatal ok 0.103s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/FFT/smtlib.619215.smt2 (content) fatal ok 0.090s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/FFT/smtlib.618857.smt2 (content) fatal ok 0.138s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/FFT/smtlib.618174.smt2 (content) fatal ok 0.092s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/FFT/smtlib.614580.smt2 (content) fatal ok 0.100s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/FFT/smtlib.614216.smt2 (content) fatal ok 0.096s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/FFT/smtlib.613529.smt2 (content) fatal ok 0.096s