root
file
detailed [275..299]
prev
next
detailed results (13300 total)
filter
improved
ok
disappoint
bad
error
prover
file
res
expected
time
z3
/home/simon/workspace/sidekick/tests/QF_UF/QG-classification/loops6/408259/gensys_brn038.smt2
(content)
sat
sat
0.048s
sidekick-dev
/home/simon/workspace/sidekick/tests/QF_UF/QG-classification/loops6/408258/gensys_brn037.smt2
(content)
sat
sat
0.126s
z3
/home/simon/workspace/sidekick/tests/QF_UF/QG-classification/loops6/408258/gensys_brn037.smt2
(content)
sat
sat
0.046s
sidekick-dev
/home/simon/workspace/sidekick/tests/QF_UF/QG-classification/loops6/408257/gensys_brn036.smt2
(content)
unsat
unsat
1.6s
z3
/home/simon/workspace/sidekick/tests/QF_UF/QG-classification/loops6/408257/gensys_brn036.smt2
(content)
unsat
unsat
0.296s
sidekick-dev
/home/simon/workspace/sidekick/tests/QF_UF/QG-classification/loops6/408256/gensys_brn035.smt2
(content)
unsat
unsat
1.4s
z3
/home/simon/workspace/sidekick/tests/QF_UF/QG-classification/loops6/408256/gensys_brn035.smt2
(content)
unsat
unsat
0.302s
sidekick-dev
/home/simon/workspace/sidekick/tests/QF_UF/QG-classification/loops6/408255/gensys_brn034.smt2
(content)
sat
sat
0.208s
z3
/home/simon/workspace/sidekick/tests/QF_UF/QG-classification/loops6/408255/gensys_brn034.smt2
(content)
sat
sat
0.078s
sidekick-dev
/home/simon/workspace/sidekick/tests/QF_UF/QG-classification/loops6/408254/gensys_brn033.smt2
(content)
sat
sat
0.319s
z3
/home/simon/workspace/sidekick/tests/QF_UF/QG-classification/loops6/408254/gensys_brn033.smt2
(content)
sat
sat
0.052s
sidekick-dev
/home/simon/workspace/sidekick/tests/QF_UF/QG-classification/loops6/408253/gensys_brn032.smt2
(content)
sat
sat
0.119s
z3
/home/simon/workspace/sidekick/tests/QF_UF/QG-classification/loops6/408253/gensys_brn032.smt2
(content)
sat
sat
0.065s
sidekick-dev
/home/simon/workspace/sidekick/tests/QF_UF/QG-classification/loops6/408252/gensys_brn031.smt2
(content)
sat
sat
0.344s
z3
/home/simon/workspace/sidekick/tests/QF_UF/QG-classification/loops6/408252/gensys_brn031.smt2
(content)
sat
sat
0.050s
sidekick-dev
/home/simon/workspace/sidekick/tests/QF_UF/QG-classification/loops6/408251/gensys_brn030.smt2
(content)
sat
sat
0.354s
z3
/home/simon/workspace/sidekick/tests/QF_UF/QG-classification/loops6/408251/gensys_brn030.smt2
(content)
sat
sat
0.055s
sidekick-dev
/home/simon/workspace/sidekick/tests/QF_UF/QG-classification/loops6/408250/gensys_brn029.smt2
(content)
unsat
unsat
0.989s
z3
/home/simon/workspace/sidekick/tests/QF_UF/QG-classification/loops6/408250/gensys_brn029.smt2
(content)
unsat
unsat
0.235s
sidekick-dev
/home/simon/workspace/sidekick/tests/QF_UF/QG-classification/loops6/408249/gensys_brn028.smt2
(content)
sat
sat
0.481s
z3
/home/simon/workspace/sidekick/tests/QF_UF/QG-classification/loops6/408249/gensys_brn028.smt2
(content)
sat
sat
0.057s
sidekick-dev
/home/simon/workspace/sidekick/tests/QF_UF/QG-classification/loops6/408248/gensys_brn027.smt2
(content)
sat
sat
0.266s
z3
/home/simon/workspace/sidekick/tests/QF_UF/QG-classification/loops6/408248/gensys_brn027.smt2
(content)
sat
sat
0.053s
sidekick-dev
/home/simon/workspace/sidekick/tests/QF_UF/QG-classification/loops6/408247/gensys_brn026.smt2
(content)
sat
sat
0.235s
z3
/home/simon/workspace/sidekick/tests/QF_UF/QG-classification/loops6/408247/gensys_brn026.smt2
(content)
sat
sat
0.047s