root
file
detailed [950..974]
prev
next
detailed results (3102 total)
filter
improved
ok
disappoint
bad
error
prover
file
res
expected
time
z3
/home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn1187.smt2
(content)
sat
sat
0.035s
z3
/home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn1186.smt2
(content)
sat
sat
0.041s
z3
/home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn1185.smt2
(content)
sat
sat
0.050s
z3
/home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn1184.smt2
(content)
sat
sat
0.058s
z3
/home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn1182.smt2
(content)
sat
sat
0.037s
z3
/home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn1181.smt2
(content)
sat
sat
0.036s
z3
/home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn1180.smt2
(content)
sat
sat
0.113s
z3
/home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn118.smt2
(content)
sat
sat
0.152s
z3
/home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn1179.smt2
(content)
sat
sat
0.042s
z3
/home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn1178.smt2
(content)
sat
sat
0.056s
z3
/home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn1177.smt2
(content)
sat
sat
0.038s
z3
/home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn1176.smt2
(content)
sat
sat
0.051s
z3
/home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn1175.smt2
(content)
sat
sat
0.037s
z3
/home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn1174.smt2
(content)
sat
sat
0.118s
z3
/home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn1173.smt2
(content)
sat
sat
0.091s
z3
/home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn1172.smt2
(content)
sat
sat
0.087s
z3
/home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn1171.smt2
(content)
sat
sat
0.052s
z3
/home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn1170.smt2
(content)
sat
sat
0.045s
z3
/home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn117.smt2
(content)
sat
sat
0.057s
z3
/home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn1169.smt2
(content)
sat
sat
0.039s
z3
/home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn1168.smt2
(content)
sat
sat
0.048s
z3
/home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn1167.smt2
(content)
sat
sat
0.066s
z3
/home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn1166.smt2
(content)
sat
sat
0.063s
z3
/home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn1165.smt2
(content)
sat
sat
0.058s
z3
/home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn1164.smt2
(content)
sat
sat
0.061s