detailed results (349691 total)

prover file res expected time
dolmen /home/guillaume/bench/smtlib/AUFLIRA/FFT/smtlib.708210.smt2 (content) ok ok 0.049s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/FFT/smtlib.707927.smt2 (content) ok ok 0.078s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/FFT/smtlib.682484.smt2 (content) ok ok 0.051s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/FFT/smtlib.666029.smt2 (content) ok ok 0.048s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/FFT/smtlib.657874.smt2 (content) ok ok 0.050s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/FFT/smtlib.657621.smt2 (content) ok ok 0.060s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/FFT/smtlib.633742.smt2 (content) ok ok 0.041s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/FFT/smtlib.619215.smt2 (content) ok ok 0.050s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/FFT/smtlib.618857.smt2 (content) ok ok 0.066s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/FFT/smtlib.618174.smt2 (content) ok ok 0.100s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/FFT/smtlib.614580.smt2 (content) ok ok 0.050s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/FFT/smtlib.614216.smt2 (content) ok ok 0.065s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/FFT/smtlib.613529.smt2 (content) ok ok 0.110s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/FFT/smtlib.609936.smt2 (content) ok ok 0.056s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/FFT/smtlib.609556.smt2 (content) ok ok 0.055s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/FFT/smtlib.608910.smt2 (content) ok ok 0.074s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/FFT/smtlib.562660.smt2 (content) ok ok 0.042s
dolmen /home/guillaume/bench/smtlib/AUFLIA/misc/set3.smt2 (content) ok ok 0.120s
dolmen /home/guillaume/bench/smtlib/AUFLIA/misc/set2.smt2 (content) ok ok 0.119s
dolmen /home/guillaume/bench/smtlib/AUFLIA/misc/set1.smt2 (content) ok ok 0.124s
dolmen /home/guillaume/bench/smtlib/AUFLIA/misc/arr2.smt2 (content) ok ok 0.118s
dolmen /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt999675148899312327.smt2 (content) ok ok 0.122s
dolmen /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt999236656072022031.smt2 (content) ok ok 0.159s
dolmen /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt998142315000427130.smt2 (content) ok ok 0.173s
dolmen /home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt995816553409726390.smt2 (content) ok ok 0.146s