root
file
detailed [875..899]
prev
next
detailed results (3906 total)
filter
improved
ok
disappoint
bad
error
prover
file
res
expected
time
z3
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/408825/gensys_brn1007.smt2
(content)
sat
sat
0.031s
z3
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/408824/gensys_brn1006.smt2
(content)
sat
sat
0.041s
z3
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/408823/gensys_brn1005.smt2
(content)
sat
sat
0.036s
z3
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/408822/gensys_brn1004.smt2
(content)
sat
sat
0.032s
z3
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/408821/gensys_brn1003.smt2
(content)
sat
sat
0.030s
z3
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/408820/gensys_brn1002.smt2
(content)
sat
sat
0.033s
z3
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/408819/gensys_brn1001.smt2
(content)
sat
sat
0.035s
z3
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/408817/gensys_brn100.smt2
(content)
sat
sat
0.034s
z3
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/408816/gensys_brn099.smt2
(content)
sat
sat
0.039s
z3
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/408815/gensys_brn098.smt2
(content)
sat
sat
0.046s
z3
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/408814/gensys_brn097.smt2
(content)
sat
sat
0.032s
z3
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/408813/gensys_brn096.smt2
(content)
sat
sat
0.032s
z3
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/408811/gensys_brn094.smt2
(content)
sat
sat
0.038s
z3
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/408809/gensys_brn092.smt2
(content)
sat
sat
0.035s
z3
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/408807/gensys_brn090.smt2
(content)
sat
sat
0.033s
z3
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/408806/gensys_brn089.smt2
(content)
sat
sat
0.045s
z3
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/408804/gensys_brn087.smt2
(content)
sat
sat
0.037s
z3
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/408803/gensys_brn086.smt2
(content)
sat
sat
0.054s
z3
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/408802/gensys_brn085.smt2
(content)
sat
sat
0.040s
z3
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/408801/gensys_brn084.smt2
(content)
sat
sat
0.058s
z3
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/408800/gensys_brn083.smt2
(content)
sat
sat
0.053s
z3
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/408799/gensys_brn082.smt2
(content)
sat
sat
0.033s
z3
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/408798/gensys_brn081.smt2
(content)
sat
sat
0.038s
z3
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/408797/gensys_brn080.smt2
(content)
sat
sat
0.032s
z3
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/408796/gensys_brn079.smt2
(content)
sat
sat
0.030s