root
file
detailed [650..674]
prev
next
detailed results (4327 total)
filter
improved
ok
disappoint
bad
error
prover
file
res
expected
time
z3
/home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/dead_dnd062.smt2
(content)
unsat
unsat
0.045s
z3
/home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/dead_dnd061.smt2
(content)
unsat
unsat
0.133s
z3
/home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/dead_dnd060.smt2
(content)
unsat
unsat
0.113s
z3
/home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/dead_dnd059.smt2
(content)
unsat
unsat
0.165s
z3
/home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/dead_dnd058.smt2
(content)
unsat
unsat
0.147s
z3
/home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/dead_dnd057.smt2
(content)
unsat
unsat
0.502s
z3
/home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/dead_dnd056.smt2
(content)
unsat
unsat
0.585s
z3
/home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/dead_dnd055.smt2
(content)
unsat
unsat
0.096s
z3
/home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/dead_dnd054.smt2
(content)
unsat
unsat
0.132s
z3
/home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/dead_dnd053.smt2
(content)
unsat
unsat
0.092s
z3
/home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/dead_dnd052.smt2
(content)
unsat
unsat
0.070s
z3
/home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/dead_dnd051.smt2
(content)
unsat
unsat
0.055s
z3
/home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/dead_dnd050.smt2
(content)
unsat
unsat
0.091s
z3
/home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/dead_dnd049.smt2
(content)
unsat
unsat
0.350s
z3
/home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/dead_dnd048.smt2
(content)
unsat
unsat
0.703s
z3
/home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/dead_dnd047.smt2
(content)
unsat
unsat
0.113s
z3
/home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/dead_dnd046.smt2
(content)
unsat
unsat
0.590s
z3
/home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/dead_dnd045.smt2
(content)
unsat
unsat
0.132s
z3
/home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/dead_dnd044.smt2
(content)
unsat
unsat
0.202s
z3
/home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/dead_dnd043.smt2
(content)
unsat
unsat
0.552s
z3
/home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/dead_dnd042.smt2
(content)
unsat
unsat
0.185s
z3
/home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/dead_dnd041.smt2
(content)
unsat
unsat
0.178s
z3
/home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/dead_dnd040.smt2
(content)
unsat
unsat
0.292s
z3
/home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/dead_dnd039.smt2
(content)
unsat
unsat
0.149s
z3
/home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/dead_dnd038.smt2
(content)
unsat
unsat
0.250s