root
file
detailed [1875..1899]
prev
next
detailed results (92284 total)
filter
improved
ok
disappoint
bad
error
prover
file
res
expected
time
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/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
dolmen
/home/guigui/build/benchs/smtlib/QF_ALIA/UltimateAutomizer/dll_of_dll_true-unreach-call.i.smt2
(content)
ok
ok
0.414s
dolmen
/home/guigui/build/benchs/smtlib/QF_ALIA/UltimateAutomizer/dll_of_dll_false-unreach-call.i.smt2
(content)
ok
ok
0.410s
dolmen
/home/guigui/build/benchs/smtlib/QF_ALIA/UltimateAutomizer/alternating_list_true-unreach-call.i.smt2
(content)
ok
ok
0.110s
dolmen
/home/guigui/build/benchs/smtlib/FP/2019-Preiner/8_24_RTZ_fp.sqrt_fp.isZero.smt2
(content)
ok
ok
0.047s
dolmen
/home/guigui/build/benchs/smtlib/FP/2019-Preiner/8_24_RTZ_fp.sqrt_fp.isSubnormal.smt2
(content)
ok
ok
0.040s
dolmen
/home/guigui/build/benchs/smtlib/FP/2019-Preiner/8_24_RTZ_fp.sqrt_fp.isPositive.smt2
(content)
ok
ok
0.040s