root
file
detailed [375..399]
prev
next
detailed results (3632 total)
filter
improved
ok
disappoint
bad
error
prover
file
res
expected
time
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/408898/gensys_brn1073.smt2
(content)
unsat
unsat
7.6s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/408885/gensys_brn1061.smt2
(content)
unsat
unsat
0.265s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/408880/gensys_brn1057.smt2
(content)
unsat
unsat
5.2s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/408875/gensys_brn1052.smt2
(content)
unsat
unsat
1s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/408872/gensys_brn105.smt2
(content)
unsat
unsat
1.5s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/408859/gensys_brn1038.smt2
(content)
unsat
unsat
0.523s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/408855/gensys_brn1034.smt2
(content)
unsat
unsat
0.448s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/408851/gensys_brn1030.smt2
(content)
unsat
unsat
3.1s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/408844/gensys_brn1024.smt2
(content)
unsat
unsat
0.549s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/408818/gensys_brn1000.smt2
(content)
unsat
unsat
1.2s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/408812/gensys_brn095.smt2
(content)
unsat
unsat
4.9s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/408805/gensys_brn088.smt2
(content)
unsat
unsat
7.5s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/408770/gensys_brn053.smt2
(content)
unsat
unsat
0.604s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/408766/gensys_brn049.smt2
(content)
unsat
unsat
0.480s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/408764/gensys_brn047.smt2
(content)
unsat
unsat
1.3s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/408752/gensys_brn035.smt2
(content)
unsat
unsat
0.211s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/408751/gensys_brn034.smt2
(content)
unsat
unsat
0.468s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/408750/gensys_brn033.smt2
(content)
unsat
unsat
0.254s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/408741/gensys_brn024.smt2
(content)
unsat
unsat
0.321s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/408740/gensys_brn023.smt2
(content)
unsat
unsat
1.6s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/408737/gensys_brn020.smt2
(content)
unsat
unsat
0.636s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/408726/gensys_brn009.smt2
(content)
unsat
unsat
0.263s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/408724/gensys_brn007.smt2
(content)
unsat
unsat
0.096s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/408717/dead_dnd066.smt2
(content)
unsat
unsat
1.0s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/408716/dead_dnd065.smt2
(content)
unsat
unsat
1.7s