sidekick-dev
|
/home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn507.smt2
(content)
|
sat
|
sat
|
0.800s
|
sidekick-dev
|
/home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn506.smt2
(content)
|
unknown
|
unsat
|
11.5s
|
sidekick-dev
|
/home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn505.smt2
(content)
|
sat
|
sat
|
0.137s
|
sidekick-dev
|
/home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn504.smt2
(content)
|
sat
|
sat
|
0.307s
|
sidekick-dev
|
/home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn503.smt2
(content)
|
timeout
|
unsat
|
12s
|
sidekick-dev
|
/home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn502.smt2
(content)
|
sat
|
sat
|
0.248s
|
sidekick-dev
|
/home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn501.smt2
(content)
|
sat
|
sat
|
0.203s
|
sidekick-dev
|
/home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn500.smt2
(content)
|
sat
|
sat
|
0.551s
|
sidekick-dev
|
/home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn499.smt2
(content)
|
sat
|
sat
|
0.213s
|
sidekick-dev
|
/home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn498.smt2
(content)
|
sat
|
sat
|
0.116s
|
sidekick-dev
|
/home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn497.smt2
(content)
|
sat
|
sat
|
0.081s
|
sidekick-dev
|
/home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn496.smt2
(content)
|
sat
|
sat
|
0.089s
|
sidekick-dev
|
/home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn495.smt2
(content)
|
sat
|
sat
|
0.107s
|
sidekick-dev
|
/home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn494.smt2
(content)
|
unknown
|
unsat
|
10.6s
|
sidekick-dev
|
/home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn493.smt2
(content)
|
sat
|
sat
|
0.444s
|
sidekick-dev
|
/home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn492.smt2
(content)
|
sat
|
sat
|
0.490s
|
sidekick-dev
|
/home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn491.smt2
(content)
|
sat
|
sat
|
0.122s
|
sidekick-dev
|
/home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn490.smt2
(content)
|
sat
|
sat
|
0.109s
|
sidekick-dev
|
/home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn489.smt2
(content)
|
sat
|
sat
|
0.068s
|
sidekick-dev
|
/home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn488.smt2
(content)
|
unsat
|
unsat
|
2.2s
|
sidekick-dev
|
/home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn487.smt2
(content)
|
unsat
|
unsat
|
0.967s
|
sidekick-dev
|
/home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn486.smt2
(content)
|
sat
|
sat
|
0.143s
|
sidekick-dev
|
/home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn485.smt2
(content)
|
sat
|
sat
|
0.943s
|
sidekick-dev
|
/home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn484.smt2
(content)
|
sat
|
sat
|
0.259s
|
sidekick-dev
|
/home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn483.smt2
(content)
|
sat
|
sat
|
0.354s
|