detailed results (330073 total)

prover file res expected time
dolmen-strict /home/guillaume/bench/smtlib/AUFNIRA/FFT/smtlib.671895.smt2 (content) ok ok 0.133s
dolmen-strict /home/guillaume/bench/smtlib/AUFNIRA/FFT/smtlib.671569.smt2 (content) ok ok 0.130s
dolmen-strict /home/guillaume/bench/smtlib/AUFNIRA/FFT/smtlib.670862.smt2 (content) ok ok 0.138s
dolmen-strict /home/guillaume/bench/smtlib/AUFNIRA/FFT/smtlib.665768.smt2 (content) ok ok 0.133s
dolmen-strict /home/guillaume/bench/smtlib/AUFNIRA/FFT/smtlib.665247.smt2 (content) ok ok 0.135s
dolmen-strict /home/guillaume/bench/smtlib/AUFNIRA/FFT/smtlib.664248.smt2 (content) ok ok 0.178s
dolmen-strict /home/guillaume/bench/smtlib/AUFNIRA/FFT/smtlib.662227.smt2 (content) ok ok 0.138s
dolmen-strict /home/guillaume/bench/smtlib/AUFNIRA/FFT/smtlib.662069.smt2 (content) ok ok 0.132s
dolmen-strict /home/guillaume/bench/smtlib/AUFNIRA/FFT/smtlib.661781.smt2 (content) ok ok 0.129s
dolmen-strict /home/guillaume/bench/smtlib/AUFNIRA/FFT/smtlib.661260.smt2 (content) ok ok 0.140s
dolmen-strict /home/guillaume/bench/smtlib/AUFNIRA/FFT/smtlib.660068.smt2 (content) ok ok 0.217s
dolmen-strict /home/guillaume/bench/smtlib/AUFNIRA/FFT/smtlib.659901.smt2 (content) ok ok 0.176s
dolmen-strict /home/guillaume/bench/smtlib/AUFNIRA/FFT/smtlib.659604.smt2 (content) ok ok 0.176s
dolmen-strict /home/guillaume/bench/smtlib/AUFNIRA/FFT/smtlib.659078.smt2 (content) ok ok 0.174s
dolmen-strict /home/guillaume/bench/smtlib/AUFNIRA/FFT/smtlib.657075.smt2 (content) ok ok 0.135s
dolmen-strict /home/guillaume/bench/smtlib/AUFNIRA/FFT/smtlib.656050.smt2 (content) ok ok 0.134s
dolmen-strict /home/guillaume/bench/smtlib/AUFNIRA/FFT/smtlib.654080.smt2 (content) ok ok 0.132s
dolmen-strict /home/guillaume/bench/smtlib/AUFNIRA/FFT/smtlib.653905.smt2 (content) ok ok 0.132s
dolmen-strict /home/guillaume/bench/smtlib/AUFNIRA/FFT/smtlib.653587.smt2 (content) ok ok 0.132s
dolmen-strict /home/guillaume/bench/smtlib/AUFNIRA/FFT/smtlib.652843.smt2 (content) ok ok 0.129s
dolmen-strict /home/guillaume/bench/smtlib/AUFNIRA/FFT/smtlib.647696.smt2 (content) ok ok 0.154s
dolmen-strict /home/guillaume/bench/smtlib/AUFNIRA/FFT/smtlib.647637.smt2 (content) ok ok 0.172s
dolmen-strict /home/guillaume/bench/smtlib/AUFNIRA/FFT/smtlib.647483.smt2 (content) ok ok 0.134s
dolmen-strict /home/guillaume/bench/smtlib/AUFNIRA/FFT/smtlib.647018.smt2 (content) ok ok 0.134s
dolmen-strict /home/guillaume/bench/smtlib/AUFNIRA/FFT/smtlib.645857.smt2 (content) ok ok 0.180s