root
file
detailed [3275..3299]
prev
next
detailed results (7457 total)
filter
improved
ok
disappoint
bad
error
prover
file
res
expected
time
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl274.smt2
(content)
unsat
unsat
0.848s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl273.smt2
(content)
unsat
unsat
0.490s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl272.smt2
(content)
unsat
unsat
1.6s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl271.smt2
(content)
unsat
unsat
3.5s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl270.smt2
(content)
unsat
unsat
4.4s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl269.smt2
(content)
unsat
unsat
0.875s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl268.smt2
(content)
unsat
unsat
0.657s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl267.smt2
(content)
unsat
unsat
0.318s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl266.smt2
(content)
unsat
unsat
2.9s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl265.smt2
(content)
unsat
unsat
3s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl264.smt2
(content)
unsat
unsat
4.0s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl263.smt2
(content)
unsat
unsat
1.8s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl262.smt2
(content)
unsat
unsat
3s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl261.smt2
(content)
unsat
unsat
2.4s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl260.smt2
(content)
unsat
unsat
0.891s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl259.smt2
(content)
unsat
unsat
1.1s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl258.smt2
(content)
unsat
unsat
1.3s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl257.smt2
(content)
unsat
unsat
2.4s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl256.smt2
(content)
unsat
unsat
2.0s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl255.smt2
(content)
unsat
unsat
8.5s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl254.smt2
(content)
unsat
unsat
8.4s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl253.smt2
(content)
unsat
unsat
3.7s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl252.smt2
(content)
timeout
unsat
11.9s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl251.smt2
(content)
unsat
unsat
1.7s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl250.smt2
(content)
unsat
unsat
3.9s