root
file
detailed [400..424]
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/409079/gensys_brn1238.smt2
(content)
unsat
unsat
2.4s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409074/gensys_brn1233.smt2
(content)
unsat
unsat
3.1s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409072/gensys_brn1231.smt2
(content)
unsat
unsat
4.3s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409071/gensys_brn1230.smt2
(content)
unsat
unsat
2.0s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409070/gensys_brn123.smt2
(content)
unsat
unsat
2s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409066/gensys_brn1226.smt2
(content)
unsat
unsat
0.680s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409063/gensys_brn1223.smt2
(content)
unsat
unsat
1.3s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409059/gensys_brn122.smt2
(content)
unsat
unsat
1.3s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409053/gensys_brn1214.smt2
(content)
unsat
unsat
4.4s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409032/gensys_brn1195.smt2
(content)
unsat
unsat
1s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409025/gensys_brn1189.smt2
(content)
unsat
unsat
0.410s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409019/gensys_brn1183.smt2
(content)
unsat
unsat
0.466s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/408992/gensys_brn1159.smt2
(content)
unsat
unsat
0.541s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/408991/gensys_brn1158.smt2
(content)
unsat
unsat
2.3s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/408983/gensys_brn1150.smt2
(content)
unsat
unsat
6.7s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/408982/gensys_brn115.smt2
(content)
unsat
unsat
0.619s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/408981/gensys_brn1149.smt2
(content)
unsat
unsat
5.4s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/408980/gensys_brn1148.smt2
(content)
unsat
unsat
4.6s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/408932/gensys_brn1104.smt2
(content)
unsat
unsat
5.3s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/408931/gensys_brn1103.smt2
(content)
unsat
unsat
5.4s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/408925/gensys_brn1098.smt2
(content)
unsat
unsat
6.6s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/408913/gensys_brn1087.smt2
(content)
unsat
unsat
0.741s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/408911/gensys_brn1085.smt2
(content)
unsat
unsat
0.465s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/408909/gensys_brn1083.smt2
(content)
unsat
unsat
0.208s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/408899/gensys_brn1074.smt2
(content)
unsat
unsat
7.3s