root
file
detailed [775..799]
prev
next
detailed results (4684 total)
filter
improved
ok
disappoint
bad
error
prover
file
res
expected
time
mc2-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/408982/gensys_brn115.smt2
(content)
unsat
unsat
9.8s
mc2-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/408981/gensys_brn1149.smt2
(content)
unsat
unsat
9.7s
mc2-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/408980/gensys_brn1148.smt2
(content)
unsat
unsat
8.8s
mc2-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/408932/gensys_brn1104.smt2
(content)
unsat
unsat
6.3s
mc2-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/408931/gensys_brn1103.smt2
(content)
unsat
unsat
7s
mc2-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/408925/gensys_brn1098.smt2
(content)
unsat
unsat
13.1s
mc2-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/408913/gensys_brn1087.smt2
(content)
unsat
unsat
1.7s
mc2-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/408911/gensys_brn1085.smt2
(content)
unsat
unsat
1.9s
mc2-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/408909/gensys_brn1083.smt2
(content)
unsat
unsat
0.497s
mc2-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/408899/gensys_brn1074.smt2
(content)
unsat
unsat
12.1s
mc2-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/408898/gensys_brn1073.smt2
(content)
unsat
unsat
14.4s
mc2-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/408896/gensys_brn1071.smt2
(content)
unsat
unsat
19.2s
mc2-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/408885/gensys_brn1061.smt2
(content)
unsat
unsat
0.472s
mc2-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/408880/gensys_brn1057.smt2
(content)
unsat
unsat
4.2s
mc2-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/408875/gensys_brn1052.smt2
(content)
unsat
unsat
25.8s
mc2-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/408873/gensys_brn1050.smt2
(content)
unsat
unsat
25.3s
mc2-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/408872/gensys_brn105.smt2
(content)
unsat
unsat
6s
mc2-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/408859/gensys_brn1038.smt2
(content)
unsat
unsat
0.871s
mc2-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/408855/gensys_brn1034.smt2
(content)
unsat
unsat
3.3s
mc2-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/408851/gensys_brn1030.smt2
(content)
unsat
unsat
14.2s
mc2-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/408844/gensys_brn1024.smt2
(content)
unsat
unsat
1.5s
mc2-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/408818/gensys_brn1000.smt2
(content)
unsat
unsat
2s
mc2-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/408812/gensys_brn095.smt2
(content)
unsat
unsat
17.3s
mc2-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/408810/gensys_brn093.smt2
(content)
unsat
unsat
28.6s
mc2-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/408808/gensys_brn091.smt2
(content)
unsat
unsat
30.6s