detailed results (241608 total)

prover file res expected time
dolmen /home/guillaume/bench/smtlib/AUFNIRA/FFT/smtlib.621785.smt2 (content) ok ok 0.058s
dolmen /home/guillaume/bench/smtlib/AUFNIRA/FFT/smtlib.620440.smt2 (content) ok ok 0.062s
dolmen /home/guillaume/bench/smtlib/AUFNIRA/FFT/smtlib.616911.smt2 (content) ok ok 0.119s
dolmen /home/guillaume/bench/smtlib/AUFNIRA/FFT/smtlib.612263.smt2 (content) ok ok 0.097s
dolmen /home/guillaume/bench/smtlib/AUFNIRA/FFT/smtlib.607667.smt2 (content) ok ok 0.099s
dolmen /home/guillaume/bench/smtlib/AUFNIRA/FFT/smtlib.562301.smt2 (content) ok ok 0.054s
dolmen /home/guillaume/bench/smtlib/AUFNIRA/FFT/smtlib.561727.smt2 (content) ok ok 0.077s
dolmen /home/guillaume/bench/smtlib/AUFNIRA/FFT/smtlib.560602.smt2 (content) ok ok 0.110s
dolmen /home/guillaume/bench/smtlib/AUFNIRA/FFT/smtlib.549916.smt2 (content) ok ok 0.074s
dolmen /home/guillaume/bench/smtlib/AUFNIA/20170829-Rodin/smt9131947358693463616.smt2 (content) ok ok 0.072s
dolmen /home/guillaume/bench/smtlib/AUFNIA/20170829-Rodin/smt8825957121942477002.smt2 (content) ok ok 0.093s
dolmen /home/guillaume/bench/smtlib/AUFNIA/20170829-Rodin/smt8328544355752467113.smt2 (content) ok ok 0.069s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/peter/symmetric_unsat_99.smt2 (content) ok ok 0.048s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/peter/symmetric_unsat_98.smt2 (content) ok ok 0.045s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/peter/symmetric_unsat_97.smt2 (content) ok ok 0.066s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/peter/symmetric_unsat_96.smt2 (content) ok ok 0.066s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/peter/symmetric_unsat_95.smt2 (content) ok ok 0.047s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/peter/symmetric_unsat_94.smt2 (content) ok ok 0.049s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/peter/symmetric_unsat_93.smt2 (content) ok ok 0.048s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/peter/symmetric_unsat_92.smt2 (content) ok ok 0.045s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/peter/symmetric_unsat_91.smt2 (content) ok ok 0.054s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/peter/symmetric_unsat_90.smt2 (content) ok ok 0.044s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/peter/symmetric_unsat_9.smt2 (content) ok ok 0.035s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/peter/symmetric_unsat_89.smt2 (content) ok ok 0.046s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/peter/symmetric_unsat_88.smt2 (content) ok ok 0.044s