root
file
detailed [2125..2149]
prev
next
detailed results (3730 total)
filter
improved
ok
disappoint
bad
error
prover
file
res
expected
time
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_brn635.smt2
(content)
unsat
unsat
0.299s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_brn630.smt2
(content)
unsat
unsat
0.183s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_brn629.smt2
(content)
unsat
unsat
0.261s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_brn627.smt2
(content)
unsat
unsat
0.134s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_brn623.smt2
(content)
unsat
unsat
0.159s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_brn616.smt2
(content)
unsat
unsat
0.110s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_brn615.smt2
(content)
unsat
unsat
0.282s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_brn613.smt2
(content)
unsat
unsat
0.237s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_brn610.smt2
(content)
unsat
unsat
0.408s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_brn608.smt2
(content)
unsat
unsat
0.289s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_brn606.smt2
(content)
unsat
unsat
0.339s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_brn605.smt2
(content)
unsat
unsat
0.219s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_brn596.smt2
(content)
unsat
unsat
0.243s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_brn595.smt2
(content)
unsat
unsat
0.350s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_brn594.smt2
(content)
unsat
unsat
0.176s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_brn590.smt2
(content)
unsat
unsat
0.562s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_brn588.smt2
(content)
unsat
unsat
0.213s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_brn586.smt2
(content)
unsat
unsat
0.246s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_brn579.smt2
(content)
unsat
unsat
0.280s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_brn578.smt2
(content)
unsat
unsat
0.244s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_brn577.smt2
(content)
unsat
unsat
0.236s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_brn572.smt2
(content)
unsat
unsat
0.252s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_brn571.smt2
(content)
unsat
unsat
0.354s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_brn569.smt2
(content)
unsat
unsat
0.421s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_brn568.smt2
(content)
unsat
unsat
0.404s