root
file
detailed [1375..1399]
prev
next
detailed results (7457 total)
filter
improved
ok
disappoint
bad
error
prover
file
res
expected
time
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/dead_dnd051.smt2
(content)
unsat
unsat
0.942s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/dead_dnd050.smt2
(content)
unsat
unsat
0.590s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/dead_dnd049.smt2
(content)
timeout
unsat
12.2s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/dead_dnd048.smt2
(content)
timeout
unsat
14.4s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/dead_dnd047.smt2
(content)
unsat
unsat
5.7s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/dead_dnd046.smt2
(content)
unsat
unsat
3.4s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/dead_dnd045.smt2
(content)
unsat
unsat
2.6s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/dead_dnd044.smt2
(content)
unsat
unsat
1.6s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/dead_dnd043.smt2
(content)
unsat
unsat
7.5s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/dead_dnd042.smt2
(content)
unsat
unsat
3.4s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/dead_dnd041.smt2
(content)
unsat
unsat
2.7s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/dead_dnd040.smt2
(content)
unsat
unsat
2.7s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/dead_dnd039.smt2
(content)
unsat
unsat
2.4s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/dead_dnd038.smt2
(content)
unsat
unsat
4.4s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/dead_dnd037.smt2
(content)
timeout
unsat
12.2s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/dead_dnd036.smt2
(content)
unknown
unsat
10.0s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/dead_dnd035.smt2
(content)
unknown
unsat
10.4s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/dead_dnd034.smt2
(content)
unsat
unsat
6.5s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/dead_dnd033.smt2
(content)
timeout
unsat
13.4s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/dead_dnd032.smt2
(content)
timeout
unsat
12.9s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/dead_dnd031.smt2
(content)
timeout
unsat
12.2s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/dead_dnd030.smt2
(content)
unsat
unsat
1.9s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/dead_dnd029.smt2
(content)
unsat
unsat
3.1s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/dead_dnd028.smt2
(content)
unsat
unsat
7.9s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/dead_dnd027.smt2
(content)
unsat
unsat
5.1s