detailed results (92284 total)

prover file res expected time
dolmen /home/guigui/build/benchs/smtlib/QF_FP/schanda/spark/average_3.smt2 (content) ok ok 0.033s
dolmen /home/guigui/build/benchs/smtlib/QF_FP/schanda/spark/average_2.smt2 (content) ok ok 0.035s
dolmen /home/guigui/build/benchs/smtlib/QF_FP/schanda/spark/average_1.smt2 (content) ok ok 0.035s
dolmen /home/guigui/build/benchs/smtlib/QF_FP/schanda/spark/assoc_mult.smt2 (content) ok ok 0.037s
dolmen /home/guigui/build/benchs/smtlib/QF_FP/schanda/spark/assoc_add.smt2 (content) ok ok 0.034s
dolmen /home/guigui/build/benchs/smtlib/QF_FP/schanda/spark/angle_between_2.smt2 (content) ok ok 0.050s
dolmen /home/guigui/build/benchs/smtlib/QF_FP/schanda/spark/angle_between_1.smt2 (content) ok ok 0.053s
dolmen /home/guigui/build/benchs/smtlib/QF_FP/schanda/spark/O220-024.smt2 (content) ok ok 0.036s
dolmen /home/guigui/build/benchs/smtlib/QF_FP/ramalho/esbmc/square_7_true-unreach-call-main.smt2 (content) ok ok 0.057s
dolmen /home/guigui/build/benchs/smtlib/QF_FP/ramalho/esbmc/square_5_true-unreach-call-main.smt2 (content) ok ok 0.055s
dolmen /home/guigui/build/benchs/smtlib/QF_FP/ramalho/esbmc/square_4_true-unreach-call-main.smt2 (content) ok ok 0.057s
dolmen /home/guigui/build/benchs/smtlib/QF_FP/ramalho/esbmc/sine_6_true-unreach-call-main.smt2 (content) ok ok 0.016s
dolmen /home/guigui/build/benchs/smtlib/QF_FP/ramalho/esbmc/sine_5_true-unreach-call-main.smt2 (content) ok ok 0.035s
dolmen /home/guigui/build/benchs/smtlib/QF_FP/ramalho/esbmc/sine_4_true-unreach-call-main.smt2 (content) ok ok 0.015s
dolmen /home/guigui/build/benchs/smtlib/QF_FP/ramalho/esbmc/newton_3_6_false-unreach-call-main.smt2 (content) ok ok 0.030s
dolmen /home/guigui/build/benchs/smtlib/QF_FP/ramalho/esbmc/newton_3_5_true-unreach-call-main.smt2 (content) ok ok 0.029s
dolmen /home/guigui/build/benchs/smtlib/QF_FP/ramalho/esbmc/newton_3_4_true-unreach-call-main.smt2 (content) ok ok 0.080s
dolmen /home/guigui/build/benchs/smtlib/QF_FP/ramalho/esbmc/newton_3_3_true-unreach-call-main.smt2 (content) ok ok 0.078s
dolmen /home/guigui/build/benchs/smtlib/QF_FP/ramalho/esbmc/newton_3_2_true-unreach-call-main.smt2 (content) ok ok 0.048s
dolmen /home/guigui/build/benchs/smtlib/QF_FP/ramalho/esbmc/newton_3_1_true-unreach-call-main.smt2 (content) ok ok 0.075s
dolmen /home/guigui/build/benchs/smtlib/QF_FP/ramalho/esbmc/newton_2_5_true-unreach-call-main.smt2 (content) ok ok 0.065s
dolmen /home/guigui/build/benchs/smtlib/QF_FP/ramalho/esbmc/newton_2_4_true-unreach-call-main.smt2 (content) ok ok 0.069s
dolmen /home/guigui/build/benchs/smtlib/QF_FP/ramalho/esbmc/newton_2_3_true-unreach-call-main.smt2 (content) ok ok 0.067s
dolmen /home/guigui/build/benchs/smtlib/QF_FP/ramalho/esbmc/newton_2_2_true-unreach-call-main.smt2 (content) ok ok 0.025s
dolmen /home/guigui/build/benchs/smtlib/QF_FP/ramalho/esbmc/newton_2_1_true-unreach-call-main.smt2 (content) ok ok 0.044s