detailed results (330073 total)

prover file res expected time
dolmen-strict /home/guillaume/bench/smtlib/AUFNIRA/FFT/smtlib.714922.smt2 (content) ok ok 0.142s
dolmen-strict /home/guillaume/bench/smtlib/AUFNIRA/FFT/smtlib.714183.smt2 (content) ok ok 0.129s
dolmen-strict /home/guillaume/bench/smtlib/AUFNIRA/FFT/smtlib.712540.smt2 (content) ok ok 0.178s
dolmen-strict /home/guillaume/bench/smtlib/AUFNIRA/FFT/smtlib.712193.smt2 (content) ok ok 0.135s
dolmen-strict /home/guillaume/bench/smtlib/AUFNIRA/FFT/smtlib.711486.smt2 (content) ok ok 0.130s
dolmen-strict /home/guillaume/bench/smtlib/AUFNIRA/FFT/smtlib.710024.smt2 (content) ok ok 0.132s
dolmen-strict /home/guillaume/bench/smtlib/AUFNIRA/FFT/smtlib.707123.smt2 (content) ok ok 0.124s
dolmen-strict /home/guillaume/bench/smtlib/AUFNIRA/FFT/smtlib.701996.smt2 (content) ok ok 0.172s
dolmen-strict /home/guillaume/bench/smtlib/AUFNIRA/FFT/smtlib.700096.smt2 (content) ok ok 0.137s
dolmen-strict /home/guillaume/bench/smtlib/AUFNIRA/FFT/smtlib.700083.smt2 (content) ok ok 0.179s
dolmen-strict /home/guillaume/bench/smtlib/AUFNIRA/FFT/smtlib.700022.smt2 (content) ok ok 0.131s
dolmen-strict /home/guillaume/bench/smtlib/AUFNIRA/FFT/smtlib.699383.smt2 (content) ok ok 0.132s
dolmen-strict /home/guillaume/bench/smtlib/AUFNIRA/FFT/smtlib.698113.smt2 (content) ok ok 0.179s
dolmen-strict /home/guillaume/bench/smtlib/AUFNIRA/FFT/smtlib.697961.smt2 (content) ok ok 0.139s
dolmen-strict /home/guillaume/bench/smtlib/AUFNIRA/FFT/smtlib.697550.smt2 (content) ok ok 0.136s
dolmen-strict /home/guillaume/bench/smtlib/AUFNIRA/FFT/smtlib.696888.smt2 (content) ok ok 0.132s
dolmen-strict /home/guillaume/bench/smtlib/AUFNIRA/FFT/smtlib.688983.smt2 (content) ok ok 0.127s
dolmen-strict /home/guillaume/bench/smtlib/AUFNIRA/FFT/smtlib.682065.smt2 (content) ok ok 0.134s
dolmen-strict /home/guillaume/bench/smtlib/AUFNIRA/FFT/smtlib.681188.smt2 (content) ok ok 0.136s
dolmen-strict /home/guillaume/bench/smtlib/AUFNIRA/FFT/smtlib.675941.smt2 (content) ok ok 0.132s
dolmen-strict /home/guillaume/bench/smtlib/AUFNIRA/FFT/smtlib.674037.smt2 (content) ok ok 0.133s
dolmen-strict /home/guillaume/bench/smtlib/AUFNIRA/FFT/smtlib.674024.smt2 (content) ok ok 0.130s
dolmen-strict /home/guillaume/bench/smtlib/AUFNIRA/FFT/smtlib.673963.smt2 (content) ok ok 0.175s
dolmen-strict /home/guillaume/bench/smtlib/AUFNIRA/FFT/smtlib.673324.smt2 (content) ok ok 0.135s
dolmen-strict /home/guillaume/bench/smtlib/AUFNIRA/FFT/smtlib.672054.smt2 (content) ok ok 0.133s