root
file
detailed [1750..1774]
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/gensys_brn1236.smt2
(content)
sat
sat
0.201s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn1235.smt2
(content)
sat
sat
0.115s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn1234.smt2
(content)
sat
sat
0.078s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn1233.smt2
(content)
unsat
unsat
2.9s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn1232.smt2
(content)
sat
sat
0.110s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn1231.smt2
(content)
unsat
unsat
6s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn1230.smt2
(content)
unsat
unsat
4.0s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn123.smt2
(content)
unsat
unsat
3.8s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn1229.smt2
(content)
sat
sat
0.137s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn1228.smt2
(content)
sat
sat
0.213s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn1227.smt2
(content)
sat
sat
0.155s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn1226.smt2
(content)
unsat
unsat
0.800s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn1225.smt2
(content)
sat
sat
0.134s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn1224.smt2
(content)
sat
sat
0.163s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn1223.smt2
(content)
unsat
unsat
1.6s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn1222.smt2
(content)
sat
sat
0.135s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn1221.smt2
(content)
sat
sat
0.314s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn1220.smt2
(content)
sat
sat
0.214s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn122.smt2
(content)
unsat
unsat
1.8s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn1219.smt2
(content)
sat
sat
0.309s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn1218.smt2
(content)
sat
sat
0.164s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn1217.smt2
(content)
sat
sat
0.095s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn1216.smt2
(content)
sat
sat
0.179s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn1215.smt2
(content)
sat
sat
0.153s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn1214.smt2
(content)
unsat
unsat
9s