root
file
detailed [950..974]
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/410442/gensys_icl1270.smt2
(content)
unsat
unsat
0.958s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410441/gensys_icl127.smt2
(content)
unsat
unsat
5.3s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410440/gensys_icl1269.smt2
(content)
unsat
unsat
0.937s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410439/gensys_icl1268.smt2
(content)
unsat
unsat
1.5s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410438/gensys_icl1267.smt2
(content)
unsat
unsat
0.796s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410437/gensys_icl1266.smt2
(content)
unsat
unsat
3.5s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410436/gensys_icl1265.smt2
(content)
unsat
unsat
0.840s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410435/gensys_icl1264.smt2
(content)
unsat
unsat
0.519s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410434/gensys_icl1263.smt2
(content)
unsat
unsat
4.3s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410433/gensys_icl1262.smt2
(content)
unsat
unsat
0.211s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410432/gensys_icl1261.smt2
(content)
unsat
unsat
1s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410431/gensys_icl1260.smt2
(content)
unsat
unsat
4.2s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410430/gensys_icl126.smt2
(content)
unsat
unsat
2.6s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410429/gensys_icl1259.smt2
(content)
unsat
unsat
1.3s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410428/gensys_icl1258.smt2
(content)
unsat
unsat
0.743s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410427/gensys_icl1257.smt2
(content)
unsat
unsat
4.5s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410425/gensys_icl1255.smt2
(content)
unsat
unsat
3.5s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410423/gensys_icl1253.smt2
(content)
unsat
unsat
10.9s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410422/gensys_icl1252.smt2
(content)
unsat
unsat
5.6s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410421/gensys_icl1251.smt2
(content)
unsat
unsat
6.7s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410420/gensys_icl1250.smt2
(content)
unsat
unsat
2.3s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410419/gensys_icl125.smt2
(content)
unsat
unsat
10.2s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410418/gensys_icl1249.smt2
(content)
unsat
unsat
5s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410417/gensys_icl1248.smt2
(content)
unsat
unsat
1.5s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410416/gensys_icl1247.smt2
(content)
unsat
unsat
1s