root
file
detailed [25..49]
prev
next
detailed results (63 total)
filter
improved
ok
disappoint
bad
error
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