detailed results (63 total)

prover file res expected time
dolmen /home/guillaume/bench/smtlib/QF_NIA/UltimateLassoRanker/b.17-alloca_true-termination.c.i_Iteration2_Lasso+nonterminationTemplate.smt2 (content) memout ok 24.1s
dolmen /home/guillaume/bench/smtlib/QF_NIA/UltimateLassoRanker/b.15-alloca_true-termination.c.i_Iteration4_Lasso+nonterminationTemplate.smt2 (content) memout ok 18.7s
dolmen /home/guillaume/bench/smtlib/QF_NIA/UltimateLassoRanker/b.13-alloca_true-termination.c.i_Iteration1_Lasso+nonterminationTemplate.smt2 (content) memout ok 25.7s
dolmen /home/guillaume/bench/smtlib/QF_NIA/UltimateLassoRanker/b.07-alloca_true-termination.c.i_Iteration2_Lasso+nonterminationTemplate.smt2 (content) memout ok 19.9s
dolmen /home/guillaume/bench/smtlib/QF_NIA/UltimateLassoRanker/a.07-alloca_true-termination.c.i_Iteration2_Lasso+nonterminationTemplate.smt2 (content) memout ok 18.6s
dolmen /home/guillaume/bench/smtlib/QF_NIA/UltimateLassoRanker/a.06-alloca_true-termination.c.i_Iteration1_Lasso+nonterminationTemplate.smt2 (content) memout ok 25.2s
dolmen /home/guillaume/bench/smtlib/QF_NIA/UltimateLassoRanker/Avery-2006FLOPS-Tabel1_true-alloca_true-termination.c.i_Iteration2_Lasso+nonterminationTemplate.smt2 (content) memout ok 21.2s
dolmen /home/guillaume/bench/smtlib/QF_IDL/asp/Labyrinth/laby_21_21_12.lp.smt2 (content) memout ok 50.0s
dolmen /home/guillaume/bench/smtlib/QF_IDL/asp/Labyrinth/laby_20_20_04.lp.smt2 (content) memout ok 56.6s
dolmen /home/guillaume/bench/smtlib/QF_IDL/asp/Labyrinth/laby_19_19_19.lp.smt2 (content) memout ok 57.1s
dolmen /home/guillaume/bench/smtlib/QF_IDL/asp/Labyrinth/laby_19_19_17.lp.smt2 (content) memout ok 59s
dolmen /home/guillaume/bench/smtlib/QF_IDL/asp/Labyrinth/laby_19_19_16.lp.smt2 (content) memout ok 58.4s
dolmen /home/guillaume/bench/smtlib/QF_IDL/asp/Labyrinth/laby_18_18_14.lp.smt2 (content) memout ok 51.6s
dolmen /home/guillaume/bench/smtlib/QF_IDL/asp/Labyrinth/laby_18_18_11.lp.smt2 (content) memout ok 45.7s
dolmen /home/guillaume/bench/smtlib/QF_IDL/asp/Labyrinth/laby_18_18_04.lp.smt2 (content) memout ok 42.2s
dolmen /home/guillaume/bench/smtlib/QF_IDL/asp/Labyrinth/laby_17_17_09.lp.smt2 (content) memout ok 32.6s
dolmen /home/guillaume/bench/smtlib/QF_IDL/asp/Labyrinth/laby_17_17_07.lp.smt2 (content) memout ok 48.5s
dolmen /home/guillaume/bench/smtlib/QF_IDL/asp/Labyrinth/laby_17_17_02.lp.smt2 (content) memout ok 49.7s
dolmen /home/guillaume/bench/smtlib/QF_IDL/asp/KnightTour/knightTour.in10.smt2 (content) memout ok 33.6s
dolmen /home/guillaume/bench/smtlib/QF_IDL/asp/EdgeMatching/edge-matching-width=10-height=10-colours=15.smt2 (content) memout ok 41.9s
dolmen /home/guillaume/bench/smtlib/QF_IDL/asp/EdgeMatching/edge-matching-width=10-height=10-colours=10.smt2 (content) memout ok 57.2s
dolmen /home/guillaume/bench/smtlib/QF_IDL/asp/DisjunctiveScheduling/disjunctiveScheduling.in9.smt2 (content) memout ok 55.6s
dolmen /home/guillaume/bench/smtlib/QF_IDL/asp/DisjunctiveScheduling/disjunctiveScheduling.in1.smt2 (content) memout ok 50.9s
dolmen /home/guillaume/bench/smtlib/QF_DT/20172804-Barrett/barrett-jsat/typed/v1/typed_v1l50016.cvc.smt2 (content) memout ok 2.8s
dolmen /home/guillaume/bench/smtlib/QF_BV/asp/Labyrinth/laby_20_20_16.lp.smt2 (content) memout ok 1m0.1s