root
file
detailed [5225..5249]
prev
next
detailed results (95063 total)
filter
improved
ok
disappoint
bad
error
prover
file
res
expected
time
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/asp/WeightBoundedDominatingSet/rand_200_800_1159728969_10.lp.smt2
(content)
ok
ok
1.2s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/asp/WeightBoundedDominatingSet/rand_150_600_1159731678_8.lp.smt2
(content)
ok
ok
1.5s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/asp/WeightBoundedDominatingSet/rand_150_600_1159731678_7.lp.smt2
(content)
ok
ok
1.5s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/asp/WeightBoundedDominatingSet/rand_150_600_1159731678_6.lp.smt2
(content)
ok
ok
1.4s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/asp/WeightBoundedDominatingSet/rand_150_600_1159731678_5.lp.smt2
(content)
ok
ok
1s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/asp/WeightBoundedDominatingSet/rand_150_600_1159731678_3.lp.smt2
(content)
ok
ok
0.906s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/asp/WeightBoundedDominatingSet/rand_150_600_1159731678_17.lp.smt2
(content)
ok
ok
1.4s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/asp/WeightBoundedDominatingSet/rand_150_600_1159731678_15.lp.smt2
(content)
ok
ok
0.899s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/asp/WeightBoundedDominatingSet/rand_150_600_1159731678_14.lp.smt2
(content)
ok
ok
0.972s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/asp/WeightBoundedDominatingSet/rand_150_600_1159731678_12.lp.smt2
(content)
ok
ok
1.4s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/asp/WeightBoundedDominatingSet/rand_150_600_1159731678_11.lp.smt2
(content)
ok
ok
1.4s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/asp/WeightBoundedDominatingSet/rand_100_400_1159666138_9.lp.smt2
(content)
ok
ok
0.938s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/asp/WeightBoundedDominatingSet/rand_100_400_1159666138_8.lp.smt2
(content)
ok
ok
0.962s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/asp/WeightBoundedDominatingSet/rand_100_400_1159666138_7.lp.smt2
(content)
ok
ok
0.968s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/asp/WeightBoundedDominatingSet/rand_100_400_1159666138_6.lp.smt2
(content)
ok
ok
0.947s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/asp/WeightBoundedDominatingSet/rand_100_400_1159666138_5.lp.smt2
(content)
ok
ok
0.922s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/asp/WeightBoundedDominatingSet/rand_100_400_1159666138_3.lp.smt2
(content)
ok
ok
0.959s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/asp/WeightBoundedDominatingSet/rand_100_400_1159666138_2.lp.smt2
(content)
ok
ok
0.804s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/asp/WeightBoundedDominatingSet/rand_100_400_1159666138_19.lp.smt2
(content)
ok
ok
0.816s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/asp/WeightBoundedDominatingSet/rand_100_400_1159666138_13.lp.smt2
(content)
ok
ok
0.581s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/asp/WeightBoundedDominatingSet/rand_100_400_1159666138_1.lp.smt2
(content)
ok
ok
0.960s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/asp/TravellingSalesperson/tsp_rand_70_300_1155482584_9.lp.smt2
(content)
ok
ok
2.8s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/asp/TravellingSalesperson/tsp_rand_70_300_1155482584_8.lp.smt2
(content)
ok
ok
3.0s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/asp/TravellingSalesperson/tsp_rand_70_300_1155482584_7.lp.smt2
(content)
ok
ok
2.8s
dolmen
/home/guigui/build/benchs/smtlib/QF_BV/asp/TravellingSalesperson/tsp_rand_70_300_1155482584_5.lp.smt2
(content)
ok
ok
2.8s