root
file
detailed [1925..1949]
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_brn207.smt2
(content)
sat
sat
0.080s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn206.smt2
(content)
unsat
unsat
5.8s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn205.smt2
(content)
sat
sat
0.460s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn204.smt2
(content)
sat
sat
0.233s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn203.smt2
(content)
sat
sat
0.486s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn202.smt2
(content)
sat
sat
0.635s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn201.smt2
(content)
sat
sat
0.395s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn200.smt2
(content)
unsat
unsat
6.2s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn199.smt2
(content)
sat
sat
0.414s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn198.smt2
(content)
sat
sat
0.189s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn197.smt2
(content)
sat
sat
0.172s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn196.smt2
(content)
sat
sat
0.112s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn195.smt2
(content)
sat
sat
0.127s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn194.smt2
(content)
sat
sat
0.121s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn193.smt2
(content)
sat
sat
0.254s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn192.smt2
(content)
sat
sat
0.074s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn191.smt2
(content)
sat
sat
0.342s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn190.smt2
(content)
sat
sat
0.201s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn189.smt2
(content)
sat
sat
0.197s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn188.smt2
(content)
sat
sat
0.413s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn187.smt2
(content)
sat
sat
0.298s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn186.smt2
(content)
sat
sat
0.432s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn185.smt2
(content)
sat
sat
0.592s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn184.smt2
(content)
sat
sat
0.282s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn183.smt2
(content)
sat
sat
0.266s