root
file
detailed [875..899]
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/410364/gensys_icl120.smt2
(content)
unsat
unsat
1.8s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410363/gensys_icl1199.smt2
(content)
unsat
unsat
3.3s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410362/gensys_icl1198.smt2
(content)
unsat
unsat
5.2s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410361/gensys_icl1197.smt2
(content)
unsat
unsat
7.5s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410360/gensys_icl1196.smt2
(content)
unsat
unsat
2.4s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410359/gensys_icl1195.smt2
(content)
unsat
unsat
2.0s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410358/gensys_icl1194.smt2
(content)
unsat
unsat
5s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410357/gensys_icl1193.smt2
(content)
unsat
unsat
3.8s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410356/gensys_icl1192.smt2
(content)
unsat
unsat
4.9s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410355/gensys_icl1191.smt2
(content)
unsat
unsat
2.9s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410354/gensys_icl1190.smt2
(content)
unsat
unsat
0.102s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410353/gensys_icl119.smt2
(content)
unsat
unsat
2.1s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410352/gensys_icl1189.smt2
(content)
unsat
unsat
0.199s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410351/gensys_icl1188.smt2
(content)
unsat
unsat
2.8s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410350/gensys_icl1187.smt2
(content)
unsat
unsat
3.8s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410349/gensys_icl1186.smt2
(content)
unsat
unsat
3.3s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410348/gensys_icl1185.smt2
(content)
unsat
unsat
3.7s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410347/gensys_icl1184.smt2
(content)
unsat
unsat
2.8s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410346/gensys_icl1183.smt2
(content)
unsat
unsat
1.0s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410345/gensys_icl1182.smt2
(content)
unsat
unsat
4.7s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410344/gensys_icl1181.smt2
(content)
unsat
unsat
2.4s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410343/gensys_icl1180.smt2
(content)
unsat
unsat
6.8s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410342/gensys_icl118.smt2
(content)
unsat
unsat
1.0s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410341/gensys_icl1179.smt2
(content)
unsat
unsat
2.5s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410340/gensys_icl1178.smt2
(content)
unsat
unsat
4.5s