detailed results (349691 total)

proverfileresexpectedtime
dolmen/home/guillaume/bench/smtlib/ABVFP/20190429-UltimateAutomizerSvcomp2019/float_req_bl_0620b_true-unreach-call.c_6.smt2(content)okok0.081s
dolmen/home/guillaume/bench/smtlib/ABVFP/20190429-UltimateAutomizerSvcomp2019/float_req_bl_0530b_true-unreach-call.c_8.smt2(content)okok0.086s
dolmen/home/guillaume/bench/smtlib/ABVFP/20190429-UltimateAutomizerSvcomp2019/float_req_bl_0530b_true-unreach-call.c_7.smt2(content)okok0.079s
dolmen/home/guillaume/bench/smtlib/ABVFP/20190429-UltimateAutomizerSvcomp2019/float_req_bl_0530b_true-unreach-call.c_5.smt2(content)okok0.060s
dolmen/home/guillaume/bench/smtlib/ABVFP/20190429-UltimateAutomizerSvcomp2019/float_req_bl_0530b_true-unreach-call.c_2.smt2(content)okok0.080s
dolmen/home/guillaume/bench/smtlib/ABVFP/20190429-UltimateAutomizerSvcomp2019/float22_true-unreach-call_true-termination.i_9.smt2(content)okok0.057s
dolmen/home/guillaume/bench/smtlib/ABVFP/20190429-UltimateAutomizerSvcomp2019/float22_true-unreach-call_true-termination.i_8.smt2(content)okok0.057s
dolmen/home/guillaume/bench/smtlib/ABVFP/20190429-UltimateAutomizerSvcomp2019/float22_true-unreach-call_true-termination.i_7.smt2(content)okok0.087s
dolmen/home/guillaume/bench/smtlib/ABVFP/20190429-UltimateAutomizerSvcomp2019/float22_true-unreach-call_true-termination.i_6.smt2(content)okok0.076s
dolmen/home/guillaume/bench/smtlib/ABVFP/20190429-UltimateAutomizerSvcomp2019/float22_true-unreach-call_true-termination.i_5.smt2(content)okok0.063s
dolmen/home/guillaume/bench/smtlib/ABVFP/20190429-UltimateAutomizerSvcomp2019/float22_true-unreach-call_true-termination.i_4.smt2(content)okok0.083s
dolmen/home/guillaume/bench/smtlib/ABVFP/20190429-UltimateAutomizerSvcomp2019/float22_true-unreach-call_true-termination.i_3.smt2(content)okok0.070s
dolmen/home/guillaume/bench/smtlib/ABVFP/20190429-UltimateAutomizerSvcomp2019/float22_true-unreach-call_true-termination.i_2.smt2(content)okok0.059s
dolmen/home/guillaume/bench/smtlib/ABVFP/20190429-UltimateAutomizerSvcomp2019/float22_true-unreach-call_true-termination.i_13.smt2(content)okok0.060s
dolmen/home/guillaume/bench/smtlib/ABVFP/20190429-UltimateAutomizerSvcomp2019/float22_true-unreach-call_true-termination.i_12.smt2(content)okok0.087s
dolmen/home/guillaume/bench/smtlib/ABVFP/20190429-UltimateAutomizerSvcomp2019/float22_true-unreach-call_true-termination.i_11.smt2(content)okok0.061s
dolmen/home/guillaume/bench/smtlib/ABVFP/20190429-UltimateAutomizerSvcomp2019/float22_true-unreach-call_true-termination.i_10.smt2(content)okok0.088s
dolmen/home/guillaume/bench/smtlib/ABVFP/20190429-UltimateAutomizerSvcomp2019/float22_true-unreach-call_true-termination.i_1.smt2(content)okok0.062s
dolmen/home/guillaume/bench/smtlib/ABVFP/20190429-UltimateAutomizerSvcomp2019/float22_true-unreach-call_true-termination.i_0.smt2(content)okok0.061s
dolmen/home/guillaume/bench/smtlib/ABVFP/20190429-UltimateAutomizerSvcomp2019/double_req_bl_0670_true-unreach-call.c_8.smt2(content)okok0.089s
dolmen/home/guillaume/bench/smtlib/ABVFP/20190429-UltimateAutomizerSvcomp2019/double_req_bl_0670_true-unreach-call.c_5.smt2(content)okok0.079s
dolmen/home/guillaume/bench/smtlib/ABVFP/20190429-UltimateAutomizerSvcomp2019/double_req_bl_0620a_true-unreach-call.c_3.smt2(content)okok0.081s
dolmen/home/guillaume/bench/smtlib/ABVFP/20190429-UltimateAutomizerSvcomp2019/double_req_bl_0620a_true-unreach-call.c_1.smt2(content)okok0.059s
dolmen/home/guillaume/bench/smtlib/ABVFP/20190429-UltimateAutomizerSvcomp2019/double_req_bl_0530a_true-unreach-call.c_4.smt2(content)okok0.067s
dolmen/home/guillaume/bench/smtlib/ABVFP/20190429-UltimateAutomizerSvcomp2019/double_req_bl_0320_true-unreach-call.c_4.smt2(content)okok0.061s