detailed results (330073 total)

prover file res expected time
dolmen-strict /home/guillaume/bench/smtlib/AUFNIRA/FFT/smtlib.628941.smt2 (content) ok ok 0.131s
dolmen-strict /home/guillaume/bench/smtlib/AUFNIRA/FFT/smtlib.627369.smt2 (content) ok ok 0.218s
dolmen-strict /home/guillaume/bench/smtlib/AUFNIRA/FFT/smtlib.626115.smt2 (content) ok ok 0.189s
dolmen-strict /home/guillaume/bench/smtlib/AUFNIRA/FFT/smtlib.624862.smt2 (content) ok ok 0.136s
dolmen-strict /home/guillaume/bench/smtlib/AUFNIRA/FFT/smtlib.623344.smt2 (content) ok ok 0.175s
dolmen-strict /home/guillaume/bench/smtlib/AUFNIRA/FFT/smtlib.622079.smt2 (content) ok ok 0.094s
dolmen-strict /home/guillaume/bench/smtlib/AUFNIRA/FFT/smtlib.621785.smt2 (content) ok ok 0.134s
dolmen-strict /home/guillaume/bench/smtlib/AUFNIRA/FFT/smtlib.620440.smt2 (content) ok ok 0.129s
dolmen-strict /home/guillaume/bench/smtlib/AUFNIRA/FFT/smtlib.616911.smt2 (content) ok ok 0.132s
dolmen-strict /home/guillaume/bench/smtlib/AUFNIRA/FFT/smtlib.612263.smt2 (content) ok ok 0.174s
dolmen-strict /home/guillaume/bench/smtlib/AUFNIRA/FFT/smtlib.607667.smt2 (content) ok ok 0.175s
dolmen-strict /home/guillaume/bench/smtlib/AUFNIRA/FFT/smtlib.562301.smt2 (content) ok ok 0.131s
dolmen-strict /home/guillaume/bench/smtlib/AUFNIRA/FFT/smtlib.561727.smt2 (content) ok ok 0.134s
dolmen-strict /home/guillaume/bench/smtlib/AUFNIRA/FFT/smtlib.560602.smt2 (content) ok ok 0.182s
dolmen-strict /home/guillaume/bench/smtlib/AUFNIRA/FFT/smtlib.549916.smt2 (content) ok ok 0.131s
dolmen-strict /home/guillaume/bench/smtlib/AUFNIA/20170829-Rodin/smt9131947358693463616.smt2 (content) ok ok 0.127s
dolmen-strict /home/guillaume/bench/smtlib/AUFNIA/20170829-Rodin/smt8825957121942477002.smt2 (content) ok ok 0.228s
dolmen-strict /home/guillaume/bench/smtlib/AUFNIA/20170829-Rodin/smt8328544355752467113.smt2 (content) ok ok 0.163s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/peter/symmetric_unsat_99.smt2 (content) ok ok 0.099s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/peter/symmetric_unsat_98.smt2 (content) ok ok 0.097s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/peter/symmetric_unsat_97.smt2 (content) ok ok 0.107s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/peter/symmetric_unsat_96.smt2 (content) ok ok 0.096s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/peter/symmetric_unsat_95.smt2 (content) ok ok 0.161s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/peter/symmetric_unsat_94.smt2 (content) ok ok 0.128s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/peter/symmetric_unsat_93.smt2 (content) ok ok 0.104s