Commit cb27bbb8 authored by Joshua Moerman's avatar Joshua Moerman
Browse files

New results, using the proper models.

Also added the results for reachability
parent 89d2a43e
......@@ -12,25 +12,25 @@ is false
is false
is true
is false
is false
is false
is true
is false
is false
is false
is true
is true
is false
is false
is true
is false
is false
is false
is false
is true
is false
is true
is true
is true
is true
is false
is false
is false
is true
is false
is false
is false
......@@ -38,9 +38,9 @@ is true
is false
is false
is false
is true
is false
is false
is false
is true
is false
is true
is true
......@@ -72,25 +72,25 @@ is false
is false
is true
is false
is false
is true
is true
is false
is true
is true
is false
is false
is true
is true
is false
is true
is true
is false
is true
is false
is false
is true
is true
is false
is false
is false
is false
is false
is true
is false
is false
is false
......
ERROR 14
ERROR 15
ERROR 16
ERROR 20
ERROR 22
ERROR 24
ERROR 25
ERROR 26
ERROR 28
ERROR 29
ERROR 30
ERROR 31
ERROR 35
ERROR 37
ERROR 38
ERROR 39
ERROR 42
ERROR 43
ERROR 50
ERROR 52
ERROR 53
ERROR 54
ERROR 55
ERROR 58
ERROR 61
ERROR 62
ERROR 65
ERROR 75
ERROR 76
ERROR 77
ERROR 78
ERROR 80
ERROR 86
ERROR 87
ERROR 88
ERROR 89
ERROR 90
ERROR 91
ERROR 93
ERROR 94
ERROR 95
ERROR 96
ERROR 97
ERROR 98
ERROR 99
ERROR 11
ERROR 25
ERROR 26
ERROR 32
ERROR 38
ERROR 39
ERROR 40
ERROR 42
ERROR 49
ERROR 5
ERROR 52
ERROR 53
ERROR 6
ERROR 62
ERROR 63
ERROR 76
ERROR 85
ERROR 91
ERROR 93
ERROR 98
ERROR 0
ERROR 1
ERROR 15
ERROR 19
ERROR 24
ERROR 26
ERROR 27
ERROR 34
ERROR 39
ERROR 41
ERROR 44
ERROR 46
ERROR 56
ERROR 57
ERROR 6
ERROR 64
ERROR 71
ERROR 72
ERROR 79
ERROR 89
ERROR 93
ERROR 1
ERROR 12
ERROR 13
ERROR 15
ERROR 18
ERROR 21
ERROR 23
ERROR 25
ERROR 27
ERROR 30
ERROR 33
ERROR 40
ERROR 47
ERROR 50
ERROR 53
ERROR 59
ERROR 6
ERROR 64
ERROR 78
ERROR 81
ERROR 83
ERROR 87
ERROR 92
ERROR 93
ERROR 94
ERROR 95
ERROR 96
ERROR 98
ERROR 0
ERROR 10
ERROR 17
ERROR 2
ERROR 20
ERROR 25
ERROR 28
ERROR 35
ERROR 37
ERROR 40
ERROR 46
ERROR 47
ERROR 50
ERROR 54
ERROR 6
ERROR 60
ERROR 61
ERROR 63
ERROR 66
ERROR 67
ERROR 70
ERROR 73
ERROR 84
ERROR 89
ERROR 91
ERROR 94
ERROR 95
ERROR 10
ERROR 15
ERROR 16
ERROR 22
ERROR 23
ERROR 26
ERROR 3
ERROR 40
ERROR 42
ERROR 45
ERROR 46
ERROR 49
ERROR 57
ERROR 58
ERROR 61
ERROR 63
ERROR 65
ERROR 67
ERROR 72
ERROR 73
ERROR 75
ERROR 78
ERROR 82
ERROR 89
ERROR 91
ERROR 93
ERROR 95
ERROR 1
ERROR 10
ERROR 12
ERROR 15
ERROR 18
ERROR 20
ERROR 23
ERROR 32
ERROR 34
ERROR 35
ERROR 38
ERROR 4
ERROR 44
ERROR 55
ERROR 56
ERROR 61
ERROR 65
ERROR 67
ERROR 68
ERROR 7
ERROR 70
ERROR 72
ERROR 75
ERROR 81
ERROR 86
ERROR 92
ERROR 93
ERROR 95
ERROR 98
ERROR 16
ERROR 17
ERROR 18
ERROR 19
ERROR 2
ERROR 21
ERROR 23
ERROR 24
ERROR 27
ERROR 28
ERROR 3
ERROR 33
ERROR 36
ERROR 42
ERROR 50
ERROR 52
ERROR 56
ERROR 61
ERROR 63
ERROR 67
ERROR 69
ERROR 7
ERROR 72
ERROR 73
ERROR 85
ERROR 89
ERROR 94
ERROR 0
ERROR 11
ERROR 14
ERROR 16
ERROR 17
ERROR 20
ERROR 24
ERROR 25
ERROR 28
ERROR 3
ERROR 38
ERROR 39
ERROR 46
ERROR 48
ERROR 53
ERROR 62
ERROR 70
ERROR 71
ERROR 76
ERROR 78
ERROR 81
ERROR 83
ERROR 85
ERROR 91
ERROR 93
ERROR 95
ERROR 96
ERROR 99
is false
is true
is false
is false
is false
is false
is false
is false
is true
is false
is false
is false
is false
is false
is true
is true
is false
is false
is false
is true
is false
is false
is false
is true
is false
is false
is false
......@@ -26,24 +24,26 @@ is false
is false
is false
is false
is true
is true
is false
is false
is false
is false
is false
is false
is false
is false
is false
is false
is false
is true
is false
is false
is true
is true
is false
is false
is true
is true
is false
is true
is true
is false
is false
is false
......@@ -55,15 +55,15 @@ is false
is false
is false
is false
is false
is false
is true
is true
is false
is false
is false
is true
is true
is false
is false
is true
is false
is true
is true
......@@ -75,6 +75,7 @@ is false
is false
is true
is false
is true
is false
is false
is false
......@@ -82,19 +83,18 @@ is false
is false
is false
is false
is true
is false
is false
is false
is true
is false
is false
is false
is false
is false
is true
is false
is false
is true
is true
is false
is false
is false
is true
is false
......@@ -7,13 +7,13 @@ is false
is false
is false
is false
is true
is false
is false
is false
is false
is false
is false
is false
is true
is false
is true
is false
......@@ -35,16 +35,16 @@ is false
is false
is false
is false
is true
is false
is false
is false
is false
is false
is false
is true
is false
is false
is false
is false
is true
is false
is true
is true
......@@ -61,9 +61,9 @@ is true
is false
is false
is true
is true
is false
is false
is false
is true
is false
is false
is false
......@@ -83,7 +83,7 @@ is false
is false
is false
is false
is false
is true
is false
is false
is false
......
is false
is false
is true
is true
is false
is false
is false
is false
is false
is false
is false
is true
is true
is false
is false
......@@ -17,16 +17,16 @@ is false
is false
is false
is false
is false
is false
is true
is false
is false
is false
is false
is true
is true
is false
is false
is false
is true
is false
is false
is false
......@@ -38,7 +38,7 @@ is false
is false
is false
is true
is false
is true
is false
is false
is false
......@@ -75,20 +75,20 @@ is false
is false
is false
is true
is false
is false
is false
is false
is false
is false
is true
is false
is true
is false
is false
is false
is true
is true
is true
is false
is false
is false
is true
is true
is true
is false
is false
is false
......
......@@ -3,13 +3,13 @@ is false
is true
is true
is false
is false
is false
is true
is false
is true
is false
is false
is false
is true
is false
is false
is false
......@@ -19,10 +19,10 @@ is true
is false
is true
is false
is false
is true
is true
is false
is false
is true
is false
is false
is false
......@@ -30,7 +30,7 @@ is false
is false
is false
is true
is false
is true
is false
is false
is false
......@@ -55,18 +55,18 @@ is false
is false
is false
is true
is true
is false
is false
is false
is true
is true
is true
is false
is false
is false
is true
is true
is false
is false
is false
is true
is false
is false
is false
......@@ -78,9 +78,9 @@ is false
is true
is false
is false
is true
is false
is false
is false
is true
is false
is false
is false
......
is false
is false
is false
is false
is true
is false
is false
is false
......@@ -18,11 +18,11 @@ is false
is true
is false
is true
is false
is true
is false
is false
is true
is false
is true
is false
is false
is true
......@@ -33,15 +33,15 @@ is false
is false