detailed results (95063 total)

prover file res expected time
dolmen /home/guigui/build/benchs/smtlib/QF_ALIA/array_benchmarks/qlock/qlock-bug-15.smt2 (content) ok ok 0.091s
dolmen /home/guigui/build/benchs/smtlib/QF_ALIA/array_benchmarks/qlock/qlock-bug-10.smt2 (content) ok ok 0.071s
dolmen /home/guigui/build/benchs/smtlib/QF_ALIA/array_benchmarks/pointer/pointer-safe-5.smt2 (content) ok ok 0.066s
dolmen /home/guigui/build/benchs/smtlib/QF_ALIA/array_benchmarks/pointer/pointer-safe-20.smt2 (content) ok ok 0.055s
dolmen /home/guigui/build/benchs/smtlib/QF_ALIA/array_benchmarks/pointer/pointer-safe-15.smt2 (content) ok ok 0.093s
dolmen /home/guigui/build/benchs/smtlib/QF_ALIA/array_benchmarks/pointer/pointer-safe-10.smt2 (content) ok ok 0.040s
dolmen /home/guigui/build/benchs/smtlib/QF_ALIA/array_benchmarks/pointer/pointer-invalid-5.smt2 (content) ok ok 0.071s
dolmen /home/guigui/build/benchs/smtlib/QF_ALIA/array_benchmarks/pointer/pointer-invalid-20.smt2 (content) ok ok 0.051s
dolmen /home/guigui/build/benchs/smtlib/QF_ALIA/array_benchmarks/pointer/pointer-invalid-15.smt2 (content) ok ok 0.059s
dolmen /home/guigui/build/benchs/smtlib/QF_ALIA/array_benchmarks/pointer/pointer-invalid-10.smt2 (content) ok ok 0.084s
dolmen /home/guigui/build/benchs/smtlib/QF_ALIA/array_benchmarks/misc/stack-th2-6.smt2 (content) ok ok 0.021s
dolmen /home/guigui/build/benchs/smtlib/QF_ALIA/array_benchmarks/misc/stack-th1-6.smt2 (content) ok ok 0.064s
dolmen /home/guigui/build/benchs/smtlib/QF_ALIA/array_benchmarks/misc/stack-invalid-6.smt2 (content) ok ok 0.062s
dolmen /home/guigui/build/benchs/smtlib/QF_ALIA/array_benchmarks/misc/queue-th2-6.smt2 (content) ok ok 0.067s
dolmen /home/guigui/build/benchs/smtlib/QF_ALIA/array_benchmarks/misc/queue-th1-6.smt2 (content) ok ok 0.064s
dolmen /home/guigui/build/benchs/smtlib/QF_ALIA/UltimateAutomizer2/m0_false-unreach-call_drivers-staging-comedi-drivers-ni_pcidio-ko--107_1a--adbbc36-1.c_TraceCheck_Iteration1_0.smt2 (content) ok ok 0.702s
dolmen /home/guigui/build/benchs/smtlib/QF_ALIA/UltimateAutomizer2/m0_false-unreach-call_drivers-staging-comedi-drivers-ni_670x-ko--107_1a--adbbc36-1.c_TraceCheck_Iteration1_0.smt2 (content) ok ok 0.302s
dolmen /home/guigui/build/benchs/smtlib/QF_ALIA/UltimateAutomizer2/m0_false-unreach-call_drivers-staging-comedi-drivers-ni_660x-ko--107_1a--adbbc36-1.c_TraceCheck_Iteration1_0.smt2 (content) ok ok 0.563s
dolmen /home/guigui/build/benchs/smtlib/QF_ALIA/UltimateAutomizer2/m0_false-unreach-call_drivers-staging-comedi-drivers-ni_65xx-ko--107_1a--adbbc36-1.c_TraceCheck_Iteration1_0.smt2 (content) ok ok 1.2s
dolmen /home/guigui/build/benchs/smtlib/QF_ALIA/UltimateAutomizer2/m0_false-unreach-call_drivers-staging-comedi-drivers-ni_6527-ko--107_1a--adbbc36-1.c_TraceCheck_Iteration1_0.smt2 (content) ok ok 0.323s
dolmen /home/guigui/build/benchs/smtlib/QF_ALIA/UltimateAutomizer/test-0134_true-valid-memsafety.i.smt2 (content) fatal ok 0.101s
dolmen /home/guigui/build/benchs/smtlib/QF_ALIA/UltimateAutomizer/splice_true-unreach-call.i.smt2 (content) ok ok 0.205s
dolmen /home/guigui/build/benchs/smtlib/QF_ALIA/UltimateAutomizer/simple_built_from_end_true-unreach-call.i.smt2 (content) ok ok 0.139s
dolmen /home/guigui/build/benchs/smtlib/QF_ALIA/UltimateAutomizer/merge_sort_true-unreach-call.i.smt2 (content) ok ok 0.150s
dolmen /home/guigui/build/benchs/smtlib/QF_ALIA/UltimateAutomizer/list_search_true-unreach-call.i.smt2 (content) ok ok 0.285s