detailed results (330073 total)

prover file res expected time
dolmen-strict /home/guillaume/bench/smtlib/AUFNIRA/FFT/smtlib.645715.smt2 (content) ok ok 0.178s
dolmen-strict /home/guillaume/bench/smtlib/AUFNIRA/FFT/smtlib.645472.smt2 (content) ok ok 0.134s
dolmen-strict /home/guillaume/bench/smtlib/AUFNIRA/FFT/smtlib.644770.smt2 (content) ok ok 0.134s
dolmen-strict /home/guillaume/bench/smtlib/AUFNIRA/FFT/smtlib.640322.smt2 (content) ok ok 0.134s
dolmen-strict /home/guillaume/bench/smtlib/AUFNIRA/FFT/smtlib.638953.smt2 (content) ok ok 0.132s
dolmen-strict /home/guillaume/bench/smtlib/AUFNIRA/FFT/smtlib.638801.smt2 (content) ok ok 0.176s
dolmen-strict /home/guillaume/bench/smtlib/AUFNIRA/FFT/smtlib.637413.smt2 (content) ok ok 0.135s
dolmen-strict /home/guillaume/bench/smtlib/AUFNIRA/FFT/smtlib.637378.smt2 (content) ok ok 0.155s
dolmen-strict /home/guillaume/bench/smtlib/AUFNIRA/FFT/smtlib.637372.smt2 (content) ok ok 0.136s
dolmen-strict /home/guillaume/bench/smtlib/AUFNIRA/FFT/smtlib.637239.smt2 (content) ok ok 0.176s
dolmen-strict /home/guillaume/bench/smtlib/AUFNIRA/FFT/smtlib.637082.smt2 (content) ok ok 0.220s
dolmen-strict /home/guillaume/bench/smtlib/AUFNIRA/FFT/smtlib.635849.smt2 (content) ok ok 0.176s
dolmen-strict /home/guillaume/bench/smtlib/AUFNIRA/FFT/smtlib.635732.smt2 (content) ok ok 0.132s
dolmen-strict /home/guillaume/bench/smtlib/AUFNIRA/FFT/smtlib.635501.smt2 (content) ok ok 0.131s
dolmen-strict /home/guillaume/bench/smtlib/AUFNIRA/FFT/smtlib.635015.smt2 (content) ok ok 0.131s
dolmen-strict /home/guillaume/bench/smtlib/AUFNIRA/FFT/smtlib.633611.smt2 (content) ok ok 0.102s
dolmen-strict /home/guillaume/bench/smtlib/AUFNIRA/FFT/smtlib.633330.smt2 (content) ok ok 0.177s
dolmen-strict /home/guillaume/bench/smtlib/AUFNIRA/FFT/smtlib.632775.smt2 (content) ok ok 0.180s
dolmen-strict /home/guillaume/bench/smtlib/AUFNIRA/FFT/smtlib.630683.smt2 (content) ok ok 0.132s
dolmen-strict /home/guillaume/bench/smtlib/AUFNIRA/FFT/smtlib.629402.smt2 (content) ok ok 0.131s
dolmen-strict /home/guillaume/bench/smtlib/AUFNIRA/FFT/smtlib.629335.smt2 (content) ok ok 0.103s
dolmen-strict /home/guillaume/bench/smtlib/AUFNIRA/FFT/smtlib.629331.smt2 (content) ok ok 0.134s
dolmen-strict /home/guillaume/bench/smtlib/AUFNIRA/FFT/smtlib.629241.smt2 (content) ok ok 0.132s
dolmen-strict /home/guillaume/bench/smtlib/AUFNIRA/FFT/smtlib.629149.smt2 (content) ok ok 0.133s
dolmen-strict /home/guillaume/bench/smtlib/AUFNIRA/FFT/smtlib.629057.smt2 (content) ok ok 0.133s