root
file
detailed [1600..1624]
prev
next
detailed results (7457 total)
filter
improved
ok
disappoint
bad
error
prover
file
res
expected
time
mc2
/home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn110.smt2
(content)
sat
unknown
0.377s
mc2
/home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn1099.smt2
(content)
sat
unknown
0.079s
mc2
/home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn1098.smt2
(content)
unsat
unknown
10s
mc2
/home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn1097.smt2
(content)
sat
unknown
0.178s
mc2
/home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn1096.smt2
(content)
sat
unknown
0.073s
mc2
/home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn1095.smt2
(content)
sat
unknown
0.071s
mc2
/home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn1094.smt2
(content)
sat
unknown
0.155s
mc2
/home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn1093.smt2
(content)
sat
unknown
0.140s
mc2
/home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn1092.smt2
(content)
sat
unknown
0.076s
mc2
/home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn1091.smt2
(content)
sat
unknown
0.036s
mc2
/home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn1090.smt2
(content)
sat
unknown
0.035s
mc2
/home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn109.smt2
(content)
sat
unknown
0.628s
mc2
/home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn1089.smt2
(content)
sat
unknown
0.026s
mc2
/home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn1088.smt2
(content)
sat
unknown
0.031s
mc2
/home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn1087.smt2
(content)
unsat
unknown
1.2s
mc2
/home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn1086.smt2
(content)
sat
unknown
0.087s
mc2
/home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn1085.smt2
(content)
unsat
unknown
1.4s
mc2
/home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn1084.smt2
(content)
sat
unknown
0.099s
mc2
/home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn1083.smt2
(content)
unsat
unknown
0.292s
mc2
/home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn1082.smt2
(content)
sat
unknown
0.104s
mc2
/home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn1081.smt2
(content)
sat
unknown
0.122s
mc2
/home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn1080.smt2
(content)
sat
unknown
0.273s
mc2
/home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn108.smt2
(content)
sat
unknown
0.292s
mc2
/home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn1079.smt2
(content)
sat
unknown
0.257s
mc2
/home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn1078.smt2
(content)
sat
unknown
0.286s