root
file
detailed [2725..2749]
prev
next
detailed results (22371 total)
filter
improved
ok
disappoint
bad
error
prover
file
res
expected
time
mc2
/home/simon/w/smtlib/QF_UF/QG-classification/loops6/dead_dnd015.smt2
(content)
unsat
unknown
4.5s
sidekick
/home/simon/w/smtlib/QF_UF/QG-classification/loops6/dead_dnd015.smt2
(content)
unsat
unknown
2s
z3
/home/simon/w/smtlib/QF_UF/QG-classification/loops6/dead_dnd015.smt2
(content)
unsat
unknown
0.132s
mc2
/home/simon/w/smtlib/QF_UF/QG-classification/loops6/dead_dnd014.smt2
(content)
unsat
unknown
3s
sidekick
/home/simon/w/smtlib/QF_UF/QG-classification/loops6/dead_dnd014.smt2
(content)
unsat
unknown
2.2s
z3
/home/simon/w/smtlib/QF_UF/QG-classification/loops6/dead_dnd014.smt2
(content)
unsat
unknown
0.224s
mc2
/home/simon/w/smtlib/QF_UF/QG-classification/loops6/dead_dnd013.smt2
(content)
unsat
unknown
1.3s
sidekick
/home/simon/w/smtlib/QF_UF/QG-classification/loops6/dead_dnd013.smt2
(content)
unsat
unknown
0.901s
z3
/home/simon/w/smtlib/QF_UF/QG-classification/loops6/dead_dnd013.smt2
(content)
unsat
unknown
0.136s
mc2
/home/simon/w/smtlib/QF_UF/QG-classification/loops6/dead_dnd012.smt2
(content)
unsat
unknown
2.4s
sidekick
/home/simon/w/smtlib/QF_UF/QG-classification/loops6/dead_dnd012.smt2
(content)
unsat
unknown
1.9s
z3
/home/simon/w/smtlib/QF_UF/QG-classification/loops6/dead_dnd012.smt2
(content)
unsat
unknown
0.223s
mc2
/home/simon/w/smtlib/QF_UF/QG-classification/loops6/dead_dnd011.smt2
(content)
unsat
unknown
0.840s
sidekick
/home/simon/w/smtlib/QF_UF/QG-classification/loops6/dead_dnd011.smt2
(content)
unsat
unknown
0.317s
z3
/home/simon/w/smtlib/QF_UF/QG-classification/loops6/dead_dnd011.smt2
(content)
unsat
unknown
0.066s
mc2
/home/simon/w/smtlib/QF_UF/QG-classification/loops6/dead_dnd010.smt2
(content)
unsat
unknown
2s
sidekick
/home/simon/w/smtlib/QF_UF/QG-classification/loops6/dead_dnd010.smt2
(content)
unsat
unknown
0.860s
z3
/home/simon/w/smtlib/QF_UF/QG-classification/loops6/dead_dnd010.smt2
(content)
unsat
unknown
0.135s
mc2
/home/simon/w/smtlib/QF_UF/QG-classification/loops6/dead_dnd009.smt2
(content)
unsat
unknown
0.294s
sidekick
/home/simon/w/smtlib/QF_UF/QG-classification/loops6/dead_dnd009.smt2
(content)
unsat
unknown
0.156s
z3
/home/simon/w/smtlib/QF_UF/QG-classification/loops6/dead_dnd009.smt2
(content)
unsat
unknown
0.027s
mc2
/home/simon/w/smtlib/QF_UF/QG-classification/loops6/dead_dnd008.smt2
(content)
unsat
unknown
0.201s
sidekick
/home/simon/w/smtlib/QF_UF/QG-classification/loops6/dead_dnd008.smt2
(content)
unsat
unknown
0.028s
z3
/home/simon/w/smtlib/QF_UF/QG-classification/loops6/dead_dnd008.smt2
(content)
unsat
unknown
0.021s
mc2
/home/simon/w/smtlib/QF_UF/QG-classification/loops6/dead_dnd007.smt2
(content)
unsat
unknown
0.266s