root
file
detailed [800..824]
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/410289/gensys_icl1131.smt2
(content)
unsat
unsat
0.481s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410288/gensys_icl1130.smt2
(content)
unsat
unsat
1.1s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410287/gensys_icl113.smt2
(content)
unsat
unsat
6.8s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410286/gensys_icl1129.smt2
(content)
unsat
unsat
1.5s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410285/gensys_icl1128.smt2
(content)
unsat
unsat
0.918s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410284/gensys_icl1127.smt2
(content)
unsat
unsat
2.7s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410283/gensys_icl1126.smt2
(content)
unsat
unsat
0.381s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410282/gensys_icl1125.smt2
(content)
unsat
unsat
2.7s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410281/gensys_icl1124.smt2
(content)
unsat
unsat
2.6s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410280/gensys_icl1123.smt2
(content)
unsat
unsat
3s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410279/gensys_icl1122.smt2
(content)
unsat
unsat
3.3s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410278/gensys_icl1121.smt2
(content)
unsat
unsat
2.2s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410277/gensys_icl1120.smt2
(content)
unsat
unsat
1.4s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410276/gensys_icl112.smt2
(content)
unsat
unsat
3.6s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410275/gensys_icl1119.smt2
(content)
unsat
unsat
3.3s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410274/gensys_icl1118.smt2
(content)
unsat
unsat
0.535s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410273/gensys_icl1117.smt2
(content)
unsat
unsat
0.374s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410272/gensys_icl1116.smt2
(content)
unsat
unsat
0.531s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410271/gensys_icl1115.smt2
(content)
unsat
unsat
1.1s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410270/gensys_icl1114.smt2
(content)
unsat
unsat
1.4s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410269/gensys_icl1113.smt2
(content)
unsat
unsat
2.3s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410268/gensys_icl1112.smt2
(content)
unsat
unsat
2.9s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410267/gensys_icl1111.smt2
(content)
unsat
unsat
0.982s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410266/gensys_icl1110.smt2
(content)
unsat
unsat
1s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410265/gensys_icl111.smt2
(content)
unsat
unsat
7s