root
file
detailed [550..574]
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/409913/gensys_brn868.smt2
(content)
unsat
unsat
0.408s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409908/gensys_brn863.smt2
(content)
unsat
unsat
6.1s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409894/gensys_brn849.smt2
(content)
unsat
unsat
0.803s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409881/gensys_brn836.smt2
(content)
unsat
unsat
0.401s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409879/gensys_brn834.smt2
(content)
unsat
unsat
1.7s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409872/gensys_brn827.smt2
(content)
unsat
unsat
1.1s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409870/gensys_brn825.smt2
(content)
unsat
unsat
0.136s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409869/gensys_brn824.smt2
(content)
unsat
unsat
0.177s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409866/gensys_brn821.smt2
(content)
unsat
unsat
1s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409858/gensys_brn813.smt2
(content)
unsat
unsat
0.555s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409852/gensys_brn807.smt2
(content)
unsat
unsat
0.701s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409850/gensys_brn805.smt2
(content)
unsat
unsat
8.9s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409840/gensys_brn795.smt2
(content)
unsat
unsat
8.0s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409839/gensys_brn794.smt2
(content)
unsat
unsat
0.325s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409822/gensys_brn777.smt2
(content)
unsat
unsat
0.526s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409820/gensys_brn775.smt2
(content)
unsat
unsat
0.982s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409818/gensys_brn773.smt2
(content)
unsat
unsat
1.3s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409814/gensys_brn769.smt2
(content)
unsat
unsat
8.4s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409811/gensys_brn766.smt2
(content)
unsat
unsat
3.9s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409806/gensys_brn761.smt2
(content)
unsat
unsat
3.0s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409800/gensys_brn755.smt2
(content)
unsat
unsat
10.6s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409798/gensys_brn753.smt2
(content)
unsat
unsat
0.973s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409797/gensys_brn752.smt2
(content)
unsat
unsat
10.6s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409787/gensys_brn742.smt2
(content)
unsat
unsat
1.3s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409783/gensys_brn738.smt2
(content)
unsat
unsat
1.3s