detailed results (330073 total)

prover file res expected time
dolmen-strict /home/guillaume/bench/smtlib/AUFNIRA/FFT/z3.659235.smt2 (content) ok ok 0.181s
dolmen-strict /home/guillaume/bench/smtlib/AUFNIRA/FFT/z3.658206.smt2 (content) ok ok 0.130s
dolmen-strict /home/guillaume/bench/smtlib/AUFNIRA/FFT/z3.655977.smt2 (content) ok ok 0.136s
dolmen-strict /home/guillaume/bench/smtlib/AUFNIRA/FFT/z3.655748.smt2 (content) ok ok 0.136s
dolmen-strict /home/guillaume/bench/smtlib/AUFNIRA/FFT/z3.655425.smt2 (content) ok ok 0.176s
dolmen-strict /home/guillaume/bench/smtlib/AUFNIRA/FFT/z3.654657.smt2 (content) ok ok 0.134s
dolmen-strict /home/guillaume/bench/smtlib/AUFNIRA/FFT/z3.649332.smt2 (content) ok ok 0.129s
dolmen-strict /home/guillaume/bench/smtlib/AUFNIRA/FFT/z3.649261.smt2 (content) ok ok 0.133s
dolmen-strict /home/guillaume/bench/smtlib/AUFNIRA/FFT/z3.649061.smt2 (content) ok ok 0.123s
dolmen-strict /home/guillaume/bench/smtlib/AUFNIRA/FFT/z3.648629.smt2 (content) ok ok 0.133s
dolmen-strict /home/guillaume/bench/smtlib/AUFNIRA/FFT/z3.647389.smt2 (content) ok ok 0.177s
dolmen-strict /home/guillaume/bench/smtlib/AUFNIRA/FFT/z3.647252.smt2 (content) ok ok 0.136s
dolmen-strict /home/guillaume/bench/smtlib/AUFNIRA/FFT/z3.647039.smt2 (content) ok ok 0.131s
dolmen-strict /home/guillaume/bench/smtlib/AUFNIRA/FFT/z3.646409.smt2 (content) ok ok 0.176s
dolmen-strict /home/guillaume/bench/smtlib/AUFNIRA/FFT/z3.641708.smt2 (content) ok ok 0.132s
dolmen-strict /home/guillaume/bench/smtlib/AUFNIRA/FFT/z3.640466.smt2 (content) ok ok 0.175s
dolmen-strict /home/guillaume/bench/smtlib/AUFNIRA/FFT/z3.640330.smt2 (content) ok ok 0.176s
dolmen-strict /home/guillaume/bench/smtlib/AUFNIRA/FFT/z3.640149.smt2 (content) ok ok 0.176s
dolmen-strict /home/guillaume/bench/smtlib/AUFNIRA/FFT/z3.639724.smt2 (content) ok ok 0.145s
dolmen-strict /home/guillaume/bench/smtlib/AUFNIRA/FFT/z3.638333.smt2 (content) ok ok 0.175s
dolmen-strict /home/guillaume/bench/smtlib/AUFNIRA/FFT/z3.638194.smt2 (content) ok ok 0.134s
dolmen-strict /home/guillaume/bench/smtlib/AUFNIRA/FFT/z3.638004.smt2 (content) ok ok 0.188s
dolmen-strict /home/guillaume/bench/smtlib/AUFNIRA/FFT/z3.637557.smt2 (content) ok ok 0.133s
dolmen-strict /home/guillaume/bench/smtlib/AUFNIRA/FFT/z3.636226.smt2 (content) ok ok 0.132s
dolmen-strict /home/guillaume/bench/smtlib/AUFNIRA/FFT/z3.636136.smt2 (content) ok ok 0.133s