detailed results (92284 total)

prover file res expected time
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/FFT/smtlib.621785.smt2 (content) ok ok 0.063s
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/FFT/smtlib.620440.smt2 (content) ok ok 0.059s
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/FFT/smtlib.616911.smt2 (content) ok ok 0.127s
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/FFT/smtlib.612263.smt2 (content) ok ok 0.115s
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/FFT/smtlib.607667.smt2 (content) ok ok 0.108s
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/FFT/smtlib.562301.smt2 (content) ok ok 0.048s
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/FFT/smtlib.561727.smt2 (content) ok ok 0.074s
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/FFT/smtlib.560602.smt2 (content) ok ok 0.161s
dolmen /home/guigui/build/benchs/smtlib/AUFNIRA/FFT/smtlib.549916.smt2 (content) ok ok 0.081s
dolmen /home/guigui/build/benchs/smtlib/ALIA/piVC/piVC_ffb7db.smt2 (content) ok ok 0.058s
dolmen /home/guigui/build/benchs/smtlib/ALIA/piVC/piVC_f8964d.smt2 (content) ok ok 0.045s
dolmen /home/guigui/build/benchs/smtlib/ALIA/piVC/piVC_deabd0.smt2 (content) ok ok 0.042s
dolmen /home/guigui/build/benchs/smtlib/ALIA/piVC/piVC_dab5a0.smt2 (content) ok ok 0.062s
dolmen /home/guigui/build/benchs/smtlib/ALIA/piVC/piVC_d9dcdb.smt2 (content) ok ok 0.047s
dolmen /home/guigui/build/benchs/smtlib/ALIA/piVC/piVC_d91441.smt2 (content) ok ok 0.043s
dolmen /home/guigui/build/benchs/smtlib/ALIA/piVC/piVC_cfcef5.smt2 (content) ok ok 0.047s
dolmen /home/guigui/build/benchs/smtlib/ALIA/piVC/piVC_cdaaac.smt2 (content) ok ok 0.058s
dolmen /home/guigui/build/benchs/smtlib/ALIA/piVC/piVC_c7166c.smt2 (content) ok ok 0.020s
dolmen /home/guigui/build/benchs/smtlib/ALIA/piVC/piVC_c5a79f.smt2 (content) ok ok 0.026s
dolmen /home/guigui/build/benchs/smtlib/ALIA/piVC/piVC_c0b5f5.smt2 (content) ok ok 0.038s
dolmen /home/guigui/build/benchs/smtlib/ALIA/piVC/piVC_bf055f.smt2 (content) ok ok 0.060s
dolmen /home/guigui/build/benchs/smtlib/ALIA/piVC/piVC_bd0142.smt2 (content) ok ok 0.035s
dolmen /home/guigui/build/benchs/smtlib/ALIA/piVC/piVC_b5f37c.smt2 (content) ok ok 0.042s
dolmen /home/guigui/build/benchs/smtlib/ALIA/piVC/piVC_b124d6.smt2 (content) ok ok 0.040s
dolmen /home/guigui/build/benchs/smtlib/ALIA/piVC/piVC_ac01b1.smt2 (content) ok ok 0.040s