SMT-COMP

The International Satisfiability Modulo Theories (SMT) Competition.

GitHub

Home
Introduction
Benchmark Submission
Publications
SMT-LIB
Competitions by Year

SMT-COMP 2020

Rules
Benchmarks
Tools
Specs
Participants
Results
Slides

Solver Disagreements on UF (Incremental Track)

Page generated on 2020-07-02 17:01:54 +0000

UF/20190906-CLEARSY/0000/00302.smt2 query 2

UF/20190906-CLEARSY/0000/00302.smt2 query 3

UF/20190906-CLEARSY/0000/00302.smt2 query 4

UF/20190906-CLEARSY/0000/00307.smt2 query 2

UF/20190906-CLEARSY/0000/00307.smt2 query 3

UF/20190906-CLEARSY/0000/00307.smt2 query 8

UF/20190906-CLEARSY/0000/00307.smt2 query 9

UF/20190906-CLEARSY/0000/00307.smt2 query 10

UF/20190906-CLEARSY/0000/00307.smt2 query 11

UF/20190906-CLEARSY/0000/00307.smt2 query 14

UF/20190906-CLEARSY/0000/00307.smt2 query 21

UF/20190906-CLEARSY/0000/00307.smt2 query 22

UF/20190906-CLEARSY/0000/00307.smt2 query 23

UF/20190906-CLEARSY/0000/00307.smt2 query 24

UF/20190906-CLEARSY/0000/00307.smt2 query 25

UF/20190906-CLEARSY/0000/00307.smt2 query 26

UF/20190906-CLEARSY/0001/00001.smt2 query 33

UF/20190906-CLEARSY/0001/00001.smt2 query 47

UF/20190906-CLEARSY/0001/00001.smt2 query 51

UF/20190906-CLEARSY/0001/00001.smt2 query 60

UF/20190906-CLEARSY/0001/00077.smt2 query 10

UF/20190906-CLEARSY/0001/00097.smt2 query 6

UF/20190906-CLEARSY/0001/00104.smt2 query 12

UF/20190906-CLEARSY/0001/00172.smt2 query 5

UF/20190906-CLEARSY/0001/00172.smt2 query 8

UF/20190906-CLEARSY/0001/00172.smt2 query 9

UF/20190906-CLEARSY/0001/00172.smt2 query 10

UF/20190906-CLEARSY/0001/00288.smt2 query 21

UF/20190906-CLEARSY/0001/00288.smt2 query 23

UF/20190906-CLEARSY/0001/00288.smt2 query 24

UF/20190906-CLEARSY/0001/00288.smt2 query 25

UF/20190906-CLEARSY/0001/00310.smt2 query 33

UF/20190906-CLEARSY/0001/00310.smt2 query 34

UF/20190906-CLEARSY/0001/00310.smt2 query 39

UF/20190906-CLEARSY/0001/00310.smt2 query 40

UF/20190906-CLEARSY/0001/00310.smt2 query 41

UF/20190906-CLEARSY/0001/00310.smt2 query 42

UF/20190906-CLEARSY/0001/00310.smt2 query 45

UF/20190906-CLEARSY/0001/00310.smt2 query 52

UF/20190906-CLEARSY/0001/00310.smt2 query 53

UF/20190906-CLEARSY/0001/00310.smt2 query 54

UF/20190906-CLEARSY/0001/00310.smt2 query 55

UF/20190906-CLEARSY/0001/00310.smt2 query 56

UF/20190906-CLEARSY/0001/00310.smt2 query 57

UF/20190906-CLEARSY/0008/00017.smt2 query 7

UF/20190906-CLEARSY/0008/00017.smt2 query 8

UF/20190906-CLEARSY/0008/00017.smt2 query 9

UF/20190906-CLEARSY/0008/00017.smt2 query 10

UF/20190906-CLEARSY/0008/00017.smt2 query 11

UF/20190906-CLEARSY/0012/00009.smt2 query 100

UF/20190906-CLEARSY/0012/00092.smt2 query 30

UF/20190906-CLEARSY/0015/00015.smt2 query 71

UF/20190906-CLEARSY/0015/00019.smt2 query 105

UF/20190906-CLEARSY/0015/00116.smt2 query 20

UF/20190906-CLEARSY/0015/00116.smt2 query 21

UF/20190906-CLEARSY/0015/00206.smt2 query 50

UF/20190906-CLEARSY/0015/00210.smt2 query 24

UF/20190906-CLEARSY/0015/00210.smt2 query 29

UF/20190906-CLEARSY/0016/00042.smt2 query 71

UF/20190906-CLEARSY/0016/00053.smt2 query 41

UF/20190906-CLEARSY/0016/00434.smt2 query 38

UF/20190906-CLEARSY/0016/00442.smt2 query 2

UF/20190906-CLEARSY/0016/00442.smt2 query 4

UF/20190906-CLEARSY/0016/00442.smt2 query 6

UF/20190906-CLEARSY/0016/00442.smt2 query 8

UF/20190906-CLEARSY/0016/00442.smt2 query 10

UF/20190906-CLEARSY/0016/00442.smt2 query 12

UF/20190906-CLEARSY/0016/00442.smt2 query 14

UF/20190906-CLEARSY/0016/00461.smt2 query 11

UF/20190906-CLEARSY/0016/00461.smt2 query 16

UF/20190906-CLEARSY/0016/00466.smt2 query 9

UF/20190906-CLEARSY/0016/00466.smt2 query 26

UF/20190906-CLEARSY/0016/00568.smt2 query 41

UF/20190906-CLEARSY/0016/00600.smt2 query 45

UF/20190906-CLEARSY/0016/00688.smt2 query 17

UF/20190906-CLEARSY/0016/00693.smt2 query 41

UF/20190906-CLEARSY/0017/00003.smt2 query 10

UF/20190906-CLEARSY/0020/00012.smt2 query 25

UF/20190906-CLEARSY/0021/00019.smt2 query 60

UF/20190906-CLEARSY/0021/00019.smt2 query 74

UF/20190906-CLEARSY/0021/00019.smt2 query 88

UF/20190906-CLEARSY/0021/00019.smt2 query 96

UF/20190906-CLEARSY/0021/00019.smt2 query 104

UF/20190906-CLEARSY/0021/00019.smt2 query 113

UF/20190906-CLEARSY/0021/00019.smt2 query 120

UF/20190906-CLEARSY/0022/00004.smt2 query 14

UF/20190906-CLEARSY/0022/00004.smt2 query 15

UF/20190906-CLEARSY/0022/00004.smt2 query 21

UF/20190906-CLEARSY/0023/00245.smt2 query 12

UF/20190906-CLEARSY/0023/00245.smt2 query 13

UF/20190906-CLEARSY/0023/00245.smt2 query 14

UF/20190906-CLEARSY/0023/00245.smt2 query 15

UF/20190906-CLEARSY/0023/00245.smt2 query 16

UF/20190906-CLEARSY/0023/00245.smt2 query 17

UF/20190906-CLEARSY/0023/00245.smt2 query 23

UF/20190906-CLEARSY/0023/00245.smt2 query 24

UF/20190906-CLEARSY/0024/00342.smt2 query 8

n Non-competing.
u Solver is unsound in this division.