detailed results (330073 total)

prover file res expected time
dolmen-strict /home/guillaume/bench/smtlib/AUFNIRA/FFT/smtlib.921143.smt2 (content) ok ok 0.135s
dolmen-strict /home/guillaume/bench/smtlib/AUFNIRA/FFT/smtlib.916820.smt2 (content) ok ok 0.137s
dolmen-strict /home/guillaume/bench/smtlib/AUFNIRA/FFT/smtlib.912497.smt2 (content) ok ok 0.130s
dolmen-strict /home/guillaume/bench/smtlib/AUFNIRA/FFT/smtlib.908174.smt2 (content) ok ok 0.137s
dolmen-strict /home/guillaume/bench/smtlib/AUFNIRA/FFT/smtlib.881798.smt2 (content) ok ok 0.134s
dolmen-strict /home/guillaume/bench/smtlib/AUFNIRA/FFT/smtlib.880728.smt2 (content) ok ok 0.176s
dolmen-strict /home/guillaume/bench/smtlib/AUFNIRA/FFT/smtlib.877834.smt2 (content) ok ok 0.184s
dolmen-strict /home/guillaume/bench/smtlib/AUFNIRA/FFT/smtlib.876764.smt2 (content) ok ok 0.144s
dolmen-strict /home/guillaume/bench/smtlib/AUFNIRA/FFT/smtlib.873870.smt2 (content) ok ok 0.136s
dolmen-strict /home/guillaume/bench/smtlib/AUFNIRA/FFT/smtlib.872800.smt2 (content) ok ok 0.132s
dolmen-strict /home/guillaume/bench/smtlib/AUFNIRA/FFT/smtlib.869906.smt2 (content) ok ok 0.130s
dolmen-strict /home/guillaume/bench/smtlib/AUFNIRA/FFT/smtlib.868836.smt2 (content) ok ok 0.130s
dolmen-strict /home/guillaume/bench/smtlib/AUFNIRA/FFT/smtlib.865953.smt2 (content) ok ok 0.178s
dolmen-strict /home/guillaume/bench/smtlib/AUFNIRA/FFT/smtlib.864863.smt2 (content) ok ok 0.138s
dolmen-strict /home/guillaume/bench/smtlib/AUFNIRA/FFT/smtlib.861982.smt2 (content) ok ok 0.233s
dolmen-strict /home/guillaume/bench/smtlib/AUFNIRA/FFT/smtlib.860981.smt2 (content) ok ok 0.129s
dolmen-strict /home/guillaume/bench/smtlib/AUFNIRA/FFT/smtlib.858887.smt2 (content) ok ok 0.129s
dolmen-strict /home/guillaume/bench/smtlib/AUFNIRA/FFT/smtlib.858350.smt2 (content) ok ok 0.133s
dolmen-strict /home/guillaume/bench/smtlib/AUFNIRA/FFT/smtlib.857393.smt2 (content) ok ok 0.142s
dolmen-strict /home/guillaume/bench/smtlib/AUFNIRA/FFT/smtlib.854640.smt2 (content) ok ok 0.134s
dolmen-strict /home/guillaume/bench/smtlib/AUFNIRA/FFT/smtlib.853506.smt2 (content) ok ok 0.128s
dolmen-strict /home/guillaume/bench/smtlib/AUFNIRA/FFT/smtlib.850480.smt2 (content) ok ok 0.175s
dolmen-strict /home/guillaume/bench/smtlib/AUFNIRA/FFT/smtlib.849348.smt2 (content) ok ok 0.130s
dolmen-strict /home/guillaume/bench/smtlib/AUFNIRA/FFT/smtlib.846296.smt2 (content) ok ok 0.139s
dolmen-strict /home/guillaume/bench/smtlib/AUFNIRA/FFT/smtlib.845302.smt2 (content) ok ok 0.133s