root
file
detailed [850..874]
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/410339/gensys_icl1177.smt2
(content)
unsat
unsat
2.5s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410338/gensys_icl1176.smt2
(content)
unsat
unsat
4.1s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410337/gensys_icl1175.smt2
(content)
unsat
unsat
2.8s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410336/gensys_icl1174.smt2
(content)
unsat
unsat
0.484s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410335/gensys_icl1173.smt2
(content)
unsat
unsat
0.283s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410334/gensys_icl1172.smt2
(content)
unsat
unsat
0.468s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410333/gensys_icl1171.smt2
(content)
unsat
unsat
1.4s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410332/gensys_icl1170.smt2
(content)
unsat
unsat
1s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410331/gensys_icl117.smt2
(content)
unsat
unsat
6.5s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410330/gensys_icl1169.smt2
(content)
unsat
unsat
0.540s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410329/gensys_icl1168.smt2
(content)
unsat
unsat
6s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410328/gensys_icl1167.smt2
(content)
unsat
unsat
5.8s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410327/gensys_icl1166.smt2
(content)
unsat
unsat
5.4s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410326/gensys_icl1165.smt2
(content)
unsat
unsat
1s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410325/gensys_icl1164.smt2
(content)
unsat
unsat
2.3s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410324/gensys_icl1163.smt2
(content)
unsat
unsat
2s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410323/gensys_icl1162.smt2
(content)
unsat
unsat
1.9s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410322/gensys_icl1161.smt2
(content)
unsat
unsat
6.7s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410321/gensys_icl1160.smt2
(content)
unsat
unsat
5.8s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410320/gensys_icl116.smt2
(content)
unsat
unsat
1.5s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410319/gensys_icl1159.smt2
(content)
unsat
unsat
4.4s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410318/gensys_icl1158.smt2
(content)
unsat
unsat
2.5s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410317/gensys_icl1157.smt2
(content)
unsat
unsat
3.6s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410316/gensys_icl1156.smt2
(content)
unsat
unsat
3.9s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410315/gensys_icl1155.smt2
(content)
unsat
unsat
0.360s