detailed results (330073 total)

prover file res expected time
dolmen-strict /home/guillaume/bench/smtlib/AUFNIRA/FFT/z3.779430.smt2 (content) ok ok 0.134s
dolmen-strict /home/guillaume/bench/smtlib/AUFNIRA/FFT/z3.778229.smt2 (content) ok ok 0.178s
dolmen-strict /home/guillaume/bench/smtlib/AUFNIRA/FFT/z3.776249.smt2 (content) ok ok 0.174s
dolmen-strict /home/guillaume/bench/smtlib/AUFNIRA/FFT/z3.775888.smt2 (content) ok ok 0.133s
dolmen-strict /home/guillaume/bench/smtlib/AUFNIRA/FFT/z3.775261.smt2 (content) ok ok 0.182s
dolmen-strict /home/guillaume/bench/smtlib/AUFNIRA/FFT/z3.774116.smt2 (content) ok ok 0.131s
dolmen-strict /home/guillaume/bench/smtlib/AUFNIRA/FFT/z3.770035.smt2 (content) ok ok 0.178s
dolmen-strict /home/guillaume/bench/smtlib/AUFNIRA/FFT/z3.767657.smt2 (content) ok ok 0.133s
dolmen-strict /home/guillaume/bench/smtlib/AUFNIRA/FFT/z3.767299.smt2 (content) ok ok 0.129s
dolmen-strict /home/guillaume/bench/smtlib/AUFNIRA/FFT/z3.766657.smt2 (content) ok ok 0.133s
dolmen-strict /home/guillaume/bench/smtlib/AUFNIRA/FFT/z3.765586.smt2 (content) ok ok 0.134s
dolmen-strict /home/guillaume/bench/smtlib/AUFNIRA/FFT/z3.763578.smt2 (content) ok ok 0.131s
dolmen-strict /home/guillaume/bench/smtlib/AUFNIRA/FFT/z3.763220.smt2 (content) ok ok 0.137s
dolmen-strict /home/guillaume/bench/smtlib/AUFNIRA/FFT/z3.762578.smt2 (content) ok ok 0.183s
dolmen-strict /home/guillaume/bench/smtlib/AUFNIRA/FFT/z3.761507.smt2 (content) ok ok 0.184s
dolmen-strict /home/guillaume/bench/smtlib/AUFNIRA/FFT/z3.759499.smt2 (content) ok ok 0.137s
dolmen-strict /home/guillaume/bench/smtlib/AUFNIRA/FFT/z3.759141.smt2 (content) ok ok 0.175s
dolmen-strict /home/guillaume/bench/smtlib/AUFNIRA/FFT/z3.758499.smt2 (content) ok ok 0.133s
dolmen-strict /home/guillaume/bench/smtlib/AUFNIRA/FFT/z3.757428.smt2 (content) ok ok 0.134s
dolmen-strict /home/guillaume/bench/smtlib/AUFNIRA/FFT/z3.755420.smt2 (content) ok ok 0.130s
dolmen-strict /home/guillaume/bench/smtlib/AUFNIRA/FFT/z3.755062.smt2 (content) ok ok 0.131s
dolmen-strict /home/guillaume/bench/smtlib/AUFNIRA/FFT/z3.754420.smt2 (content) ok ok 0.135s
dolmen-strict /home/guillaume/bench/smtlib/AUFNIRA/FFT/z3.753349.smt2 (content) ok ok 0.133s
dolmen-strict /home/guillaume/bench/smtlib/AUFNIRA/FFT/z3.751341.smt2 (content) ok ok 0.133s
dolmen-strict /home/guillaume/bench/smtlib/AUFNIRA/FFT/z3.750959.smt2 (content) ok ok 0.176s