show full table

problem	dolmen	dolmen.time
/home/guillaume/bench/smtlib-incremental/ALIA/UltimateBuchiAutomizer/java_AG313-alloca_true-termination.c.i.smt2	ok	2.40
/home/guillaume/bench/smtlib-incremental/ALIA/UltimateBuchiAutomizer/lis-alloca_true-termination.c.i.smt2	ok	0.78
/home/guillaume/bench/smtlib-incremental/ALIA/UltimateBuchiAutomizer/min_rf-alloca_true-termination.c.i.smt2	warn	0.88
/home/guillaume/bench/smtlib-incremental/ANIA/UltimateBuchiAutomizer/aviad_true-alloca_true-termination.c.i.smt2	ok	0.94
/home/guillaume/bench/smtlib-incremental/ANIA/UltimateBuchiAutomizer/openbsd_cstpncpy-alloca_true-termination.c.i.smt2	warn	1.51
/home/guillaume/bench/smtlib-incremental/ANIA/UltimateBuchiAutomizer/openbsd_cstrlcpy-alloca_true-termination.c.i.smt2	warn	0.57
/home/guillaume/bench/smtlib-incremental/AUFNIRA/aviation/StrCpy_why.smt2	warn	0.13
/home/guillaume/bench/smtlib-incremental/AUFNIRA/aviation/address_why.smt2	warn	0.13
/home/guillaume/bench/smtlib-incremental/AUFNIRA/aviation/addrof_field_why.smt2	warn	0.14
/home/guillaume/bench/smtlib-incremental/AUFNIRA/aviation/addrof_global_why.smt2	warn	0.19
/home/guillaume/bench/smtlib-incremental/AUFNIRA/aviation/addrof_local_why.smt2	warn	0.18
/home/guillaume/bench/smtlib-incremental/AUFNIRA/aviation/addrof_param_why.smt2	warn	0.14
/home/guillaume/bench/smtlib-incremental/AUFNIRA/aviation/all_zeros_why.smt2	warn	0.14
/home/guillaume/bench/smtlib-incremental/AUFNIRA/aviation/alloca_why.smt2	warn	0.13
/home/guillaume/bench/smtlib-incremental/AUFNIRA/aviation/allocation_why.smt2	warn	0.19
/home/guillaume/bench/smtlib-incremental/AUFNIRA/aviation/annot_assert_why.smt2	warn	0.10
/home/guillaume/bench/smtlib-incremental/AUFNIRA/aviation/arith_why.smt2	warn	0.13
/home/guillaume/bench/smtlib-incremental/AUFNIRA/aviation/array_addr_why.smt2	warn	0.13
/home/guillaume/bench/smtlib-incremental/AUFNIRA/aviation/array_and_field_why.smt2	warn	0.13
/home/guillaume/bench/smtlib-incremental/AUFNIRA/aviation/array_basic_why.smt2	warn	0.19
/home/guillaume/bench/smtlib-incremental/AUFNIRA/aviation/array_field_addr_why.smt2	warn	0.13
/home/guillaume/bench/smtlib-incremental/AUFNIRA/aviation/array_field_why.smt2	warn	0.14
/home/guillaume/bench/smtlib-incremental/AUFNIRA/aviation/array_multi_why.smt2	warn	0.18
/home/guillaume/bench/smtlib-incremental/AUFNIRA/aviation/array_ptr_why.smt2	warn	0.18
/home/guillaume/bench/smtlib-incremental/AUFNIRA/aviation/array_struct_why.smt2	warn	0.13

full results