detailed results (92284 total)

prover file res expected time
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/FFT/z3.827926.smt2 (content) ok ok 0.102s
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/FFT/z3.825916.smt2 (content) ok ok 0.058s
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/FFT/z3.825598.smt2 (content) ok ok 0.066s
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/FFT/z3.825014.smt2 (content) ok ok 0.073s
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/FFT/z3.823996.smt2 (content) ok ok 0.140s
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/FFT/z3.821986.smt2 (content) ok ok 0.072s
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/FFT/z3.821634.smt2 (content) ok ok 0.058s
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/FFT/z3.821053.smt2 (content) ok ok 0.121s
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/FFT/z3.820023.smt2 (content) ok ok 0.087s
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/FFT/z3.818028.smt2 (content) ok ok 0.060s
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/FFT/z3.817643.smt2 (content) ok ok 0.108s
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/FFT/z3.816994.smt2 (content) ok ok 0.088s
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/FFT/z3.815818.smt2 (content) ok ok 0.153s
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/FFT/z3.811946.smt2 (content) ok ok 0.074s
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/FFT/z3.809917.smt2 (content) ok ok 0.082s
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/FFT/z3.809583.smt2 (content) ok ok 0.060s
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/FFT/z3.808947.smt2 (content) ok ok 0.090s
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/FFT/z3.807772.smt2 (content) ok ok 0.110s
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/FFT/z3.805649.smt2 (content) ok ok 0.081s
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/FFT/z3.805315.smt2 (content) ok ok 0.058s
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/FFT/z3.804679.smt2 (content) ok ok 0.089s
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/FFT/z3.803504.smt2 (content) ok ok 0.106s
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/FFT/z3.801381.smt2 (content) ok ok 0.074s
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/FFT/z3.801047.smt2 (content) ok ok 0.072s
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/FFT/z3.800411.smt2 (content) ok ok 0.089s